{"entities":{"Q5025056":{"pageid":7054633,"ns":120,"title":"Item:Q5025056","lastrevid":98459870,"modified":"2026-06-05T17:35:53Z","type":"item","id":"Q5025056","labels":{"en":{"language":"en","value":"Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7467838"}},"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":"Q5025056$DA34BFDC-7011-4658-9D3E-284F8C438930","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1cf75f3bc648552d3ddaab6719a434ec97e3270e","datavalue":{"value":{"text":"Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5025056$E2E32BA4-79ED-4F0C-99C5-47EEF42F1BD8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9c279db66cb80e18cdfa7cc022a31ccea450a46a","datavalue":{"value":"10.3233/FI-2021-2078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025056$9466D163-8D1B-4725-A718-D9D16AFC7225","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7c6a75a998936a6753aefe05ebe33f5a2218f3cf","datavalue":{"value":{"entity-type":"item","numeric-id":786284,"id":"Q786284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025056$5B4646A6-E29A-42BE-9164-C97D50059431","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025056$A42BE62B-169D-41E9-A9B0-978C9BE1DCCA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3fa622351c9dbc7b7a891fa25d235c8f79af6e3a","datavalue":{"value":{"time":"+2022-02-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5025056$2EE89122-CF28-493F-8ED8-7B1E35C04FA3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e77db219e82a5c771bf3ff84a94e85747ced5a4e","datavalue":{"value":"https://arxiv.org/abs/2109.10002","type":"string"},"datatype":"url"},"type":"statement","id":"Q5025056$EB7A656A-5778-4BDF-A728-4F3910D3C13C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025056$5F39F91E-1578-4D2C-A1E0-E1844F4F1AB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e9c7913e75b1cf9c1db0c3ca85c2367ea01f82e5","datavalue":{"value":"7467838","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5025056$533C59BF-EAB1-4817-A4B2-451E874B4DF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c732aa2db0c0adeec83cae66fac68e2d7ecd5b5f","datavalue":{"value":"free-choice system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025056$82F3DDEF-F1B7-47F1-8196-7FBCBE60F06C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b098740e6e0861e1a112ab7495107992e189e5ed","datavalue":{"value":"\\textit{CP}-subnet","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025056$567498A2-43A5-412D-A99D-717E8380CFF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5a901223212a1ed2000f23f7045226a3f4c02a8","datavalue":{"value":"perpetuality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025056$95F698D8-6692-48B9-812B-D49D1F62AD32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd96ec0988a5fed983ce2beedc34841743fc3805","datavalue":{"value":"lucency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5025056$EEDC31E3-9114-47C6-B485-4BFE1A5236DA","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":"Q5025056$7AAF6730-79AD-4E27-9432-018E98A30F98","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05f5a31e61999933ea52db65ea2a6a41a09ec658","datavalue":{"value":{"entity-type":"item","numeric-id":2280193,"id":"Q2280193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025056$6914711C-3014-4AD6-961D-B21DB3CC20CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8c6c0823d167dc8b066c4c68e4d9989746dfdac2","datavalue":{"value":{"entity-type":"item","numeric-id":5212024,"id":"Q5212024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025056$C3C7900C-F30C-435F-9A2F-8925A7313F7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca40f7fab407694a6786a841f6f4de26a927568","datavalue":{"value":{"entity-type":"item","numeric-id":4856177,"id":"Q4856177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025056$64837CA5-E142-4F86-BDEB-D72991D30F6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a94abc68002c24d7dd9c4000afe28740ba3abdd","datavalue":{"value":{"entity-type":"item","numeric-id":3718162,"id":"Q3718162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025056$D539D84C-BD10-47A9-8BBB-D7135AF35CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0523b7ffb614478661c837902517c32e929e1d3","datavalue":{"value":{"entity-type":"item","numeric-id":988568,"id":"Q988568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5025056$BF64B4A7-3CE7-4443-9CC9-63877D84B908","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7535c83d7e368992b0c9e6907e0eb7d2efd1c57d","datavalue":{"value":{"entity-type":"item","numeric-id":5100751,"id":"Q5100751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4c696e5600dd0b0c80aebe83b16bd26cde06796","datavalue":{"value":{"amount":"+0.8672958","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5025056$D09F4A63-CD9B-4E8A-9717-7D9318C54E78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b368231465805cf88619b7260bfd99bc5dde411a","datavalue":{"value":{"entity-type":"item","numeric-id":3026352,"id":"Q3026352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3526c0e72df9d8b9cfeed84ce32c4215bd23acd9","datavalue":{"value":{"amount":"+0.85584533","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5025056$75D78F1F-6B11-481D-A4D2-87B3DAACFFE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9742604870d6b41f6f353bd9ccdcd6edac66ea6","datavalue":{"value":{"entity-type":"item","numeric-id":3771633,"id":"Q3771633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8feaa947f975e16119362b9579b81f1dc3373cd2","datavalue":{"value":{"amount":"+0.85574055","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5025056$61524D7B-F7F6-4139-A586-D76B9A3A0C30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b83de6b3f5c0773f694c1e8eb932510a5da332ff","datavalue":{"value":{"entity-type":"item","numeric-id":4023470,"id":"Q4023470"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3cc4273475b3607a1f22c0dfe0413de67e6a4e36","datavalue":{"value":{"amount":"+0.8449713","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5025056$71904826-90AB-45CB-93A4-262379D261F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"700ab89617dc5dc9a1eaef2b4eeb641bd3dae947","datavalue":{"value":{"entity-type":"item","numeric-id":3560559,"id":"Q3560559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54b768181d59618607e063d8e963df681013ca1d","datavalue":{"value":{"amount":"+0.84294486","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5025056$AF4BDFD7-4DAC-4D94-8C3A-6E37840FB264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a9c174b9bad445b1df549695c26809bdf035575","datavalue":{"value":{"entity-type":"item","numeric-id":4782035,"id":"Q4782035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4fca3d648f8edad36908b4e322f95abbc422c7c","datavalue":{"value":{"amount":"+0.84251195","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5025056$59199BBB-BD07-4915-89B1-A76245947041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e60afcc2df441aa237b17d664c2696888deff9fe","datavalue":{"value":{"entity-type":"item","numeric-id":1789066,"id":"Q1789066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c30b5af2da280f23e3367f3d2c439c7cc1f98a3f","datavalue":{"value":{"amount":"+0.8413657","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5025056$2A8BAF83-5109-4FAF-9812-9CD57E4F10B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5083c5aeda740698ce62ff1416f151001e119ad","datavalue":{"value":{"entity-type":"item","numeric-id":3552522,"id":"Q3552522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ee2adf1b518924b4163376e878bee9d673ca29","datavalue":{"value":{"amount":"+0.84129506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5025056$A14453BA-BB00-4FDC-8ED3-52212B2BB8EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dc0191fe4196247a618accce4104371c024b4530","datavalue":{"value":{"entity-type":"item","numeric-id":3510807,"id":"Q3510807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ee2adf1b518924b4163376e878bee9d673ca29","datavalue":{"value":{"amount":"+0.84129506","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5025056$CFEF348D-D24B-43A3-95B3-6E703A218E11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2df59db2ef5029e119641e3bd10f61b9e55c826","datavalue":{"value":{"entity-type":"item","numeric-id":988568,"id":"Q988568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36a5b17b0f0599647011fc00b823bdddce619532","datavalue":{"value":{"amount":"+0.8408892","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5025056$E71D6F8F-7111-4741-ABE3-75E836D4492D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Perpetual Free-choice Petri Nets are Lucent Proof of a Theorem of van der Aalst Using CP-exhaustions","badges":[]}}}}}