{"entities":{"Q5179054":{"pageid":7208626,"ns":120,"title":"Item:Q5179054","lastrevid":52227947,"modified":"2026-01-21T05:06:45Z","type":"item","id":"Q5179054","labels":{"en":{"language":"en","value":"Efficient reachability graph representation of Petri nets with unbounded counters"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6416855"}},"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":"Q5179054$E17CEFC6-B2D4-4C8C-88A6-2A2F26733F8F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"efc78533c52073f0ccac7e8015b13b51eac0798f","datavalue":{"value":{"text":"Efficient Reachability Graph Representation of Petri Nets With Unbounded Counters","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5179054$5D53DDA7-9E12-4129-AF38-84E61048B88F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f5a7df8ffdf5524a260cc25ca35a77a3a59d344","datavalue":{"value":"1347.68273","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179054$79F10328-DA2A-4107-9862-E83D3F926DD7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"251a808fff74ce5335640aab6d5f066cde242d2f","datavalue":{"value":{"entity-type":"item","numeric-id":418850,"id":"Q418850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179054$6FE222EB-01CD-46F2-97A7-9E1A48B547BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"339e021ba63ce43474248ae6e57750fa061ec58e","datavalue":{"value":{"entity-type":"item","numeric-id":218984,"id":"Q218984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179054$F4D1FA58-C102-4155-988E-1DE6429503EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b6e639d2eeaa2d3553e052d48e38290f102cbe38","datavalue":{"value":{"entity-type":"item","numeric-id":227613,"id":"Q227613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179054$7E751073-842F-4A64-B831-EF5322EA0FFB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3478ec308a15597e43cb648673c843463f4d3028","datavalue":{"value":{"entity-type":"item","numeric-id":163528,"id":"Q163528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179054$D6AA2DCC-7CA3-4E20-A726-17D0E8FF4DD8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"13363c53348fc4e0ea3eb8871ef50224bb94cc9c","datavalue":{"value":{"time":"+2015-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5179054$2091C077-14F0-43D7-B48C-A61C1CB04F01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179054$44BD4A40-583A-48D1-B69C-D01A26DB5F0E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3d7efe9bb0205d67a361e4b17b0b434f3e404b3c","datavalue":{"value":"6416855","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179054$CB47FC28-C255-4705-9503-93CF6942DA20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179054$6ACB727A-316B-4F49-A5C0-C03DF275E43F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abbd6d4a0a6a4495d01bf99275d9793ab9393ca5","datavalue":{"value":"unbounded integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179054$28D94DD3-27D4-431F-A038-B62579A73C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179054$0A7B02D4-4DD7-4359-B1E4-C5BB80E354F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6ce889a8a92a5adf9884f2ba6068fac0f7d64b3","datavalue":{"value":"traces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5179054$D03E925D-54AC-43C2-8297-0A55E5F2F1A1","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":"Q5179054$320899A8-F4F1-42C9-A86A-05A03566D0E0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ba85dcacc80eb856213e4d772cfca3d5447623bc","datavalue":{"value":"https://doi.org/10.1016/j.entcs.2009.05.034","type":"string"},"datatype":"url"},"type":"statement","id":"Q5179054$0502E7E8-094C-4440-88AB-EBEDC280E431","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3f51a0502f161a93596f8b32659eee5dfebedc2f","datavalue":{"value":"W1970793188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179054$300EDE92-98DE-4F61-8BC7-63F658D5EDDF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d1ee98d91aca12b30ad29c66369762b1ae76365","datavalue":{"value":{"entity-type":"item","numeric-id":4764197,"id":"Q4764197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179054$5729D2C7-2C88-4773-8BF6-F79C9A8A553F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51978b01d3e70844ef915087647174715a61becd","datavalue":{"value":{"entity-type":"item","numeric-id":5717498,"id":"Q5717498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179054$85E6E919-995D-4B2C-9192-FA81062D76D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"178038c420b9380f89f1a3e49617f7b6840655e2","datavalue":{"value":{"entity-type":"item","numeric-id":3670575,"id":"Q3670575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5179054$400A308E-711C-4BA6-B835-0249B1D56639","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b37c11343dd1b7086201e7ac8e21ba2b5c48138","datavalue":{"value":"10.1016/J.ENTCS.2009.05.034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5179054$7C56791F-7953-4E3F-ACB2-28DCE7012A78","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8c50905c45dc96d24a01ca9edac19b7a08afb27","datavalue":{"value":{"entity-type":"item","numeric-id":515678,"id":"Q515678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d40e1fd4202b65f66cf681cbe47d53d884db2ce","datavalue":{"value":{"amount":"+0.8036022782325745","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":"Q5179054$58E1D3B4-AC22-410E-BD04-6205E08C8F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"324155d18fb9d3f68084ae3b1c1742439f2c8337","datavalue":{"value":{"entity-type":"item","numeric-id":1392273,"id":"Q1392273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"558be2604829d74c898c53510b587ca999ffcde3","datavalue":{"value":{"amount":"+0.8017557263374329","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":"Q5179054$D2366190-7605-43A3-9F71-4184A10C72F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"796d35e6073aca3a1576a78d755f77696c48478a","datavalue":{"value":{"entity-type":"item","numeric-id":4371024,"id":"Q4371024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02c3fde556b29f71e40c9aa0c37937de2de7b554","datavalue":{"value":{"amount":"+0.800149142742157","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":"Q5179054$AE6E5C4C-50F3-47FC-82C2-3B7FE9DAD1BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4a9cd8fc33553f6d5411e1152f4c8165ed18fd7","datavalue":{"value":{"entity-type":"item","numeric-id":5712328,"id":"Q5712328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43673e133d029ec424bd45720fe671fd4b5e5e8a","datavalue":{"value":{"amount":"+0.7926070690155029","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":"Q5179054$8382A27D-B824-43F7-A941-EAB93EAFF067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1b485f3e05a3cbf6542bb04069cc169924ebd4b5","datavalue":{"value":{"entity-type":"item","numeric-id":1871862,"id":"Q1871862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1fb9dd03bd0595f546cc71f15f6931f51823f71","datavalue":{"value":{"amount":"+0.7920752167701721","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":"Q5179054$1A0C05A6-5DE1-4117-9D53-66AB6BEA8D56","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5179054","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5179054"}}}}}