{"entities":{"Q6830130":{"pageid":15120664,"ns":120,"title":"Item:Q6830130","lastrevid":74371029,"modified":"2026-04-14T20:02:12Z","type":"item","id":"Q6830130","labels":{"en":{"language":"en","value":"Occam's razor applied to the Petri net coverability problem"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6983756"}},"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":"Q6830130$BC7E07DF-5BD6-43F8-A05C-C42E8004487F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5f83086a46bb1c9ecdc51a64f9d0abcb9b46262c","datavalue":{"value":{"text":"Occam's razor applied to the Petri net coverability problem","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6830130$8E76ED9F-0CBC-4145-9BCF-1507E9BD7FBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7f38efc87d3d38d24f738349da9f5037ed4eb132","datavalue":{"value":"1402.68134","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830130$97063F9B-690D-4CBE-881A-7A04F5F79451","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"956b1f9d421dc52dbcce6d042fa88c6031d94d6b","datavalue":{"value":"10.1016/J.TCS.2018.04.014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830130$E043D8BE-5B0F-447C-B141-59B6373E0885","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d6b399fa2711ff128d9554aaf223bf636fe89823","datavalue":{"value":{"entity-type":"item","numeric-id":1623279,"id":"Q1623279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6830130$1CFE350C-EFB0-4B6E-9425-E361946BFD51","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":"Q6830130$92246FD3-7DE1-4C28-A35F-4B8C0D52C157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f4744499443df964c09fc7ab48131ab29ebe0d5a","datavalue":{"value":{"entity-type":"item","numeric-id":1401923,"id":"Q1401923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6830130$257DE0FF-BC7A-4B30-A6BF-63C0900AAF97","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6830130$DC433FCB-8B83-4A4C-B425-D9BB08DCF967","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f1e747551cea3e18facbfe25be36852721064ef5","datavalue":{"value":{"time":"+2018-11-23T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6830130$D8D49716-C353-4717-9440-820FAD783EFE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830130$CFBD083D-1DC9-4DBF-9F18-0AF1BA69AF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830130$1BA382B0-006D-47BC-8959-BB2DD604338E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"02c5ed59cef0046b7b11c06f76f2aee160d3c1f0","datavalue":{"value":"6983756","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6830130$FB6D60FC-61E5-4F5F-8C23-F70C004719C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q6830130$592B9BAE-7244-451A-9E6C-B81AC2EDE339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a50c696676222a2ae79deb0a507d55c171979bef","datavalue":{"value":"coverability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q6830130$8D90522C-D1E9-4FFD-9E4C-C77606A6EFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6830130$A7AA646B-87CD-40A8-86C5-C666929E5782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09f08fe6c16b3c26a1a0a83daf5a7e3891341f78","datavalue":{"value":"invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q6830130$40E2654B-520F-4388-915E-3D41228E37FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d294935c898a0f13628c5d1141b15ff3e17208d","datavalue":{"value":"pre-processing","type":"string"},"datatype":"string"},"type":"statement","id":"Q6830130$7B43C8DF-7E13-4A2B-BE1D-F0EC5C34313A","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":"Q6830130$7EBA3A2C-5DB8-47F8-9ECC-FDD266CC119E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Occam's razor applied to the Petri net coverability problem (scientific article; zbMATH DE number 6983756)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Occam%27s_razor_applied_to_the_Petri_net_coverability_problem_(scientific_article;_zbMATH_DE_number_6983756)"}}}}}