{"entities":{"Q5096372":{"pageid":7125948,"ns":120,"title":"Item:Q5096372","lastrevid":54382181,"modified":"2026-01-26T17:53:26Z","type":"item","id":"Q5096372","labels":{"en":{"language":"en","value":"Verification of asynchronous circuits by BDD-based model checking of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7572191"}},"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":"Q5096372$1224B688-358A-4588-90EE-E130E9DD6440","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"726f8f92092418cf43f9884129caac6887d35fe3","datavalue":{"value":{"text":"Verification of asynchronous circuits by BDD-based model checking of Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5096372$3910C7B3-26E7-4656-9BA6-A586AD5BD256","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"edbf4e1f107bf91206c0c6faafcfd14e1d41a41c","datavalue":{"value":"1496.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096372$C4EFE631-FBA0-49AC-9128-70EFBA0DC734","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"074b7f340474f6e0aecc91fb888d37e011ebdd17","datavalue":{"value":"10.1007/3-540-60029-9_50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096372$A5C3A3F4-A092-4D98-B78F-97942094595B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce6b14cf159439045950c8f31172dc94aeddf93d","datavalue":{"value":{"entity-type":"item","numeric-id":1349810,"id":"Q1349810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096372$71F9AEC8-2D5F-44EC-BE4E-08C4D298E5F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d473ca5432f461253d8e2d2e2b48dc9a67b6751","datavalue":{"value":{"entity-type":"item","numeric-id":708893,"id":"Q708893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096372$7EB3C3A2-E0F8-4151-B6CD-F76337E895EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"65933f7b3f46c07f53bf631dff0cb4433516a0d9","datavalue":{"value":{"entity-type":"item","numeric-id":3404123,"id":"Q3404123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096372$7A3728AC-8E4A-46C5-8092-8E648D7BCCAC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096372$A63733B0-AD35-4500-B5F4-9B1A35762084","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9f0638de14cb053deb57828797f5c127a478dbaa","datavalue":{"value":{"time":"+2022-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5096372$32B44A5A-E8C6-4077-92E8-468948CD213C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dcd4f5d073317e7ae0d36ab4fb4892b877d0196c","datavalue":{"value":"http://hdl.handle.net/2117/133572","type":"string"},"datatype":"url"},"type":"statement","id":"Q5096372$5FA76EBF-05BC-485B-A695-518400ED7EDD","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096372$725B8BCE-2A41-4192-A388-592F173AD48C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096372$007F6731-360C-4059-9E64-4B8CF0379386","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a252ac0e16e7cd1b816dd4d8c55ab05955b53869","datavalue":{"value":"94C11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096372$EE8DC9B9-4E5A-4F8D-85AE-E1FD9CED710D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f646afc1dac9f9485244d449326d9c5a93a753a9","datavalue":{"value":"7572191","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096372$8112895A-4470-449B-AFC4-5CD2553D6CD0","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"172a55347bb9aaec7bca083ad1bc073f909ff12d","datavalue":{"value":"Q56893082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096372$B8E7CD3C-4589-4812-9A30-BCDD23FB3FFA","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":"Q5096372$86A8F254-9C7D-435D-A052-1F73C34C8F2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fc5a286e3d38b5a79b33df62adbdf5420cb833c7","datavalue":{"value":"W1595213177","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096372$139039E5-8A89-422C-92B9-62025C782172","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096372$7CE36FD6-B68C-487A-B86E-0B0778F0C2DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53272d2173db9c6e31a2df5def7f3ca8e8e0c9bb","datavalue":{"value":{"entity-type":"item","numeric-id":3753927,"id":"Q3753927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096372$1B2AA3FA-0EA6-434C-B767-A3F9A6095F7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73040415c37f2644c9f81652299c17145fd4d0ac","datavalue":{"value":{"entity-type":"item","numeric-id":4319803,"id":"Q4319803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096372$82128C88-4C4C-4F86-BFEA-5B712881ABD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beb0fa96f3a4a0afb45c8df5936916e85cb71f05","datavalue":{"value":{"entity-type":"item","numeric-id":3787428,"id":"Q3787428"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096372$BDEB8005-D282-47AB-8BDF-5249C638079F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d5a9ff85488e4141698f1e4fc413c11477c143d1","datavalue":{"value":{"entity-type":"item","numeric-id":1102258,"id":"Q1102258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5096372$C35F6B57-9670-47E3-9140-3EF7F38A2AE9","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"a762739c065ac37cfe593f54f46997afa3f913e9","datavalue":{"value":"conf/apn/RoigCP95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5096372$87932D24-2D1F-404D-9269-AA5C11781B49","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a59aca38eff18061335f64aa32fa4992f2d6961a","datavalue":{"value":{"entity-type":"item","numeric-id":4332039,"id":"Q4332039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"184ca250ca1717683d3cc7e286f60522fb78ed50","datavalue":{"value":{"amount":"+0.8252522945404053","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":"Q5096372$E662F10E-39C2-4ED5-8B9C-B58E372A7868","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d9a9617426df6a2b838992c80c98623fe8bde62","datavalue":{"value":{"entity-type":"item","numeric-id":4250360,"id":"Q4250360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5e0da50416fed432c2ed89a2acb96faae48d755","datavalue":{"value":{"amount":"+0.8050678372383118","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":"Q5096372$D04CF936-D490-4C57-B5F2-4EC65FA687E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcc9c7adf0165f357f42a19f4bf038f7028a3a74","datavalue":{"value":{"entity-type":"item","numeric-id":3329397,"id":"Q3329397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9f5c350ffe0eaa2cafc3d77961c70546f1c22ba","datavalue":{"value":{"amount":"+0.8036988973617554","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":"Q5096372$FB6974B6-3B39-4263-8E13-CA51B4D87764","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac57cfec3bee610fcdc8d1efd8b712a4078b472","datavalue":{"value":{"entity-type":"item","numeric-id":2766547,"id":"Q2766547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3d7e73730d4abb6e8fb15f60b0a12c98060478c","datavalue":{"value":{"amount":"+0.800425112247467","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":"Q5096372$3EFD4D53-6572-4950-93B7-0DB804A63A51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"503ce39c3a0da918b3a6ba3b260134b4677785a0","datavalue":{"value":{"entity-type":"item","numeric-id":3786429,"id":"Q3786429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a909bf00166d9f56277bc496cd4a8bddd814b3c","datavalue":{"value":{"amount":"+0.7925810813903809","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":"Q5096372$4D9F8A6A-37E4-4A7D-A2A4-D2D2F98232A4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5096372","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5096372"}}}}}