{"entities":{"Q2811357":{"pageid":2822095,"ns":120,"title":"Item:Q2811357","lastrevid":52552049,"modified":"2026-01-22T22:58:57Z","type":"item","id":"Q2811357","labels":{"en":{"language":"en","value":"Coverability trees for Petri nets with unordered data"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6591835"}},"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":"Q2811357$68F3E583-99A4-43A9-BB89-B508CF391AA4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2a4785c33334662359eb83a3a3c739ae3f7c0390","datavalue":{"value":{"text":"Coverability Trees for Petri Nets with Unordered Data","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2811357$6C2CF4F8-A0AC-410D-884A-6D372CDF9A6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"84dd249d90f203006035b4cd3d84d9fc378bb059","datavalue":{"value":"1475.68208","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811357$45C531A9-31B0-4D42-B66A-3A9257BCA446","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cf2d55d332cedb56f48c3793e1cd1e9bf1349a85","datavalue":{"value":"10.1007/978-3-662-49630-5_26","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811357$97E67C0E-F1F1-4AC1-A7B6-DC95DA4B078C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0aa83eddc2a574af0633c5b9f4ce63a6fb453096","datavalue":{"value":{"entity-type":"item","numeric-id":2254492,"id":"Q2254492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$B45FD154-EAF0-406A-8E5A-CFDEBEAB3D8D","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":"Q2811357$7E5A8BF2-3A84-47F5-8A1E-5537F257E760","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":"Q2811357$78C760F4-C035-4FCA-86EB-45949D95E548","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":"Q2811357$C44FEBAA-0B0E-449F-9451-6F32CBBB91FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$E6C475A4-D233-40EC-8C0B-E1891D445817","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":"Q2811357$977B3115-469D-4C1C-B68D-680B6A857720","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$B9C5BFEF-0ED1-437E-A1AD-D6ADF48A3FBC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8e972b30c5e72787e282a33f718cd738a1fcdeeb","datavalue":{"value":{"time":"+2016-06-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2811357$D48FC7AA-55B8-47F8-A7B7-0E4091132D36","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f58ad6efe1e64b84c9d6d3a97d0c3ccc0ba8fb63","datavalue":{"value":"http://wrap.warwick.ac.uk/75834/7/WRAP_main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q2811357$6D5CD982-39F2-4355-9A35-F67073FE81F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811357$8647C030-775D-4E99-89BA-853122160B41","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7161e2a7e5725ac7455fb7eac93c6bcc821fe294","datavalue":{"value":"6591835","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811357$849D0F02-1D76-4C60-A8BD-86A794B599A3","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":"Q2811357$281DB074-D805-4F8C-B332-BF19B2F46574","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3b68acfb64da065fedded90d0ab578d84b4b6b6e","datavalue":{"value":"W2237589178","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2811357$6D5D8D9C-3CE3-412E-80BE-13DE7BF9A618","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$1486E4A5-736F-454B-A1DD-D81D76A93965","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e75e549d6d3c32cbb3dfcc51d5f454a30fe814a7","datavalue":{"value":{"entity-type":"item","numeric-id":3088033,"id":"Q3088033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$4460A6B4-F30F-443C-B3F0-A1B7F9ACC7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ef74b2eedee87b13ce198ffd06ab9769acdc7962","datavalue":{"value":{"entity-type":"item","numeric-id":2878750,"id":"Q2878750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$D7172C42-DA9B-449D-BB72-1E935A763CBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b90a9719471003b205bb7f13d39fa68211d2e1b","datavalue":{"value":{"entity-type":"item","numeric-id":4152749,"id":"Q4152749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$E4D7E7B1-FC4A-491B-92C4-33DB152EEAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cfbecd242d3ae206f5691b149103266b22f6482a","datavalue":{"value":{"entity-type":"item","numeric-id":355513,"id":"Q355513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$DECB4974-09B0-4712-BED9-E3DC7A23034A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$1EF42DB8-401F-4EBC-86EC-871AD914D9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d83092f8c95d7d524e1fd306669278c84f755b3","datavalue":{"value":{"entity-type":"item","numeric-id":5389997,"id":"Q5389997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$B1DC953A-B549-460B-945D-D2B9D7765004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec887c57f9a5fecc6bd981528afceaade60dee98","datavalue":{"value":{"entity-type":"item","numeric-id":3166218,"id":"Q3166218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$25FED937-8272-4442-8051-C9BF0806B23C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bed64006543fcbf7ebcc1c7d552e5c3071f2b84","datavalue":{"value":{"entity-type":"item","numeric-id":1763373,"id":"Q1763373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$A5694F50-0B83-455B-8930-75C694E9C480","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8572891d5fe72e1a8973c25a2cc5304dfeb47a9","datavalue":{"value":{"entity-type":"item","numeric-id":2986811,"id":"Q2986811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$A5EB1337-89DF-4A6B-9A8F-657010EDA693","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$6615F67B-1D6A-4711-B832-D065345FD450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$525C9F78-2C43-4EF1-BB68-9B0339E431AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35d7585c8f8df12c7d463aff61a71557be15cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3601861,"id":"Q3601861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$C4E559E8-3C61-4FA0-BF78-6E43A7ED79CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af45ca233c37f8dd2da1d8ff39f5cfcad1bdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$325702FC-0A91-437F-9CCC-9A90E450DA07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$B1217CD5-BB1D-49C5-8DB7-9FE900311717","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca91dc6ee5405ef4a82c9d8712578cb11cdffde0","datavalue":{"value":{"entity-type":"item","numeric-id":554219,"id":"Q554219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$8884B995-8E72-4E83-B541-9AFB5EA1F0D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"770f190961fac1d75883e00bb8c8e57275c2384c","datavalue":{"value":{"entity-type":"item","numeric-id":3225720,"id":"Q3225720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$C028A135-DE69-49A7-8B6D-DB3AA2AA31B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51f013092dcf4a4c975cb6c3aac949b3d954ccca","datavalue":{"value":{"entity-type":"item","numeric-id":2828216,"id":"Q2828216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$819E9E78-4837-42D2-AD0F-5413960CB414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eddb2a9513fe3f902ac4b8da9988f623584a6147","datavalue":{"value":{"entity-type":"item","numeric-id":2842095,"id":"Q2842095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$2F5E3EFE-57F5-44CE-814A-B5E21BDCA593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3feebf644fbf5979d96664f07d862fbfe8cc287c","datavalue":{"value":{"entity-type":"item","numeric-id":3586117,"id":"Q3586117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2811357$EBD7BD6C-C255-422F-8154-37C31AA10551","rank":"normal"}],"P1643":[{"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":"f364a4ad01c84c7cc52253b362de146382734341","datavalue":{"value":{"amount":"+0.853478193283081","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":"Q2811357$31A90FEF-C9D6-4223-B303-6F8CA419D979","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4295ea0a437d062e570db60fd190030901697e8","datavalue":{"value":{"entity-type":"item","numeric-id":554219,"id":"Q554219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2041f7e8911a3f93c78a0664a59d6c346bdb5c2","datavalue":{"value":{"amount":"+0.8518233299255371","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":"Q2811357$0B5EF783-48C5-45A5-816D-0C11C1EF57D3","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":"4b38e901f5e9452c8b2a362e46eb7d3a5fc12dab","datavalue":{"value":{"amount":"+0.8494783043861389","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":"Q2811357$E9BA8BD3-A1C5-4B9E-AF13-42C089322614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb67892c0dc3235988d2ac9398865ff14cfde6a0","datavalue":{"value":{"entity-type":"item","numeric-id":4635904,"id":"Q4635904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a43cce0bbdc01fc81807492a99153e416e98e4cd","datavalue":{"value":{"amount":"+0.8353525400161743","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":"Q2811357$4ACE63C0-999E-4BEF-B58C-F89B5191A80A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"617f6c0dcb91397eda62325b1afa3c66a092983f","datavalue":{"value":{"entity-type":"item","numeric-id":3225720,"id":"Q3225720"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fc6e83c3b897b2e35dda29e7665fd0d840083d8","datavalue":{"value":{"amount":"+0.7959311604499817","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":"Q2811357$725F9FF8-1EAC-4245-9AFC-E91BBF32EE60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2811357","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2811357"}}}}}