{"entities":{"Q2937547":{"pageid":2948267,"ns":120,"title":"Item:Q2937547","lastrevid":52169501,"modified":"2026-01-21T02:15:04Z","type":"item","id":"Q2937547","labels":{"en":{"language":"en","value":"Extensions to the CEGAR approach on Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385309"}},"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":"Q2937547$A99E425D-5B13-4528-B2BB-83CC9E58D07A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae55a9e3b888ed2992d9e0d7a475ae2988c61a85","datavalue":{"value":{"text":"Extensions to the CEGAR Approach on Petri Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937547$9E2F14DB-A2FC-4F5C-9639-EADBAC8901C1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f6f23c3044baad6cda10427230800406b9f522e3","datavalue":{"value":"1313.68080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937547$3BCD91A8-44D5-47A6-BCFF-233D55BC9619","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d55ed1eccf0c74033df0ea1863e30c55258a672","datavalue":{"value":{"entity-type":"item","numeric-id":2209547,"id":"Q2209547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937547$4A43D5B1-9784-480C-BA14-96D7935A8073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"84ea6ceef3ce1a0bfb8053b2ffda2d5c16a41c9e","datavalue":{"value":{"entity-type":"item","numeric-id":510890,"id":"Q510890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937547$EF8E2E78-EC70-4E76-B3CA-88903394067F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0592968ca544264561e740df02e52eaa7ac3f830","datavalue":{"value":{"entity-type":"item","numeric-id":510892,"id":"Q510892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937547$5C4FB16D-FA12-408E-B277-E09C9276EFA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30a4a983089e43ac6082f252f1c20ff2fc12d993","datavalue":{"value":{"entity-type":"item","numeric-id":2937546,"id":"Q2937546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937547$0D3DF426-CAB5-4FEE-8188-0AFB9453807F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a48ab4f78ae1700d4809c5ff5f0191168fe3ff96","datavalue":{"value":{"entity-type":"item","numeric-id":2803044,"id":"Q2803044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937547$5744D7EE-1E0E-4973-A740-74F493053C20","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bd7ba69d7066824c61c2338d47523cfe00b021ae","datavalue":{"value":{"time":"+2015-01-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2937547$F4CD51C0-512B-438D-A225-D503A2DCB0FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937547$FA9C28C6-9F68-472F-B844-D62B8C088044","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c22021ace898babb0fb6aa7c86777742c831d03","datavalue":{"value":"6385309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937547$986BC98E-DC9D-48B7-9B15-95D7283EB5FE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937547$317B0A33-0099-4B95-8DC7-B189A93367E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a837d2354493d1d25403c94907268388aa4bb873","datavalue":{"value":"reachability analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937547$73A45B48-4B9C-48CF-9508-8126A4DCD76A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937547$18E42872-6939-4BB6-8C7B-B1B97AD4522A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8794be5634259987f7e3035390d183ba5b4edb","datavalue":{"value":"CEGAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937547$9EFCFD99-3363-4720-B8C9-B60C894CEAEC","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"5c521fe181eeb2e97e1dde2a44564dc6b3e3dadf","datavalue":{"value":"Q57086294","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937547$87FDB5C9-F807-475A-8A43-27C21E2C6739","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":"Q2937547$8C6C9AC0-C9D5-4348-9188-4C2BAE05EBA0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"100a1a63e2549340789d9726fb24a07d19a54150","datavalue":{"value":"https://doi.org/10.14232/actacyb.21.3.2014.8","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937547$79A06E51-8CFE-42E4-B93A-49685D0F7931","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3fd1eba82994b3af5f8ae437c96c5b9c42e5163e","datavalue":{"value":"W2296663577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937547$F9919DE5-C809-45C3-A209-D61A865FA94B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d268331eae8787837adf86c95636856eba000ab0","datavalue":{"value":"10.14232/ACTACYB.21.3.2014.8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937547$3316E21C-14BF-4818-A13E-70ADEEC30AD0","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"355164bba8640eba33c31554be867f3fb3236c49","datavalue":{"value":"journals/actaC/HajduVBM14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937547$033BFA7B-61EF-481B-BDF9-C5F8A17C398E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ffb66df32770710570dab809a3db5707b9fa96f0","datavalue":{"value":{"entity-type":"item","numeric-id":2941159,"id":"Q2941159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97d6e60e4b6baa76c3df66a6cec7e5a5ddfaa665","datavalue":{"value":{"amount":"+0.8314395546913147","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":"Q2937547$4C6C03EA-B022-49F0-8E91-332181A988CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10e211ea89b3d99d470e6303f1a8d8a1db8fc009","datavalue":{"value":{"entity-type":"item","numeric-id":5892497,"id":"Q5892497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f99b27f879793731b95abab1445fe76be6ba5518","datavalue":{"value":{"amount":"+0.8064353466033936","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":"Q2937547$A5863724-916C-47A5-B601-A18DD7154FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93ce490cded07af7a2008459aab28d60401770b9","datavalue":{"value":{"entity-type":"item","numeric-id":5894959,"id":"Q5894959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff59f51b8653cb7077f9119aa94d07b771b9df53","datavalue":{"value":{"amount":"+0.8054068684577942","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":"Q2937547$4F7A37CD-1624-4BAA-BAA1-57EBE5C67793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1506996f6e145c188b7c0fe72c36e7d57c91f990","datavalue":{"value":{"entity-type":"item","numeric-id":2842877,"id":"Q2842877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03238df1260811810d6ceebe0a0db987d3dbbe22","datavalue":{"value":{"amount":"+0.79453444480896","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":"Q2937547$72DB5EBF-7E5A-4DAF-BF77-5D6248EEACDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"78eb6cc7d213f0caaa58d401d9adb5439f8b6bbc","datavalue":{"value":{"entity-type":"item","numeric-id":2272922,"id":"Q2272922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90d1c068671567082f700ad07ae39ee6924a14b7","datavalue":{"value":{"amount":"+0.7816462516784668","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":"Q2937547$159B1857-E78C-4C5A-880F-A684F3768933","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2937547","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2937547"}}}}}