{"entities":{"Q5875384":{"pageid":7904935,"ns":120,"title":"Item:Q5875384","lastrevid":55434649,"modified":"2026-02-17T16:19:08Z","type":"item","id":"Q5875384","labels":{"en":{"language":"en","value":"Partial order reduction for reachability games"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7649931"}},"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":"Q5875384$9B413E6A-F187-4858-8A84-7ECA06C4E9AC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3d2719cf15a5332bdbf0619fbb0d90e68728953b","datavalue":{"value":{"entity-type":"item","numeric-id":832026,"id":"Q832026"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$22F339FA-8C47-438D-9994-B112D54334CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2df95935df03df31d922a94adcaf961a4ef2c34b","datavalue":{"value":{"entity-type":"item","numeric-id":832028,"id":"Q832028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$A7E3C396-D265-41BB-AC35-91133522E00F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c2dcd7be7baee2e36f03a03258eb2168c5e33821","datavalue":{"value":{"entity-type":"item","numeric-id":1675811,"id":"Q1675811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$65E39C7B-F217-4C50-8F29-6156177210C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ac8acc0ee38d6ade72f0d112f1c054cc98c3505","datavalue":{"value":{"entity-type":"item","numeric-id":808272,"id":"Q808272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$8AD1255C-7BBE-4015-8D72-EDFF79A03483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"115241a544f99ad7a30e923fe7cd2e43b86b4105","datavalue":{"value":{"entity-type":"item","numeric-id":444489,"id":"Q444489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$BDC49B0D-192E-46E1-837E-A00CE91F4D2E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5875384$904C9906-2679-4DE5-A128-AC99EAA7FEDC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875384$A294AA82-ED0E-43F9-8841-A1E250AB3299","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"37edcd1751257883f8c474c92d7a420f4d9a70a5","datavalue":{"value":"7649931","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875384$41FD2208-8B0F-4C12-B652-4B54DDD0F35E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01a2e30b6f10c98d548518426a25a350ad19ecc5","datavalue":{"value":"Petri nets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875384$289D9CB4-9F7B-4510-ACC8-0D6D851AAEBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dc9a47c8de051a880f2e514b2df8fca32ac201f","datavalue":{"value":"games","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875384$29F5957F-08B9-4263-BC38-349786A2D1F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875384$60346FEA-FBCA-4CD7-93B7-7FFBB5843DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875384$777A7DAE-DE0A-4E5B-B5A6-BF56482367DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f19fe9e377e8d6b1ee639b4794c9951e1b722e60","datavalue":{"value":"stubborn sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q5875384$4A706717-138E-46F8-87DF-58B4466BB997","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec4b83e167fb901bddaf66776abfde5fc423d41f","datavalue":{"value":{"entity-type":"item","numeric-id":13691,"id":"Q13691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$A13E3C19-2E85-48B1-9235-6D33F06F89CF","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":"Q5875384$0FCD57B8-C804-49F2-AAD1-157CF47ACDB8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58a8e4005fc189624ff98d2641dbe2be3d182dad","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CONCUR.2019.23","type":"string"},"datatype":"url"},"type":"statement","id":"Q5875384$6C0C36E9-ADC4-444E-A174-0CEFA784ABA7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cb9585fc002f481c5ca1497e168fea937486afc5","datavalue":{"value":"W2970425440","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875384$712C5703-D44B-4A80-9769-667FB9226DF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7aed5459a2e15378fd85cd2a4c91631487076ae7","datavalue":{"value":{"text":"Partial order reduction for reachability games","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5875384$68057D9A-DA60-46D6-A72D-B20F2F0DF361","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"29752f587d8d4419b0f6d3de9ae6730bff6e978f","datavalue":{"value":{"entity-type":"item","numeric-id":5915899,"id":"Q5915899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$FD884EA9-CAE3-4241-B407-C4ECA37691A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba5add0d9c8604b274878556281431b8d8b772f","datavalue":{"value":{"entity-type":"item","numeric-id":2914363,"id":"Q2914363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$B2F3DFF0-6D71-4FB0-B8C9-E39CF23824D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87fc9a7df3280f3f9b0fea2a810058f4edbdaad","datavalue":{"value":{"entity-type":"item","numeric-id":6041133,"id":"Q6041133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$2F8B8FE1-C1B5-42DD-B55D-572C4B756CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15827da145092d5cd8fd02d7c7931013d613dcf6","datavalue":{"value":{"entity-type":"item","numeric-id":4686522,"id":"Q4686522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$2AA558F5-1357-471D-9044-8383CF4FD450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077765893fb070860b21513f2fa8e7755a88ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":2894293,"id":"Q2894293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$D6F78151-9694-477D-9940-07D7011A21CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec0916abf86beb0d039a2fec6e690f65697f6b18","datavalue":{"value":{"entity-type":"item","numeric-id":4247290,"id":"Q4247290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$22F1885A-A713-49CB-B525-28FDA6351565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1adada7174464e4451273f4a4c004695b83fe7e2","datavalue":{"value":{"entity-type":"item","numeric-id":1675812,"id":"Q1675812"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$FE786997-3D2F-4739-B1CA-48584A8E447A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9bebfb80aade0c0beb5ff867851e561a0d28ac4","datavalue":{"value":{"entity-type":"item","numeric-id":2814624,"id":"Q2814624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$203334BF-61CD-440F-9651-A330E51FBBCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a79576758bdf918203be49354d531f3b5cd3544","datavalue":{"value":{"entity-type":"item","numeric-id":2908210,"id":"Q2908210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$F6B3D616-5DD2-4692-B404-C434BC8FB12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b74daea4d87f7d8c7894a5865f1f8c093377f46c","datavalue":{"value":{"entity-type":"item","numeric-id":6044105,"id":"Q6044105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$51260B0D-A97E-4DE1-B552-5A14A80914C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fdb8e4a2fdf5458b7800cfcdabf92018c2fe43","datavalue":{"value":{"entity-type":"item","numeric-id":685106,"id":"Q685106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$0447C6C7-BF0B-4236-A6E5-9CC9F4AAD942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27d4c65730bb3378dea2f140baafebfbe7e326c6","datavalue":{"value":{"entity-type":"item","numeric-id":4994076,"id":"Q4994076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5875384$601AB587-1CB0-4158-A36F-1E2A2E5F3F0B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"80dbbdb28083429e047096ebd5a60524e2420edb","datavalue":{"value":"10.4230/LIPICS.CONCUR.2019.23","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5875384$8100455E-047E-43F6-B1B5-653333E277E0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b3dc7815f007b9b07b3c2bab1404203791d0f5f5","datavalue":{"value":{"entity-type":"item","numeric-id":5856425,"id":"Q5856425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81b791fed1221699e1bf0b739668e8aecdc03bf3","datavalue":{"value":{"amount":"+0.96548330783844","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":"Q5875384$7DA8D6D6-9FE8-4361-9E26-EC990ABC71E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1285e920724582a7831270c8188eccb89f53a89","datavalue":{"value":{"entity-type":"item","numeric-id":1633343,"id":"Q1633343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922149ccf034dffcf67937648daee1566af46890","datavalue":{"value":{"amount":"+0.8175498247146606","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":"Q5875384$BF74EBAC-29DD-49EC-B9D3-91E6C37A58B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f6f7a3378cf3ed13a3c53f58f67e6e772e63315","datavalue":{"value":{"entity-type":"item","numeric-id":5164176,"id":"Q5164176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"471055a4092ebb3385938831c700c8696064ca04","datavalue":{"value":{"amount":"+0.8087048530578613","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":"Q5875384$9AAD3E42-AD79-450A-AFE4-37AC3F83CC79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbab99c8536286d098e12eb913a4c5e00e6a0aac","datavalue":{"value":{"entity-type":"item","numeric-id":3003356,"id":"Q3003356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f698efd77464fd2d26ac7d0ba8c5305fb6103ab5","datavalue":{"value":{"amount":"+0.7903758883476257","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":"Q5875384$2958D787-4F00-45E2-AA9B-8A7644B464B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d4cc3b957fee28e812a6d90197c8aae0f3811c2","datavalue":{"value":{"entity-type":"item","numeric-id":4503926,"id":"Q4503926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a28f4e1186302bfc7b2dc9759662f2ae9e171a8f","datavalue":{"value":{"amount":"+0.7691126465797424","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":"Q5875384$D0E0E444-ACBF-45FC-A87B-4F024C376627","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5875384","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5875384"}}}}}