{"entities":{"Q1708715":{"pageid":1719456,"ns":120,"title":"Item:Q1708715","lastrevid":72160566,"modified":"2026-04-14T03:02:05Z","type":"item","id":"Q1708715","labels":{"en":{"language":"en","value":"What makes Petri nets harder to verify: stack or data?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6852768"}},"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":"Q1708715$737F6C03-3219-4A7E-8835-308B423BC6CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6b5efc22e1263f3756f2d45c33a3aeb734af4019","datavalue":{"value":{"text":"What makes Petri nets harder to verify: stack or data?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1708715$A89C0536-142F-4A64-937F-117EC2CBAED9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8d64a219b20a9b8a8dbfd9885fbd40f0d8936ffd","datavalue":{"value":"1485.68164","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708715$0A1A8238-1CB3-4572-9C9F-6D95DCD19351","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"890a838115304f66d0ed3f0eccda6bc2b3c81500","datavalue":{"value":"10.1007/978-3-319-51046-0_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708715$EC62F119-3C25-4141-8D32-F3A5E3D8AF8C","rank":"normal"}],"P16":[{"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":"Q1708715$CD1DA7E1-FBFC-44A3-A6A1-DDED7A1E1E55","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0b40c8beb7cf2a3f6eefb5705d808ad6c7eca7d","datavalue":{"value":{"entity-type":"item","numeric-id":1675153,"id":"Q1675153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1708715$E8062DC7-A66E-42F1-94BD-2A136FB5C249","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8a82fdf4a918c0f6ebce8b814fffa2efa1f2ae62","datavalue":{"value":{"time":"+2018-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1708715$4D8D2952-8966-4CF2-8079-A5473AAAED7F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c64ba5418e9f647ffc7bed6a2a71b38fc726364f","datavalue":{"value":"http://wrap.warwick.ac.uk/83719/7/WRAP-what-makes-petri-nets-harder-verify-Lazic-2016.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1708715$B6C909F6-E6FA-4BD0-9F73-E5917013F0C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708715$589B70D6-6852-4EA4-92B3-FC00FA80A83A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708715$A53AB90B-5604-4910-B089-E6A62920F836","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4b74effa63c70fcb82ce9cc1562acff5a6a71a39","datavalue":{"value":"6852768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708715$1ABE01FA-60E3-443E-82A3-41B9B8338D9B","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":"Q1708715$2DE293BB-6614-4FE6-A935-0E09E7477B29","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"852e0131a3ec9303307e980734a2e534e783d466","datavalue":{"value":"W2563122255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1708715$484CDA89-4FA2-461B-BE09-A3ADDCE01893","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":"afb2680c5b5299fc7abb9312d9f8f96e7082d3ca","datavalue":{"value":{"amount":"+0.8089200854301453","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":"Q1708715$27495B54-3B93-44C0-B56E-AFE2063D4319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4cd85afc1b487861c80ae5a48234899eac820a9","datavalue":{"value":{"entity-type":"item","numeric-id":5212744,"id":"Q5212744"},"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":"Q1708715$5568D7FB-B554-48D5-AE59-5DD552D17945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9f0949330ef53bbdeeba89f43a4651ab611b69e","datavalue":{"value":{"entity-type":"item","numeric-id":3601861,"id":"Q3601861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a59410e40871ba33bf2570e44d5958f978e24bc","datavalue":{"value":{"amount":"+0.7944170832633972","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":"Q1708715$DDDCDFE7-0DE0-4C00-968B-83789D381CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3e56fe00235c183dc5676147ea6cc174b74031a","datavalue":{"value":{"entity-type":"item","numeric-id":3612940,"id":"Q3612940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"719580df863c3a64221a8e37ed28a967e176e9d1","datavalue":{"value":{"amount":"+0.789786159992218","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":"Q1708715$65A41D26-F393-450A-A93E-E0A59871F26F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"710663909285e7aac13d92a50d0dc1c1689741db","datavalue":{"value":{"entity-type":"item","numeric-id":2811357,"id":"Q2811357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"652a71ed27230ead4a359357774d784f12a1bafd","datavalue":{"value":{"amount":"+0.7849903106689453","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":"Q1708715$7E3147CB-257B-4D84-9E35-608D5CA9EAF6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"What makes Petri nets harder to verify: stack or data?","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/What_makes_Petri_nets_harder_to_verify:_stack_or_data%3F"}}}}}