{"entities":{"Q2911619":{"pageid":2922344,"ns":120,"title":"Item:Q2911619","lastrevid":58066005,"modified":"2026-04-03T16:20:02Z","type":"item","id":"Q2911619","labels":{"en":{"language":"en","value":"Petri net reachability graphs: decidability status of FO properties"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6075067"}},"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":"Q2911619$5C057576-2968-4F41-A3D4-C8320857AF0E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3399a17e5a1b4d7fae4800dca86400469126246","datavalue":{"value":"1246.68162","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911619$AB5DE1A1-8471-4738-934C-D2F60719EE88","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":"Q2911619$F65127EF-2A9A-4623-807D-C4C5271CD837","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":"Q2911619$248509F2-C265-439E-B211-2E25312691EE","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":"Q2911619$FEB5E7ED-4142-46C0-A137-5194358506A2","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":"Q2911619$E08749A8-C319-4BDF-A7D9-024B75EE17A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f84149e6dc3873f818774d0b131b454e3227c5f2","datavalue":{"value":{"time":"+2012-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2911619$B7C123CE-2CEA-4BA4-B932-DC86315B241D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1059417a23dd581a7db7464c5b59af35884b122f","datavalue":{"value":"https://arxiv.org/abs/1210.2972","type":"string"},"datatype":"url"},"type":"statement","id":"Q2911619$18ADD6FD-E9F0-41BB-9FA0-6DF56C9D1BFA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911619$DE696C4D-6F69-41C3-ACCF-178F7C8C5F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911619$AC77DA4F-6986-46C8-8310-9333EC7C6F30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911619$D8E4345A-FC58-4C6A-8442-2F70F0422E1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08f6b263c922f4c834ed804694882dc86d562b02","datavalue":{"value":"6075067","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911619$C143EF25-3951-48FE-B32C-3BAA9F3FC8E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911619$A0CDF03D-6086-4A6E-8327-685C1BE04D80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c39a3dcb919cfb7892b24ca37da2f18a4bcfe1c8","datavalue":{"value":"first order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911619$33037371-9C3C-4246-A141-E1B69E6F1221","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35e5b74ea6b6ec937eabb783233d834c2c84b67d","datavalue":{"value":"reachability graph","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911619$FDCDCEA5-005B-425E-B263-4BD0AEDDE356","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":"Q2911619$AD13A24E-4BA1-4BB9-A9AF-F6DC7DB13A3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5592814eaa26ab2bb27eb7b2edd4dfe5a20ddbcf","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2011.140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911619$6949CCC9-BB84-4FB0-B1AA-BE2A1D6AA040","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ee484eb62beed5fddeb33ad353fd13eada1fc05","datavalue":{"value":{"text":"Petri net reachability graphs: decidability status of FO properties","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2911619$70F5B2C3-62F3-490E-BE55-A49467EE29C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"871a1a3dd4f71546ee0773d79b8a0f363df28a35","datavalue":{"value":{"entity-type":"item","numeric-id":3166230,"id":"Q3166230"},"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":"Q2911619$6A8CC0FC-07FB-4930-89E7-FAD0511A9935","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":"e0b162869d83f4f61df61d5e67ecbeddf0a6f04f","datavalue":{"value":{"amount":"+0.822546124458313","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":"Q2911619$CE9BD406-F90F-4C60-8091-659312AD4127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56c195f30d9152613b58e022b571a62444dfbccc","datavalue":{"value":{"entity-type":"item","numeric-id":4515247,"id":"Q4515247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"763390799990c8082c9a5c8203061f02f46572f2","datavalue":{"value":{"amount":"+0.8223907351493835","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":"Q2911619$C169301F-67C1-466D-8A64-60400D6542DB","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":"fdb71de38e14b37b927b72c062cef4ccff4b0c19","datavalue":{"value":{"amount":"+0.8098734021186829","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":"Q2911619$A535718B-5F0A-4429-9FFC-102B8A4D449C","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":"56c33f4b6ec589c78c88b82d444efad72121e129","datavalue":{"value":{"amount":"+0.7893055081367493","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":"Q2911619$41F7AD2B-9BA6-4B99-B147-A63F919AE5BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2911619","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2911619"}}}}}