{"entities":{"Q2911620":{"pageid":2922345,"ns":120,"title":"Item:Q2911620","lastrevid":51540932,"modified":"2026-01-18T17:17:23Z","type":"item","id":"Q2911620","labels":{"en":{"language":"en","value":"Approximating Petri net reachability along context-free traces"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6075068"}},"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":"Q2911620$BD8EC612-FF68-4B31-8FD1-37E3F57B6338","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"23196b291af97c822534f139aab0bea5f3e4875a","datavalue":{"value":"1246.68161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911620$FCB93E75-46FC-4D0B-B533-6DDB5811A19A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"de80e021db34435e21a6613c8105f91a5d942b85","datavalue":{"value":{"entity-type":"item","numeric-id":479840,"id":"Q479840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911620$0A2CC332-8D07-4AE4-9FAA-CE55616AF5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"32615fc5fb5dd13879921120a1ebbaef0bfe0d44","datavalue":{"value":{"entity-type":"item","numeric-id":453530,"id":"Q453530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2911620$597BB143-44DB-4E6C-A706-656556ED590F","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":"Q2911620$2AD4EFB9-A333-4458-AEDD-D1F8249E1100","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911620$DDB2D6EF-D41E-4F34-AE9D-BDA02E2EF673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911620$DCE5CCBF-8F8C-47B0-843A-FB3A0CA542F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911620$18D937F9-6E2F-4CBB-9A93-DB5ADC60757C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911620$B605B42B-016A-4659-957D-F4A608AA24E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"97530e4ed12fcdf192608e2bfccf6f9edcc8728f","datavalue":{"value":"6075068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911620$B761926A-6E6C-4C45-AD71-6973892E5520","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911620$B8F87765-F751-4BA1-AFB5-ADF164016F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a37f1b310a3dab2e44459244c624b1e251e5b8cd","datavalue":{"value":"context-free grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911620$E78595C5-712C-4C90-8BCD-E2F375786FD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ecc2e39a874768547c2175f9054d183dcbd30568","datavalue":{"value":"reachability problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2911620$240AAE61-47D1-4EEF-865D-8A663BFA18B9","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":"Q2911620$0422EFEE-2247-453B-8AFA-C459A5AFAA60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90dd717f5db01c5a86c1ea07a473e4294842a5f1","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2011.152","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2911620$0F8FE788-6318-4B7F-92A3-D45DC6B82177","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f1fb464e344dc5524b6c094cb76e9c2718735b06","datavalue":{"value":{"text":"Approximating Petri net reachability along context-free traces","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2911620$898BD753-BEF4-4E18-90BE-AF2FA6D7771D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db35090206c660d237a31f24de54481c94d8c59c","datavalue":{"value":{"entity-type":"item","numeric-id":1183784,"id":"Q1183784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e649d06e86dcf73cfa1d5589208d157594827709","datavalue":{"value":{"amount":"+0.7699108123779297","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":"Q2911620$9D12ABEC-9E9D-4C01-ADDF-A9AA73E74ED2","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":"44cfd73d8ebe6c10b034e5635d1f633be2ad8612","datavalue":{"value":{"amount":"+0.7670722007751465","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":"Q2911620$E1597E64-78E1-4121-80C3-410CA0FB810E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a0628e3707cae9cae74b0306cc53413e74e3a8d2","datavalue":{"value":{"entity-type":"item","numeric-id":5111264,"id":"Q5111264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44cfd73d8ebe6c10b034e5635d1f633be2ad8612","datavalue":{"value":{"amount":"+0.7670722007751465","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":"Q2911620$993AECA5-EC6B-4658-8589-49B6360B2AF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"997a2159bdd36025737f29b13fbf30ed4510e9ec","datavalue":{"value":{"entity-type":"item","numeric-id":2805419,"id":"Q2805419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90059758b4694b1eaadcfebfe524d6c5d9f7aab9","datavalue":{"value":{"amount":"+0.7538890838623047","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":"Q2911620$D5FDF197-6A7A-451B-89B7-807885EC681D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a5ae05bfd87c3c9c2b3f17e406ae6d41a3e33df","datavalue":{"value":{"entity-type":"item","numeric-id":4982097,"id":"Q4982097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b43bb331eb10751641b67d8f34e9c7c8c5ee743b","datavalue":{"value":{"amount":"+0.7447600364685059","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":"Q2911620$F1BC20B9-9BD5-45F9-A203-69B843212681","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2911620","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2911620"}}}}}