{"entities":{"Q3166230":{"pageid":3176946,"ns":120,"title":"Item:Q3166230","lastrevid":86582066,"modified":"2026-06-04T01:49:24Z","type":"item","id":"Q3166230","labels":{"en":{"language":"en","value":"Petri net reachability graphs: decidability status of first order properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6096745"}},"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":"Q3166230$DE2D60D6-21FD-481A-A625-CD3CBC47ED6E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9da6ba2e3e79d47fbd8740257ac8f891e5cc2fe1","datavalue":{"value":{"text":"Petri Net Reachability Graphs: Decidability Status of First Order Properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3166230$35D98EBB-D473-4D12-99DE-27AC59F1ECE8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ba0b4c583b344790fd09dddb43343d3ab74caf4","datavalue":{"value":"1248.68324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166230$06B94829-11DA-4FAE-9987-49B543608C9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"211d15eee964c20ffe13745910c7389dc50014bb","datavalue":{"value":"10.2168/LMCS-8(4:9)2012","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166230$5EC8777C-223E-4065-87E0-7F900D6033C4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166230$BEEE2556-8880-4172-A6E5-7FED3AC4AC8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af703d32295462ed225bee2f999d6e39ffca1914","datavalue":{"value":{"entity-type":"item","numeric-id":939168,"id":"Q939168"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166230$00BA96B4-FB4B-40FC-A43B-69290DFCCBE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"684f88aed7eca54cd85f3fa9985d5a8aa43bc9ec","datavalue":{"value":{"entity-type":"item","numeric-id":1772106,"id":"Q1772106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166230$3C5104CA-2774-4249-826D-5B1F6C8A9B04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"271829170669ce43b1b4f10856578a74e1f3e05f","datavalue":{"value":{"entity-type":"item","numeric-id":557785,"id":"Q557785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166230$B41485E6-4FA4-4DE8-A603-273F98957B09","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166230$788F2524-FC23-46DE-8FB2-44F71D1261E9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8404257a30e43f4422f9bf6490e771e737e94e6","datavalue":{"value":{"time":"+2012-10-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3166230$46F59A70-5CF4-4619-B376-D0579AFFCEA3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166230$934D1E9B-5891-4BD1-A6FB-6A9D7D714364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166230$2720BEA0-D408-4959-8B30-B458634C7C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166230$13FCF419-8BF2-4B59-818A-C0BC2BE66A1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"15771cfd966ef42e67865e819f427b7df8eb2532","datavalue":{"value":"6096745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166230$678FF567-D3D6-42D1-9048-CB11CA65F5B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166230$24FDB7EB-0383-4917-B96C-38DE860E8E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166230$7C4891F0-E8B5-48A6-83FB-335912B009C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e5b74ea6b6ec937eabb783233d834c2c84b67d","datavalue":{"value":"reachability graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q3166230$49BDF322-C4CD-4932-BFF6-B7C56C77AE08","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fedb99aafb4892a69662c5ebaffc64ecb6451370","datavalue":{"value":{"entity-type":"item","numeric-id":16326,"id":"Q16326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166230$AB5614E2-18CC-4F82-9930-4F83D293727D","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":"Q3166230$90FA7497-6B17-489E-8F92-3157CA09934F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02bf4d37158eb3abb2df535f027a48df933e29c6","datavalue":{"value":{"entity-type":"item","numeric-id":2911619,"id":"Q2911619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"607cc4e76f777c8712b9c7b7867ba0f05f2f6072","datavalue":{"value":{"amount":"+0.9872060418128968","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":"Q3166230$9FDA0999-33CC-4674-8719-565A70FEB1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7aae52abb6839b4f62374a0c58f9f04bf2855b6","datavalue":{"value":{"entity-type":"item","numeric-id":1813788,"id":"Q1813788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"309a5eebbed51547de27f9b56d2355fd34a2f85b","datavalue":{"value":{"amount":"+0.8145094513893127","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":"Q3166230$40D54273-C8D9-4E36-A1A5-B8E02AA94A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be29b151d11ceb40b1f0c0be92d800b7c2381583","datavalue":{"value":{"entity-type":"item","numeric-id":1173681,"id":"Q1173681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f9fe582ae8099f6d4f17ac20c7a827b62428cef6","datavalue":{"value":{"amount":"+0.8144599795341492","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":"Q3166230$052A6D3A-AEED-4295-B412-9C447CB5D345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"773eb5acd23d08a3ed08ee2687fcd84b5ed6ccbb","datavalue":{"value":{"entity-type":"item","numeric-id":3820016,"id":"Q3820016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e909b70cc13a3be67a0acc642243dfd177050790","datavalue":{"value":{"amount":"+0.8026620149612427","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":"Q3166230$46E49CFA-5717-465A-A1BA-09C99E45BD68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72abbf54b2ae59348e2fd7ee081ec2416c538ec3","datavalue":{"value":{"entity-type":"item","numeric-id":4954445,"id":"Q4954445"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d106ae64ed2ad763f63adabc295133f8bb6d527","datavalue":{"value":{"amount":"+0.7832865715026855","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":"Q3166230$6BB84B6B-A32B-445F-B549-F57CC93051CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Petri net reachability graphs: decidability status of first order properties","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Petri_net_reachability_graphs:_decidability_status_of_first_order_properties"}}}}}