{"entities":{"Q5212744":{"pageid":7242315,"ns":120,"title":"Item:Q5212744","lastrevid":58483254,"modified":"2026-04-05T10:15:51Z","type":"item","id":"Q5212744","labels":{"en":{"language":"en","value":"The reachability problem for Petri nets is not elementary"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7160486"}},"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":"Q5212744$C2B4CE55-3C8C-4EEE-9553-DE73566404F8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ccd26d245c0301105df05666fd186802b4ea2bb1","datavalue":{"value":{"text":"The reachability problem for Petri nets is not elementary","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5212744$3097C6FA-C1F5-4DF7-B46F-EF03686CA8B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12d62a1711acef23eadee67b83511317706e73c7","datavalue":{"value":"1433.68245","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212744$62C2732E-41F4-420C-83A0-73F1777030AD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"22ae76e09310c6e7807068b7989a071b05b07110","datavalue":{"value":"10.1145/3313276.3316369","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212744$2759A7CB-1090-477D-B68A-A65C6185B31B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbacc854e17a0853117b4d86eeb4c426187482dd","datavalue":{"value":{"entity-type":"item","numeric-id":532390,"id":"Q532390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212744$D89FDB48-64C2-4F2C-9E04-662229B2FC91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"053dba02bd09ebc72c65d4ae91f0998a2a20fd83","datavalue":{"value":{"entity-type":"item","numeric-id":344533,"id":"Q344533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212744$3A8736B7-9C8A-42B7-B16E-0B149503FD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"eacacbbe6e051b16df56b4d3a50a13e6712a6099","datavalue":{"value":{"entity-type":"item","numeric-id":407524,"id":"Q407524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212744$8C50AF62-69D0-43F3-8B6B-3C255C830EFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f161a480b9c89752015764e13c5bf4e0fcd16fe7","datavalue":{"value":{"entity-type":"item","numeric-id":300415,"id":"Q300415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212744$0909B69D-A5EB-44D0-8966-92C8C590443D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6d6c10c40b5e5dd06cf3d1bab585e20b08c02e0","datavalue":{"value":{"entity-type":"item","numeric-id":1622947,"id":"Q1622947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212744$A698CB97-53D0-420B-AB37-66801459E1DC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7ec30071785b97eb964fee27a72d549b6933f168","datavalue":{"value":{"entity-type":"item","numeric-id":5212741,"id":"Q5212741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5212744$9FFD0E3F-E6CD-42BF-8AE9-E35016469E5E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9d2fff2838771d2e0e512e8ba6e71ab0bdd7329b","datavalue":{"value":{"time":"+2020-01-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5212744$881E571E-8EA4-4E25-A884-C31CA0B491F0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a541204d9fc5a1ff639bd93c6c59de9293205ec1","datavalue":{"value":"https://arxiv.org/abs/1809.07115","type":"string"},"datatype":"url"},"type":"statement","id":"Q5212744$89136BF1-4AE1-44A1-8CDC-625B396C8C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"2155d8520c122a4dc1e328c256846d977c8e703c","datavalue":{"value":"http://wrap.warwick.ac.uk/120117/1/WRAP-reachability-problem-Petri-nets-not-elementary-Lazic-2019.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q5212744$78A066CC-54F6-41D9-A5B2-967F35EC1EA6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212744$7870CC66-5362-4803-8557-AF2A7B0097FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212744$FDF3E36C-0C0F-4345-A598-EDADA67545C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212744$578992D6-557B-4C04-9F97-B7C04FD4247C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da57d36ba7b086fa349e812dabf804c41b8f21ad","datavalue":{"value":"7160486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212744$B0CD5A88-FAA9-486D-A449-64B75C58A285","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212744$FE0DAF4D-B15B-42E5-AD45-195D0D0A865B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"becb98136fa67ebf3410105d9bcaf0fb5f08ec10","datavalue":{"value":"reachability problems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212744$ACF36F7F-FAF1-40F2-A704-F9B42F63CBB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01596681fec0062ebe65a0738936e768a85631a0","datavalue":{"value":"vector addition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5212744$872914C8-B635-4EF3-B764-E8C3D8B195A8","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":"Q5212744$90816CF4-EB80-48CE-9F73-B10A4C587266","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d660d4cd962be77b29d032ecf3990c4f45b33172","datavalue":{"value":"W2963620995","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5212744$48D48493-477F-4015-BBE7-64743B1E883D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"950ea8c3ba024df2ba47d9a89385075b7ac47510","datavalue":{"value":{"entity-type":"item","numeric-id":5056399,"id":"Q5056399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7447c4816a8100fb9014baba1380fae34340e4","datavalue":{"value":{"amount":"+0.9976086616516112","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":"Q5212744$C991A1C6-83E2-4D67-A157-4B21D3A7F69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46b97a0ffecde032f3cf497744f901e6271492bd","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc62cbe3e161cc2ddce5e8cb510886848509f8f6","datavalue":{"value":{"amount":"+0.8309924602508545","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":"Q5212744$55C1C243-B7AC-4060-976D-0FAA688A58B7","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":"2bc9dd604062acaa769a555e441be6b3ee561a1c","datavalue":{"value":{"amount":"+0.8112468123435974","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":"Q5212744$51223F1A-AC16-4538-ABBB-F9AAD251448D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5596a72298c186cb84ca422afff9dd10b0413d9c","datavalue":{"value":{"entity-type":"item","numeric-id":4853328,"id":"Q4853328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e6812d46f720dae9a6b8dce2c0415aeb53bc958","datavalue":{"value":{"amount":"+0.8093781471252441","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":"Q5212744$920B092B-87D4-4E05-9C56-675EBAAA6445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dea65eede4365699a5182306bf9eaa974f3a53f","datavalue":{"value":{"entity-type":"item","numeric-id":1708715,"id":"Q1708715"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9db3a556ecce00b2f4472d9da3c7aac7673635aa","datavalue":{"value":{"amount":"+0.8061720728874207","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":"Q5212744$2595CD89-5AFD-496F-A565-18F71662D0B9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5212744","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5212744"}}}}}