{"entities":{"Q988568":{"pageid":990416,"ns":120,"title":"Item:Q988568","lastrevid":65821974,"modified":"2026-04-12T05:36:13Z","type":"item","id":"Q988568","labels":{"en":{"language":"en","value":"Simplified proof of the blocking theorem for free-choice Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5772410"}},"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":"Q988568$32B46F4E-FEFF-426B-9BE7-0E98A6B9403F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"57b4dedfd06d5d9f273d30571408bad17377de9f","datavalue":{"value":{"text":"Simplified proof of the blocking theorem for free-choice Petri nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q988568$365959D1-026F-42E8-8B4C-D7087ECBEDCE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9d3bf9ad6ab1d06addce698b2e4eeced735bf920","datavalue":{"value":"1197.68055","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988568$87906071-A452-4CFC-92E6-B7552C6F2B56","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c6a75a998936a6753aefe05ebe33f5a2218f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":786284,"id":"Q786284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988568$B5594BC2-F7AE-4807-85D4-CE29FEC0F9D4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988568$51767F7C-8F9D-41DA-A9A3-BA0404F99614","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0ecc80aa41127c5c5083080112fd2c5d84f2bb11","datavalue":{"value":{"time":"+2010-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q988568$926E5F81-FCEE-473A-81C9-4B56193EDE39","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988568$CB04B6B4-C2B0-4EA4-83FE-454E3F71911F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c1d84fc69d358903b8723605846ef1c243e1856","datavalue":{"value":"5772410","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988568$F273C814-A3DA-4714-A1F0-D3D33199397A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd60fe843e0eb5dffae657dad2c9fed5c389f844","datavalue":{"value":"blocking marking","type":"string"},"datatype":"string"},"type":"statement","id":"Q988568$4B36307A-DC59-4AAC-AC82-AB8BF4EBD594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a965ef2c872094a543ecf5c641fbdef530e9bfad","datavalue":{"value":"CP-subnet","type":"string"},"datatype":"string"},"type":"statement","id":"Q988568$5037B844-A3D8-4F18-A381-B6A9D8F07190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c732aa2db0c0adeec83cae66fac68e2d7ecd5b5f","datavalue":{"value":"free-choice system","type":"string"},"datatype":"string"},"type":"statement","id":"Q988568$D25943D5-2286-4D78-A944-3EB745632BB4","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":"Q988568$39CDE1F0-8931-411A-A91C-F46D56762CA1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"285b714a5b8662aa64b192c69f0e3a0d1a628529","datavalue":{"value":"https://doi.org/10.1016/j.jcss.2009.10.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q988568$D0D30E9B-258E-425B-BA79-3E2BBAC4AF71","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8b90595f6e617f42ef945626cbff86a92d007b0b","datavalue":{"value":"W2090307337","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988568$835D8443-23DD-4D61-8ADF-D50BB58C0FAC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988568$73ED870A-5589-4526-9125-FD287E7C69E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cb568d2cce340a232faa84ec5e3a62d9cccd0dc","datavalue":{"value":{"entity-type":"item","numeric-id":1401959,"id":"Q1401959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988568$17C318AF-7A49-4B50-BC46-A1E93DA32B40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30887722c6fbbbb2aca77e0526c9dd38603b086","datavalue":{"value":{"entity-type":"item","numeric-id":799113,"id":"Q799113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q988568$8FFB579C-BFEB-4F55-AC17-891ADDFF1ED6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ee3287999ab2037c8cab2c854664e906d6db918","datavalue":{"value":"10.1016/J.JCSS.2009.10.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q988568$84BF533F-F9B3-4E0A-9D33-CEC945155DE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03fb4b6f59af8b02d8312b8f672a323fe45da234","datavalue":{"value":{"entity-type":"item","numeric-id":1401959,"id":"Q1401959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ac492cf142b2b1dd5a34520ddb585c8551fdc1d","datavalue":{"value":{"amount":"+0.7794466018676758","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":"Q988568$A78F21F6-A0A5-4EB0-9DFD-E3FB671CA08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9264d462fbdfcd8dd21f9858a2a6f0c3a76cd096","datavalue":{"value":{"entity-type":"item","numeric-id":3343448,"id":"Q3343448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aad5e5a22d393dbe5339826d4bac04c51e0eba7c","datavalue":{"value":{"amount":"+0.7566613554954529","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":"Q988568$71D9C8FC-90DE-4A68-A7F5-BD89F329F50E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b145008db41bbe7e0aaf5fb309fddb02b4ad717","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8152d50b86be4b8625292805dfd21600e76d81cd","datavalue":{"value":{"amount":"+0.7386753559112549","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":"Q988568$530A535A-593E-4D48-BA6A-EA903405C510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdc9ce52b7df894e08c8305a356e7067fa0e88d8","datavalue":{"value":{"entity-type":"item","numeric-id":5025056,"id":"Q5025056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a0e9a37ce9b17e671301e6686e07398dc42a148","datavalue":{"value":{"amount":"+0.7287352681159973","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":"Q988568$F9D61D33-5AB4-466D-8A62-6986CE0C5F9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5371799aa8a02556a2945fa2953ca1e16c372207","datavalue":{"value":{"entity-type":"item","numeric-id":3313266,"id":"Q3313266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e58687d853b6917097acf2c0affed70a5bc594e1","datavalue":{"value":{"amount":"+0.7248403429985046","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":"Q988568$2B9A3487-FB9B-4F35-9F99-0472CF7C65BF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Simplified proof of the blocking theorem for free-choice Petri nets","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Simplified_proof_of_the_blocking_theorem_for_free-choice_Petri_nets"}}}}}