{"entities":{"Q7310294":{"pageid":31275460,"ns":120,"title":"Item:Q7310294","lastrevid":105090715,"modified":"2026-09-16T15:19:21Z","type":"item","id":"Q7310294","labels":{"en":{"language":"en","value":"Partial-order reduction is hard"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8236356"}},"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":"Q7310294$5538A159-0FF9-4BA7-9A1A-C5B61F28D500","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ddeeadc10ce9cfe6e37a3140affd5add0d4890a5","datavalue":{"value":{"text":"Partial-order reduction is hard","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7310294$EF678783-377D-4820-A809-33CF72C1B9E2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ec2a43f3543b4668489c730d47d9b4648b75407","datavalue":{"value":"10.4230/LIPICS.CONCUR.2025.22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310294$67459679-1030-45E5-8169-75DB2275527F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"457067989db508107c0918b11040f2ba084ea5ea","datavalue":{"value":{"entity-type":"item","numeric-id":209126,"id":"Q209126"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$6388DC2C-7D34-4AEE-AAA3-C8CB409E5D9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ebdbde1cb719959158510e02e98c88f996f70e2","datavalue":{"value":{"entity-type":"item","numeric-id":7310293,"id":"Q7310293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$D95EDAB1-7EEC-45C6-A71F-97917B55ED5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"775a644844a555d1fdaddfac8fec302da0d27d3f","datavalue":{"value":{"entity-type":"item","numeric-id":342706,"id":"Q342706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$98DAFF60-7893-404E-898F-2B6073C4D87F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d490a277979be2253fe548317caa03f890fc8363","datavalue":{"value":{"time":"+2026-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7310294$1B829D45-AAF8-4A7F-A583-3B090967F99D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310294$6ECC90E8-29BA-42D4-B028-47C14781AFF4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f27b8d8a6e18af51e26094be18f1d58717a3d309","datavalue":{"value":"8236356","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7310294$DC58A564-DBC3-41B6-B1A0-4F7EE1C2D993","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$C01734A5-2352-416E-A5AD-1FA0ED2742B9","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":"Q7310294$ABAA98D1-BC25-46C4-BC56-201B6CE06457","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dad7f066bbcf81c2d01d8832327aaf65e7e8bb0","datavalue":{"value":{"entity-type":"item","numeric-id":4640276,"id":"Q4640276"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$FB79D2B3-3CF7-4A38-85F2-4922AD63EAE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81d9eafab6582043cf461ebd28c2ebc90a324ba5","datavalue":{"value":{"entity-type":"item","numeric-id":832184,"id":"Q832184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$713E0589-B327-45D8-9F76-7A68F08FB326","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"406d4edc3f57044dcead0d8683c29dc41edbf877","datavalue":{"value":{"entity-type":"item","numeric-id":6132490,"id":"Q6132490"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$44A11E4E-D62D-4C3D-AD5B-997DF010DE0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efbee09ef696c04f6664d3cdb46907f554a070f6","datavalue":{"value":{"entity-type":"item","numeric-id":2050101,"id":"Q2050101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$41280ABB-AFF4-4979-8840-E4CB47894616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a08d329997fb17a47e1533d71dce0bf5bccf2f7a","datavalue":{"value":{"entity-type":"item","numeric-id":6851624,"id":"Q6851624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$67A9A9A2-D730-4A6A-BC6E-EBD394FD304B","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":"Q7310294$5B2BEAD7-848F-43CC-8455-5A4EC14F0477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de1505d9b33c312794d5990cceccb798d2ac92bb","datavalue":{"value":{"entity-type":"item","numeric-id":4037382,"id":"Q4037382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$2270DC3C-8F3D-4593-8057-CA2FFEEC5D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4364560f77d64a6013c9c2e23cec90d81194cf4","datavalue":{"value":{"entity-type":"item","numeric-id":6649454,"id":"Q6649454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$D722C041-CB50-4BA7-9956-AD5DB3E800DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7fa77b3485d49d26a209dc95589433f4b19d6eb3","datavalue":{"value":{"entity-type":"item","numeric-id":3636875,"id":"Q3636875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$EF4BA6D6-E248-44F9-BCAE-EDBAACD27993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"521bc4c633dbd0f1fb3b7a6cd36f636108239b35","datavalue":{"value":{"entity-type":"item","numeric-id":1200917,"id":"Q1200917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$236AA44B-1BE6-42A1-8F98-A93D0F3FFB4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2617c510f977990231b95065cd7245269088bd6f","datavalue":{"value":{"entity-type":"item","numeric-id":6535634,"id":"Q6535634"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$E9E8F9E6-7E13-42F0-8C7F-B4997457D177","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7131dac0d66d9f310e3fc8e728a43b6e8a0e805","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$9FF3789D-7E2B-48FB-8864-104331CF7E53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e22de5514f76232ebae1e6056974196aa707d8af","datavalue":{"value":{"entity-type":"item","numeric-id":5357723,"id":"Q5357723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7310294$11D9D0CB-8C08-48E1-9657-C3CE9CB65271","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":"Q7310294$61FED9BF-4D4E-4901-9C70-7C939A247B55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial-order reduction is hard","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial-order_reduction_is_hard"}}}}}