{"entities":{"Q5892497":{"pageid":7930411,"ns":120,"title":"Item:Q5892497","lastrevid":93305939,"modified":"2026-06-05T04:10:41Z","type":"item","id":"Q5892497","labels":{"en":{"language":"en","value":"Applying CEGAR to the Petri net state equation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5897408"}},"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":"Q5892497$9B4D82D3-A64C-4B51-BCC7-7D0560C6DC34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"470754237ca79b3b2bb48675767ee4622b29e273","datavalue":{"value":{"text":"Applying CEGAR to the Petri Net State Equation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5892497$4F1700C2-9E5C-4165-84AB-E1B6C871DE37","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"148dc946b13c92a95b3cbc6f6b9784997358a7c4","datavalue":{"value":"1316.68079","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892497$924B1275-708E-4D18-AF55-71C08E01C23F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f581b3f57db53166b73bf6fd32fce99a5200cf7","datavalue":{"value":"10.1007/978-3-642-19835-9_19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892497$BB148680-3C0C-4EF8-8EC6-2EE438B578A5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4fe8e1d078b2f0527d73ee9b65fa61d7f07395c","datavalue":{"value":{"entity-type":"item","numeric-id":927094,"id":"Q927094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892497$B2BF743A-432A-4D1F-8A7C-4E96D04179B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7fd26f0a57298ac83aef18f4ab12131e73dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1972350,"id":"Q1972350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892497$0BA3CC82-05E7-4732-BD2D-B34DC42E67B2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892497$A63E8058-66E9-46FD-99D5-7C17B86C6D0B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"07154ee076353c2b0adec8e531d763756f4412f7","datavalue":{"value":{"time":"+2011-05-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5892497$7E2B9C9A-9B40-4C82-8356-2FA09038920A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"72245a6d6c6b4dc970452d157842f6e1a5c33947","datavalue":{"value":"https://arxiv.org/abs/1208.2159","type":"string"},"datatype":"url"},"type":"statement","id":"Q5892497$FF17A449-A9C3-438B-818D-1107D0E5CF35","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892497$1EF9225F-9B09-4DD1-81BC-85F792FF8C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892497$2D81FF95-FD95-491A-BB7F-25A0F95BF96D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3feee98fb6a1a95642ba0c6a16390527874922bf","datavalue":{"value":"90C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892497$A1D1DBE6-4A1F-4381-BD0F-60B1ADBDCDEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e47ddfb5ea5cdf1e106c6b376f36e7b8312d26c0","datavalue":{"value":"5897408","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892497$7025730A-9915-4C8F-89C7-4919518F6155","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892497$AB6D754F-AB65-48CA-94C5-65E01A3AFA1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892497$81C25173-1A3A-4288-BEFA-9DBB47A7308C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e0a438e9092bcf192a5c493b52b0717e88c2591","datavalue":{"value":"integer programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892497$14B8557B-5EAE-49CD-9CA9-14A00C04D277","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae8794be5634259987f7e3035390d183ba5b4edb","datavalue":{"value":"CEGAR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892497$437B2BF5-1027-452F-AB6A-91F878DDB201","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fbc8e637d50fedc5f14571b7a65570579ff4f90","datavalue":{"value":"structure analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892497$0BC063DD-810F-4FCE-BDE4-A6B9CC9BD8A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5892497$29AB9D00-A564-420D-B894-248AC0EB31D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"52976748fd61906f43fb9f1c7e04fdac3cae57fa","datavalue":{"value":{"entity-type":"item","numeric-id":16196,"id":"Q16196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892497$D3145B03-D8E0-4806-94B5-B276E38C7A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"39c857dda35afa3ebe7c04ae581b03c50f811f26","datavalue":{"value":{"entity-type":"item","numeric-id":16776,"id":"Q16776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892497$2F2C595B-6A56-490C-BA60-7EBB4BA7912D","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":"Q5892497$D9CC19D5-D7D9-4092-A7E9-00499FC99BE4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b32b25c0d392f22c8e929f0b81f39be69d7272b3","datavalue":{"value":"W1804409858","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5892497$F8905EF9-9B9D-483C-9A17-1F8A4EEB60E3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892497$3CCB9A57-20C1-494C-8107-0F46AF489ECD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7911bcf6fc32486b637a7521a70d5004564c7531","datavalue":{"value":{"entity-type":"item","numeric-id":862861,"id":"Q862861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892497$C8140862-8716-4459-B5D1-67513D20A9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892497$4A5BBF82-035E-44DA-AE1F-814A63958521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892497$E17B9A67-3825-4D7E-BD44-080497D6C844","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db378cd2166e4b35729af51d0fca27cfc617965e","datavalue":{"value":{"entity-type":"item","numeric-id":2775869,"id":"Q2775869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5892497$BF776EF5-3EBE-4B75-BDDA-3B32BF4AC3A8","rank":"normal"}],"P1643":[{"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":"88d65d00cc15bacaeaca877bf530dc40065be017","datavalue":{"value":{"amount":"+0.9996022582054138","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":"Q5892497$AB4B4D67-9008-4A87-8426-39DB6B54DBC7","rank":"normal"},{"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":"d251d40b731d77a3bb6951bf88ee029fb38e6919","datavalue":{"value":{"amount":"+0.8516445159912109","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":"Q5892497$4845E1F0-9F74-4305-A940-406D74997540","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e19c925d86798cc3f31694575bfc639f3731a61","datavalue":{"value":{"entity-type":"item","numeric-id":2032844,"id":"Q2032844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65dfd71d8a48f51f0f59b76e926e78726e42206e","datavalue":{"value":{"amount":"+0.8293932676315308","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":"Q5892497$FFABDC4C-B198-4AFC-8381-82326070CBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e489fb615134e9ce941bec2e6145d30ba24c79c","datavalue":{"value":{"entity-type":"item","numeric-id":2937547,"id":"Q2937547"},"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":"Q5892497$2EF2FF8D-D85F-4522-AF01-94801A41D0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68b02fc0407d18c711aba3ec2aa1ce7a1302170","datavalue":{"value":{"entity-type":"item","numeric-id":2775869,"id":"Q2775869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5af3c3c8225c4a1c9e3d757eccb9da5a58a9ff5d","datavalue":{"value":{"amount":"+0.7937885522842407","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":"Q5892497$610D408A-EBC4-4E9D-971B-DE8C0FCDDD59","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Applying CEGAR to the Petri net state equation","badges":[]}}}}}