{"entities":{"Q5111631":{"pageid":7141205,"ns":120,"title":"Item:Q5111631","lastrevid":58423065,"modified":"2026-04-05T03:59:46Z","type":"item","id":"Q5111631","labels":{"en":{"language":"en","value":"Goal-driven unfolding of Petri nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204935"}},"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":"Q5111631$1C94CE99-EB1E-423F-8DC0-E3137EC01891","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4f04425384a11e7446d1b11be813506ffee539a","datavalue":{"value":"1442.68132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111631$765AA012-A75A-43B0-AE52-9CBCEAA93FFB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a2a3f140ad501af9a971ae94e56963f322567411","datavalue":{"value":{"entity-type":"item","numeric-id":453541,"id":"Q453541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$DF4EC445-9B83-45E0-844A-33C6B892DB32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"513bb5e6f46e56090857c3020193a5610efa3f83","datavalue":{"value":{"entity-type":"item","numeric-id":275998,"id":"Q275998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$8C5B9DEB-60BF-4F32-9313-8ACE2EAF82C1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"74e9c8747ffd0032638f684de68b42e81f06a509","datavalue":{"value":{"time":"+2020-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111631$01DFAB33-96E5-4B0C-9ADA-801948013F4E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bc556548aef70ef9db69c6572e2b41eacf4fe872","datavalue":{"value":"https://arxiv.org/abs/1611.01296","type":"string"},"datatype":"url"},"type":"statement","id":"Q5111631$3445593A-0D2F-4AD8-A1A7-43F57EC46B47","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111631$2174C3B5-C7BD-43CB-A860-D69ADFCE0D46","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"df25da1444f21dc4690db78932019bc418df41b1","datavalue":{"value":"7204935","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111631$C9BF1B60-B5AD-4F23-BD23-1020302A2938","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00136e647e328aafc8cc9233d4b1b1691904b2a2","datavalue":{"value":"model reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111631$1567B179-52A8-4846-8803-B5EC3E0AA703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a618b40b0e1c60d8f3695a0363009e29e3d436f0","datavalue":{"value":"reachability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111631$DF69F783-F53A-4FFB-BDAC-DF0396F0CA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111631$F1CC6454-6C0A-4C19-B886-1EC97939C9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e99e7043f8ca48e55c1cdb65dd465ca49e053f","datavalue":{"value":"unfoldings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111631$83FED4B5-4650-4C0A-AB3C-534D89CD1A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111631$F2B5CA86-AB76-4F1E-BA1F-149E0FE85283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba79c10361efaa33da8fede14b536749a48e85f2","datavalue":{"value":"automata networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111631$B885B5C4-2958-427B-960A-CF1B86154B72","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"583ff11db004aa19fd5f8056604b99788a42cbf1","datavalue":{"value":{"entity-type":"item","numeric-id":16592,"id":"Q16592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$64CE1560-670B-4F8E-9A39-C7E7F63C407C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e1251f67615721cc12212655ce59fa096815c1ba","datavalue":{"value":{"entity-type":"item","numeric-id":21226,"id":"Q21226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$D86A359A-9939-4E4C-88AD-59365A7EB880","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":"Q5111631$BC1B6E46-D369-43CF-A5E3-C4380889BF74","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"15088adf5abfe5076b0e1437cc6f12257b277344","datavalue":{"value":{"entity-type":"item","numeric-id":443729,"id":"Q443729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$D598685D-E9E1-4AFA-B10D-4F586B45013B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f2a33b140279091a5d42f1434ee6c8cc823f92","datavalue":{"value":{"entity-type":"item","numeric-id":4791846,"id":"Q4791846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$9D9B882F-E389-4B94-91B3-1B457833B913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dcddded09dc41006a5ed36da3e36e71029c68cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3599218,"id":"Q3599218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$7F7A89D4-BF40-4C39-B792-BA2078BF7A87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c8a7a68709cba37285b8124f4644386137f9925","datavalue":{"value":{"entity-type":"item","numeric-id":2380011,"id":"Q2380011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$F730447D-426A-468B-AE48-AC31AAE88948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d087393a33cf3c7f9534537ec518dbba20345ac6","datavalue":{"value":{"entity-type":"item","numeric-id":672459,"id":"Q672459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$969D2A13-7A57-4C5E-9676-3672395F5613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2ca0ec24a69cf1f915d924307d29172a5f8a3ce1","datavalue":{"value":{"entity-type":"item","numeric-id":2426635,"id":"Q2426635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$B9F85105-2756-4903-8407-0E7F2E87659B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1afb991c31c2e42e707968de678758f398f1dda2","datavalue":{"value":{"entity-type":"item","numeric-id":4270050,"id":"Q4270050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$7C347589-EA61-4924-A6C1-745C2FBD2754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29558a7d29a75e1c126135f22d6c400886954fba","datavalue":{"value":{"entity-type":"item","numeric-id":1600655,"id":"Q1600655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$9A177490-3D0A-4ED2-ADFE-84555DA4E882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d1474cd38ad9009b820e4b315942c39e7957afea","datavalue":{"value":{"entity-type":"item","numeric-id":2775861,"id":"Q2775861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$3F5608D2-2654-4677-A5A7-85FC4A2F42FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$618ED63E-2290-4754-B248-53997AF54412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df23f6ccb13b7deb7619c44c8685b192d26beb0b","datavalue":{"value":{"entity-type":"item","numeric-id":1889762,"id":"Q1889762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$8524BA06-7E4D-45E9-BFD2-07FD7E8EE993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"128f230856ff7886937818411b624699e9f5b108","datavalue":{"value":{"entity-type":"item","numeric-id":1706591,"id":"Q1706591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$296D5A3B-C294-4F23-BED2-9666C1C36C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c0fa053f93ceee34040b4a938760557f2a3f364a","datavalue":{"value":{"entity-type":"item","numeric-id":5458339,"id":"Q5458339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111631$DAF913BD-62A6-4DA7-9842-3217474785BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dc2d816a3f3ccf438e7482109f7f6930793bb008","datavalue":{"value":"10.4230/LIPICS.CONCUR.2017.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111631$1F84AE68-437E-4AB0-99BC-6C3874742F9A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e5fae50de319b3be3c18bca40f5f874b75c9a92","datavalue":{"value":{"entity-type":"item","numeric-id":3599218,"id":"Q3599218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1e4239db691fdeacaef264b54ad947e3b11136b","datavalue":{"value":{"amount":"+0.8618321418762207","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":"Q5111631$549439C4-98D1-46E0-88A9-E477910F5075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4602e89f02bdbb21ca9314b5250489670139c048","datavalue":{"value":{"entity-type":"item","numeric-id":4791845,"id":"Q4791845"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2aa2b4afb0fcd01a4dd818e668e5fb6f4396d897","datavalue":{"value":{"amount":"+0.8569648861885071","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":"Q5111631$7803A134-B57F-4DE7-9A15-1FF15B83B8E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c91b5d078c35cced7087c4eeb64d12146d1ca7f6","datavalue":{"value":{"entity-type":"item","numeric-id":2775861,"id":"Q2775861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b6d5f0bb4949e1637dc186f3e98b64af42c1c1f","datavalue":{"value":{"amount":"+0.8360402584075928","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":"Q5111631$251F81DF-5871-4437-A533-6ACCADA1945E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8f90e5e088879ed480e77236ddab5b457056300","datavalue":{"value":{"entity-type":"item","numeric-id":2754109,"id":"Q2754109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d47622bdb4758e7b79f74eb13a353f14da5f23ea","datavalue":{"value":{"amount":"+0.8337804675102234","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":"Q5111631$F2C770E8-FB0F-4B52-943B-42B0BDD6A497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66fcb8f17e78da1ac15821817d47e995ca120f0","datavalue":{"value":{"entity-type":"item","numeric-id":1346650,"id":"Q1346650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f64e6782cf625c2b991f86322bb0474f4f084998","datavalue":{"value":{"amount":"+0.8235045075416565","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":"Q5111631$3ADFED28-1109-4E04-89EE-C28DB1C27D5A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111631","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111631"}}}}}