@prefix dcat: <http://www.w3.org/ns/dcat#> .
@prefix dcmitype: <http://purl.org/dc/dcmitype/> .
@prefix dcterms: <http://purl.org/dc/terms/> .
@prefix schema: <https://schema.org/> .
@prefix xsd: <http://www.w3.org/2001/XMLSchema#> .

<https://doi.org/10.5281/zenodo.23800448> a dcat:Dataset,
        schema:Dataset ;
    dcterms:conformsTo <https://universal-variability-language.github.io/> ;
    dcterms:created "2026-10-30"^^xsd:date ;
    dcterms:creator <https://orcid.org/0000-0001-9293-9784>,
        <https://orcid.org/0000-0002-7771-0575>,
        <https://orcid.org/0000-0002-8449-3273>,
        <https://orcid.org/0009-0007-8840-4868> ;
    dcterms:description "This feature model presents a comprehensive pizza Software Product Line (SPL) designed to showcase the full expressiveness of UVL. It is specifically structured for analysis using SMT solvers (such as Z3). The model contains 15 features in total, including 2 typed features (Integer, String) and 2 feature attributes (Price, Kcal); and 7 cross-tree constraints combining propositional, arithmetic, and aggregation logic over typed features and attributes. The model has 105 satisfiable configurations (228 when considering only the Boolean projection); 6 core features (SpicyLvl, Pizza, Topping, Size, Normal, Dough), 2 dead features (Name, Big), and 2 false-optional features (SpicyLvl, Normal)."@en ;
    dcterms:format "text/plain" ;
    dcterms:identifier "10.5281/zenodo.23800448" ;
    dcterms:isReferencedBy <https://doi.org/10.1007/978-3-032-40763-4_7> ;
    dcterms:isVersionOf <https://doi.org/10.5281/zenodo.23800447> ;
    dcterms:issued "2026-10-30"^^xsd:date ;
    dcterms:license <https://creativecommons.org/licenses/by/4.0/> ;
    dcterms:modified "2026-10-30"^^xsd:date ;
    dcterms:publisher _:Ne6d2b44accb74fb38511e815a09e5802 ;
    dcterms:rights "Creative Commons Attribution 4.0 International" ;
    dcterms:title "Pizza FM with full expressiveness for SMT analysis"@en ;
    dcterms:type dcmitype:Dataset ;
    dcat:distribution <https://www.uvlhub.io/doi/10.5281/zenodo.23800448/files/raw/Pizza_SMT.uvl> ;
    dcat:keyword "Pizza",
        "SMT",
        "UVL",
        "Universal Variability Language",
        "Z3",
        "full expressiveness" ;
    dcat:landingPage <https://www.uvlhub.io/doi/10.5281/zenodo.23800448/> ;
    dcat:version "1" ;
    schema:creator <https://orcid.org/0000-0001-9293-9784>,
        <https://orcid.org/0000-0002-7771-0575>,
        <https://orcid.org/0000-0002-8449-3273>,
        <https://orcid.org/0009-0007-8840-4868> ;
    schema:dateCreated "2026-10-30"^^xsd:date ;
    schema:dateModified "2026-10-30"^^xsd:date ;
    schema:datePublished "2026-10-30"^^xsd:date ;
    schema:description "This feature model presents a comprehensive pizza Software Product Line (SPL) designed to showcase the full expressiveness of UVL. It is specifically structured for analysis using SMT solvers (such as Z3). The model contains 15 features in total, including 2 typed features (Integer, String) and 2 feature attributes (Price, Kcal); and 7 cross-tree constraints combining propositional, arithmetic, and aggregation logic over typed features and attributes. The model has 105 satisfiable configurations (228 when considering only the Boolean projection); 6 core features (SpicyLvl, Pizza, Topping, Size, Normal, Dough), 2 dead features (Name, Big), and 2 false-optional features (SpicyLvl, Normal)."@en ;
    schema:distribution <https://www.uvlhub.io/doi/10.5281/zenodo.23800448/files/raw/Pizza_SMT.uvl> ;
    schema:encodingFormat "text/plain" ;
    schema:keywords "Pizza",
        "SMT",
        "UVL",
        "Universal Variability Language",
        "Z3",
        "full expressiveness" ;
    schema:license <https://creativecommons.org/licenses/by/4.0/> ;
    schema:name "Pizza FM with full expressiveness for SMT analysis"@en ;
    schema:publisher _:Ne6d2b44accb74fb38511e815a09e5802 ;
    schema:sameAs <https://zenodo.org/records/23800448> ;
    schema:url <https://www.uvlhub.io/doi/10.5281/zenodo.23800448/> ;
    schema:version "1" .

<https://orcid.org/0000-0001-9293-9784> a schema:Person ;
    schema:name "José A. Galindo" .

<https://orcid.org/0000-0002-7771-0575> a schema:Person ;
    schema:name "José Miguel Horcas" .

<https://orcid.org/0000-0002-8449-3273> a schema:Person ;
    schema:name "David Benavides" .

<https://orcid.org/0009-0007-8840-4868> a schema:Person ;
    schema:name "Francisco Sebastián Benítez" .

<https://www.uvlhub.io/doi/10.5281/zenodo.23800448/files/raw/Pizza_SMT.uvl> a dcat:Distribution,
        schema:DataDownload ;
    dcterms:conformsTo <https://universal-variability-language.github.io/> ;
    dcterms:title "Pizza_SMT.uvl" ;
    dcat:byteSize "676"^^xsd:nonNegativeInteger ;
    dcat:downloadURL <https://www.uvlhub.io/doi/10.5281/zenodo.23800448/files/raw/Pizza_SMT.uvl> ;
    dcat:mediaType "text/plain" .

_:Ne6d2b44accb74fb38511e815a09e5802 a schema:Organization ;
    schema:name "uvlhub" ;
    schema:url <https://www.uvlhub.io> .