{"entities":{"Q5044397":{"pageid":7073974,"ns":120,"title":"Item:Q5044397","lastrevid":91923773,"modified":"2026-06-05T00:25:11Z","type":"item","id":"Q5044397","labels":{"en":{"language":"en","value":"A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7609823"}},"aliases":{},"claims":{"P31":[{"mainsnak":{"snaktype":"value","property":"P31","hash":"fd5912e4dab4b881a8eb0eb27e7893fef55176ad","datavalue":{"value":{"entity-type":"item","numeric-id":56887,"id":"Q56887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$805A5942-B3F2-4D63-8D7C-2E3DA6C7CE4E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"177282963e48f08fa3777ef7e634e96020161039","datavalue":{"value":{"text":"A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5044397$868D26E4-0781-49BC-A68C-39467F8DC5A7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"99e5f5a2c98b62af12fbc51c74a203670951d12b","datavalue":{"value":"10.3233/FI-222134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044397$C424CF98-CBD9-43AE-994F-4B779C47B33E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f3c7efebe2f9024c5b6b810fe216f59b71d84d5","datavalue":{"value":{"entity-type":"item","numeric-id":832010,"id":"Q832010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$FE8284E6-1EBF-4802-9729-C1A446994C58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"efdedec70f2cb7d9472908a9952597b5373f871f","datavalue":{"value":{"entity-type":"item","numeric-id":645043,"id":"Q645043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$E633D7AB-9540-4B00-A181-C9AF450B3916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c0abdcf23e4efad91f7981d119437b265cc4740","datavalue":{"value":{"entity-type":"item","numeric-id":832011,"id":"Q832011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$F7FAE754-4C4C-4E6D-820E-5523F29982BA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$37DA1130-54B7-44AE-BE8C-A0599A3F0A86","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"450293ec6f29e13558e742cada9f2676c5607999","datavalue":{"value":{"time":"+2022-10-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5044397$090508B8-35B4-4569-BACD-63B527E24290","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044397$BF96330C-0C15-4A3D-9FB3-22B2E2B7896E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"700ca6bf3948ef76eeb4614a029f55dedc52614c","datavalue":{"value":"7609823","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044397$BB98F5E8-27C8-440F-96DC-AC62B62B8541","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$29366866-22FF-4832-B3BE-43B4672F1811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"28cff576496c4ee6851a70884e3a4343ae4475ff","datavalue":{"value":{"entity-type":"item","numeric-id":25690,"id":"Q25690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$6F0E0F87-58D7-460F-A41F-6956C89D3831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8bf42d0fd66acf369e3d5d44d7ebef6adc7ae452","datavalue":{"value":{"entity-type":"item","numeric-id":56651,"id":"Q56651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$DD7AF6BD-8663-4176-90EC-39CC93E867CA","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"57f7fea50d2ce1b39b695c4a1313582eed405e38","datavalue":{"value":{"entity-type":"item","numeric-id":5976449,"id":"Q5976449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$A3DD8B36-7B1E-449F-981B-8EFC84EE4A31","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"183744ef9b73c79bc768ab053672ea848e2a4fa9","datavalue":{"value":"https://doi.org/10.3233/fi-222134","type":"string"},"datatype":"url"},"type":"statement","id":"Q5044397$A6970F1E-4F1A-47EA-AD94-16019DAB5547","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"1dd679c756cb280b1e0f70bfd1e5283bb7baf3bd","datavalue":{"value":"W4287205805","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5044397$0163220A-6DD2-4449-9CB1-A53DD03B31A8","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1585abe38b30ffcb2ab1ee21cf12748dd806d44c","datavalue":{"value":{"entity-type":"item","numeric-id":3773358,"id":"Q3773358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$98571DB2-CA3C-4648-A4E2-3B0BA7DDB5F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef9a85754f10c794d7ea794155cce4bd2f066956","datavalue":{"value":{"entity-type":"item","numeric-id":3075471,"id":"Q3075471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$D396B0D3-54AF-4F51-98DF-B491F2E82DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc3406683ad00aa9363d90c4954863b73476c44d","datavalue":{"value":{"entity-type":"item","numeric-id":2843317,"id":"Q2843317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$0490CA5F-F00A-44DA-9FEE-DDE69F016599","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f41cf8e04c7c2d015cb587fd9a2e7c74a154719e","datavalue":{"value":{"entity-type":"item","numeric-id":4037376,"id":"Q4037376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$82B78E6F-88C2-4ED8-98FF-7EE0A8F77969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$53232358-6E36-4519-BBAC-8640D8345D78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"243db8581ad61cea77b50b3faf6ed15776b4d7f4","datavalue":{"value":{"entity-type":"item","numeric-id":4791837,"id":"Q4791837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$5E988168-9731-4454-B0D9-6634CE43A636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d6521b2af4cfbacb55e12311cb9a04d48ea2141","datavalue":{"value":{"entity-type":"item","numeric-id":5899041,"id":"Q5899041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$8C458815-8ABE-4D5A-9EE1-4746FD39172C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a721eea058e807770cf825065bd252a7ab7056d","datavalue":{"value":{"entity-type":"item","numeric-id":2363814,"id":"Q2363814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$1DDFE615-E8CC-4ED6-A501-3E13201C7449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$C05438A3-66B4-459B-A2F2-E8DDB0C8DC16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d8d091c1596a270acdda3cc93e06b21f3568f9f","datavalue":{"value":{"entity-type":"item","numeric-id":4417950,"id":"Q4417950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$FCE60FA3-1AB2-4E54-ADAB-C5AC5F32953F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acd7b21464c952dca4474ccb28c85b609719bd6b","datavalue":{"value":{"entity-type":"item","numeric-id":1633343,"id":"Q1633343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$36D63C02-2A8C-49D5-A52B-3ABFB605D6A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6ff2367f102f97b6e2915bd1cc4844c10688628","datavalue":{"value":{"entity-type":"item","numeric-id":5025068,"id":"Q5025068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$1EC611E1-5C0D-4B33-B71E-845A0ED33F54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c1be6849f96f7ca7876855e35c705d38615a9e1","datavalue":{"value":{"entity-type":"item","numeric-id":2233488,"id":"Q2233488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5044397$F4A17133-FCC5-47D5-AEA8-C3959CAAB127","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51b7042c1ec5bd9328cabf33e235a2e5cd181841","datavalue":{"value":{"entity-type":"item","numeric-id":2117166,"id":"Q2117166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4109484bc855e6c8a706e5faa5ccc3f1d6400821","datavalue":{"value":{"amount":"+0.9797101","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044397$1ADE30AB-96DA-490C-87C9-39F5282E8B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8263f7471b4a0a5a8b653fb229f1c07a790d6897","datavalue":{"value":{"entity-type":"item","numeric-id":5100762,"id":"Q5100762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"837981a0a705562fdd960a1bc9a4344c935b6583","datavalue":{"value":{"amount":"+0.8915095","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044397$AF2E6053-1593-49DF-98E3-2FB6EE51C697","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c14f21efd12aff676205a33d46e2041ab3ba9d","datavalue":{"value":{"entity-type":"item","numeric-id":5013817,"id":"Q5013817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a77f403ff4ea49b30a26ab46c84f8874808986a1","datavalue":{"value":{"amount":"+0.88219625","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044397$DF33A038-BC1E-413E-A87F-3905500D0D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b50801cb8a0f5e757591d772bb087b8514fbfc96","datavalue":{"value":{"entity-type":"item","numeric-id":4202931,"id":"Q4202931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edf8251c42686846768ba85ab7f2b545de0b95f8","datavalue":{"value":{"amount":"+0.87899315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044397$37B511DE-C3C6-4D03-AE67-086C36D4A0BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0dbb9ce060d55e1b403f2129112efe14249c6bae","datavalue":{"value":{"entity-type":"item","numeric-id":2845512,"id":"Q2845512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"752c8ae84747a724e9d83ff8397a03bf2e395f75","datavalue":{"value":{"amount":"+0.8776432","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044397$858A4309-D33A-4A11-9258-A367E9DCD603","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a377e9f628f6d7260bf7f4bc9f0127b7c568e46","datavalue":{"value":{"entity-type":"item","numeric-id":2279737,"id":"Q2279737"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71ec6c333ec7bc7fd0facf193df425caa1a02be9","datavalue":{"value":{"amount":"+0.87678057","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044397$6CD6382F-398D-45D5-AC6C-32000081A683","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8540a29c3fb7bd77b1d3cc719c320dd87f1cc694","datavalue":{"value":{"entity-type":"item","numeric-id":5259305,"id":"Q5259305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e051679b06c90e1b2d67d88fa22e747a1372447d","datavalue":{"value":{"amount":"+0.87573475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5044397$F7BB65FE-2E45-4DC1-84B5-0FCE9621D42D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Polyhedral Abstraction for Petri Nets and its Application to SMT-Based Model Checking","badges":[]}}}}}