{"entities":{"Q2117166":{"pageid":2127909,"ns":120,"title":"Item:Q2117166","lastrevid":57729771,"modified":"2026-04-01T03:36:58Z","type":"item","id":"Q2117166","labels":{"en":{"language":"en","value":"On the combination of polyhedral abstraction and SMT-based model checking for Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7493576"}},"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":"Q2117166$152F4B5E-74A1-4FCD-8DAA-E958BB74E1BA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ed652261b7c9f1e4f6d6125400db77199a3d3ac","datavalue":{"value":{"text":"On the combination of polyhedral abstraction and SMT-based model checking for Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117166$80392350-153E-458A-8761-FA3C7FB504CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d878fcedf194a76c0c1b66f6c2ce5d62457baf66","datavalue":{"value":"1489.68150","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117166$DC6BB9CA-F9EB-45FA-9CE9-7B133A76241D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"636a006620d38f3489d5d477facc4b9ba2cdc2f1","datavalue":{"value":"10.1007/978-3-030-76983-3_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117166$06E663B4-1870-48F5-937E-6A48147DABFB","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":"Q2117166$938BAF39-ACA5-4169-A2EC-AC8397848503","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":"Q2117166$FDA99CE7-8D11-414F-875B-A26BCE806E8A","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":"Q2117166$E0AAC16A-FBE1-48B4-813F-736493E71191","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d3dbf12e1376632bae2e48d8bc3683002116149","datavalue":{"value":{"time":"+2022-03-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117166$CA1084B4-9136-4E7F-B3D9-1D5B8C3AB984","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e547940a98bdbaa601f8d72ea71cefe96bde6a8b","datavalue":{"value":"https://arxiv.org/abs/2104.09850","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117166$77B1F06D-5A2D-40ED-ABCC-1ABC81B37D13","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117166$A64BEA23-ACF5-44EC-A668-62C74B215F28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117166$4EE0A742-00F2-4E4E-908F-1F506A7F6142","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d77e518e60fc7c3c0302712b293a3b5f5fc640b5","datavalue":{"value":"7493576","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117166$D535B3E0-2000-4B77-816C-0C378869059C","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":"Q2117166$05ADFCBA-2880-492F-8B12-795D2E7C93FB","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":"Q2117166$784154E4-9BEC-42C8-8372-AE0C2831D11B","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":"Q2117166$21C84980-4D07-4976-9D06-B1BF8C6233E8","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":"Q2117166$D2820141-094D-470D-A81A-43FBA6D57637","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3604cc8d5cf1a7848119b69649b7e74db9cca4dd","datavalue":{"value":"W3163218045","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117166$1A5A060C-9091-4452-B811-C52C785D780E","rank":"normal"}],"P223":[{"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":"Q2117166$3F336C5D-3B6E-41F1-9923-1F5A9A344112","rank":"normal"},{"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":"Q2117166$45BA18CB-38AE-4308-9D51-F2658070FDAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aae62d42ccd7d40a5dd3b805e26ac55bb92a80ed","datavalue":{"value":{"entity-type":"item","numeric-id":5883572,"id":"Q5883572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117166$08D35137-22C2-4F4F-9337-A3C99C396F42","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":"Q2117166$9C0F6937-ADA0-449A-B7C6-531D87BE4C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01012626e65684e98bd20fab598fa9b8adb75651","datavalue":{"value":{"entity-type":"item","numeric-id":5100747,"id":"Q5100747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117166$10577809-E328-4789-BF3C-6BB1729975C4","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":"Q2117166$A43F62DD-F7B5-4E1D-9066-555A70288B8F","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":"Q2117166$55BE7BC1-A762-4681-ABE1-822E1DF8D440","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":"Q2117166$5B432FD2-580C-4C0B-9D2E-5598A845DD26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8092a4684ef7778dba1ddad2618a794c87412cd6","datavalue":{"value":{"entity-type":"item","numeric-id":5227061,"id":"Q5227061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117166$310C1061-B462-4678-B4CF-C241DD4CA78C","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":"Q2117166$25D7BBC3-580B-4399-A3F2-0E1ACCCCB8A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"024d06bb45940fc2af3d505ba43ec43cb72b749e","datavalue":{"value":{"entity-type":"item","numeric-id":2920990,"id":"Q2920990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117166$D0C9F900-2856-42A9-AC29-A68B482EE0CE","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":"Q2117166$37542EC0-BF65-4B86-AA1C-5760F85E8246","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":"Q2117166$317F66C5-1C6F-4B48-A599-0F8A06BBADB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd8fe6f2636c0559b54d88cb9fa59f73dcf70575","datavalue":{"value":{"entity-type":"item","numeric-id":4247289,"id":"Q4247289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117166$7F470B85-E3C0-45A5-8667-1462A3C31DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28fcdb9313fc16f0ed4174493ab5b2df5dac1b4","datavalue":{"value":{"entity-type":"item","numeric-id":5100759,"id":"Q5100759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117166$656D8BAF-479D-4959-A145-3A060EFDD18A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe9b64af2c64cc7696167d04d7c8e64bdeca6bb2","datavalue":{"value":{"entity-type":"item","numeric-id":3617750,"id":"Q3617750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117166$501E8EAF-B270-4BFA-84DD-E3D2A2A958BD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b6463d78d11a1208d30a334487f07a31b42ff45","datavalue":{"value":{"entity-type":"item","numeric-id":5025068,"id":"Q5025068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21b85f9c3627a99bfbbc26274de685df470fc9d0","datavalue":{"value":{"amount":"+0.788226306438446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117166$7D27FD48-5957-4C0C-BDBC-CDBD79434822","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c58649780c44d0e6e266dcfe7f7ffd4b10e2f702","datavalue":{"value":{"entity-type":"item","numeric-id":4787241,"id":"Q4787241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"382abb9c6e581095438fa1d6b1df809582349118","datavalue":{"value":{"amount":"+0.7773153781890869","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117166$B7B09613-1261-4A81-9747-52A1F97314F5","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":"3faf71b2790f32db4bae6f2efa3f0744f11a58bc","datavalue":{"value":{"amount":"+0.7633340358734131","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117166$ECAEB719-041E-4DDD-8FC7-37F086A82692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d340f00aca2025aba9494201a5aa82e4c364ca0","datavalue":{"value":{"entity-type":"item","numeric-id":3605479,"id":"Q3605479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d670d4bf443580e862e65e7ef223683e29ecf20","datavalue":{"value":{"amount":"+0.7580054402351379","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117166$D2998998-7E22-4B10-8E9D-DE8D177BF0DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9887b7cea0f2c68bf55acdd17a5d473efff2dc8b","datavalue":{"value":{"entity-type":"item","numeric-id":5394178,"id":"Q5394178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4221087a8119a185e25a02eb02118e4acddde29","datavalue":{"value":{"amount":"+0.7524211406707764","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2117166$CB99D9BA-D453-4122-8EA5-1744C8EAADC2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117166","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117166"}}}}}