{"entities":{"Q3011888":{"pageid":3022612,"ns":120,"title":"Item:Q3011888","lastrevid":85718465,"modified":"2026-06-03T11:16:30Z","type":"item","id":"Q3011888","labels":{"en":{"language":"en","value":"Finding a witness path for non-liveness in free-choice nets"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5915072"}},"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":"Q3011888$A2E8DA95-3C31-4989-9F60-BF8C6749170A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1f9b81602af977a2d56e2179a78737364baed781","datavalue":{"value":{"text":"Finding a Witness Path for Non-liveness in Free-Choice Nets","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3011888$E6E743A5-55EC-4882-B259-7D4BC97CF126","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f3f2a1ca8154823b18aaf01e1a9f5d5ac66bb866","datavalue":{"value":"1330.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011888$FC0A852D-67D3-4BDF-81C8-1BDF2A5C1C9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21f3454a0ef4c848d783c1d08f12caf3357ba6f9","datavalue":{"value":"10.1007/978-3-642-21834-7_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011888$C6CCDBF4-C6E1-4A45-A743-B634B695A996","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c4fe8e1d078b2f0527d73ee9b65fa61d7f07395c","datavalue":{"value":{"entity-type":"item","numeric-id":927094,"id":"Q927094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011888$F8D65838-FBB2-45A4-9561-E68B6356B6AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9c7fd26f0a57298ac83aef18f4ab12131e73dd8d","datavalue":{"value":{"entity-type":"item","numeric-id":1972350,"id":"Q1972350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011888$6E3ACBFF-5033-4BAF-9EF3-F54CA3811806","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7fed0ee404adfbd97dd01b078802384497e926f4","datavalue":{"value":{"entity-type":"item","numeric-id":3011877,"id":"Q3011877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011888$9E7BDD9A-C5CF-48EB-B11C-B4CD200B9490","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3e323d5dc83c5ce4ed3e0af07b46a799837473bd","datavalue":{"value":{"time":"+2011-06-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3011888$606B5657-30FF-466C-8A9F-6F4EA6168A1A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011888$03379602-CE0B-42AF-860A-4CA7C102E7EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a834c9fe4647e984dc041ec06f9a2b7be5cdd6f1","datavalue":{"value":"5915072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011888$860B6F5A-8FD9-4820-99E0-084A9223A891","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4469fef9eccc45873e24e8d4f73948d8015dd53c","datavalue":{"value":"Petri net","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011888$6DE6EF6B-4AE0-4B73-B46E-578B7946D200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cd23b0d9e62887be9c5f82c225f8c646ff5e3cf","datavalue":{"value":"free-choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011888$C23B99C2-6015-4795-B7A9-FF6EBD30B610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4bd2387b6e1ca720226cd64e8dddaaf490a8591","datavalue":{"value":"siphon","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011888$735F0C8D-4D74-48BC-A183-F5A0E2F7A7EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce372077d2c7fff6e0ca160d894c810bdd5d15b1","datavalue":{"value":"trap","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011888$24BDBDD0-B92B-4E75-B540-AA92D11F7576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0ab7c8f5552dc8e70b9d1a60127dad174506fd1","datavalue":{"value":"commoner-hack","type":"string"},"datatype":"string"},"type":"statement","id":"Q3011888$46ABC9D4-6849-40F2-9991-4FD47F484913","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":"Q3011888$EC561BCE-F4AB-4738-9E38-23295D56B5EA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e528e5625c73a36b580f9699af1cbbf383232a19","datavalue":{"value":"https://doi.org/10.1007/978-3-642-21834-7_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q3011888$7991F68F-31A7-4B68-9391-D8EE33F600C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92fed796188d4d07c6361d0cc1454807aea6c947","datavalue":{"value":"W65174931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3011888$76DC7871-7BD1-48A9-9D20-6E7889A3288C","rank":"normal"}],"P223":[{"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":"Q3011888$C10A30DF-404C-497C-B92C-AE76316FFD9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"990393bd70b90fd085a53f98d66454d70d95783b","datavalue":{"value":{"entity-type":"item","numeric-id":1238999,"id":"Q1238999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011888$60DC1088-0FA6-4CA0-9A08-3E31C34E3033","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":"Q3011888$1A4FC1FE-7C23-4537-AE8F-27CE0E783202","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c16932bbfeea8ec33ad70f0a2658fe162ed5cde","datavalue":{"value":{"entity-type":"item","numeric-id":3677184,"id":"Q3677184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011888$8770C891-264C-4278-8445-7F3B044FC049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62294676952167a37b8b6558085adf6375aa4281","datavalue":{"value":{"entity-type":"item","numeric-id":3569871,"id":"Q3569871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011888$33E21EEC-753C-4D80-97B8-DE02C93C97AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a75f4b0ab9f96391cc3e18a0ed34df7e6302731","datavalue":{"value":{"entity-type":"item","numeric-id":3521157,"id":"Q3521157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011888$5C5DC860-9A42-4E14-B457-DF3D52CCF927","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de9ea6a62d506f404642dd7e3bdebdfa5e0fc0e","datavalue":{"value":{"entity-type":"item","numeric-id":5892497,"id":"Q5892497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3011888$43CBCBBF-B6EA-484D-A820-6E8860B3524B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6db1f03c063783134d90a60b0427bff1f9309e2","datavalue":{"value":{"entity-type":"item","numeric-id":3746895,"id":"Q3746895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3ae52ac7b09b8233a94657a951cf5e75db26b0b","datavalue":{"value":{"amount":"+0.7635019421577454","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":"Q3011888$844432F1-EA59-49B3-A1E4-371E89C2DA30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b067c6a36402f13bf69128c9a0cf0892cbf9d144","datavalue":{"value":{"entity-type":"item","numeric-id":4633154,"id":"Q4633154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f1db8809c6155c3fe11a770e6a8285dddca83ff","datavalue":{"value":{"amount":"+0.7460243105888367","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":"Q3011888$CF55EF26-DC87-40B9-9177-A6CBFD0FDC0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf331c78587d646e644c37e70a598d952894cd33","datavalue":{"value":{"entity-type":"item","numeric-id":2032911,"id":"Q2032911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c2edd5c7c216f32433efe22fb191245c0b571c08","datavalue":{"value":{"amount":"+0.7388036251068115","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":"Q3011888$3C0CD635-B3C0-4297-A06B-EDF8D1EC545D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"34d612e25b25d5b26dd0ad1c905f2b1609c45dea","datavalue":{"value":{"entity-type":"item","numeric-id":2665360,"id":"Q2665360"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a28e990e26839b4160ea7cb57f4adc47b49cce7","datavalue":{"value":{"amount":"+0.7342281341552734","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":"Q3011888$8B1F11D9-6936-4FDA-A00F-6B66E6704FAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e59ed5855629d4508779f511da6a4d4e3b79fe1","datavalue":{"value":{"entity-type":"item","numeric-id":2747757,"id":"Q2747757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7742b546e233233feba7b9c5711dd2d02e96978","datavalue":{"value":{"amount":"+0.7271869778633118","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":"Q3011888$B546D49B-BE7F-44A2-8D9D-4D075FB71936","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finding a witness path for non-liveness in free-choice nets","badges":[]}}}}}