{"entities":{"Q5357723":{"pageid":7387297,"ns":120,"title":"Item:Q5357723","lastrevid":92191775,"modified":"2026-06-05T01:06:07Z","type":"item","id":"Q5357723","labels":{"en":{"language":"en","value":"Unfolding-based partial order reduction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6774230"}},"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":"Q5357723$0F66E779-D280-4C5F-B501-5203BF687402","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ba42e1d7b2ca87b8768a4612e724f481fd5897c","datavalue":{"value":"1374.68342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357723$726090C7-4028-41DA-B962-E0E559CA085A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a7e74fc81033469e57e8f9cf85ff29248af5638","datavalue":{"value":{"entity-type":"item","numeric-id":443728,"id":"Q443728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357723$5655EEB9-E6F9-48AC-972E-B985AA6B613C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bef44dafec6f82615af74b473f9d6a0d3d6c1f57","datavalue":{"value":{"entity-type":"item","numeric-id":666031,"id":"Q666031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357723$B30C1DC1-38A1-4C58-B02B-23B01EC07658","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"040604660a63a682627443b4aaefc8f3b655e258","datavalue":{"value":{"entity-type":"item","numeric-id":2024364,"id":"Q2024364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357723$1A1C78F6-018A-4887-B8D9-DB4D3C2FC389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5357723$FAFD72F2-745B-4860-8D47-C74182BB237F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ad555d9b3498665ac23079c56e62858eae3f6918","datavalue":{"value":{"time":"+2017-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5357723$482300F7-8EFD-4FC2-948B-F42766813F45","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"86641974800cc97d31dae62c906cdad137a9132c","datavalue":{"value":"https://arxiv.org/abs/1507.00980","type":"string"},"datatype":"url"},"type":"statement","id":"Q5357723$51B5CE8D-4D6A-43E1-BEFC-EC12F8ACCCB0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357723$B2A809C4-F26C-4506-B324-2BD5ACA7A8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357723$CB85D17F-01B8-4FF8-BF83-2D429CE2E932","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c72daa32f1137a49a79e74871508caf825b9fa9","datavalue":{"value":"6774230","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357723$EDEE675B-B9DB-4390-90B2-693C1F089A18","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357723$377D0B79-0D0A-47DD-B754-5047F935C1ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07e99e7043f8ca48e55c1cdb65dd465ca49e053f","datavalue":{"value":"unfoldings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357723$69BE4043-820B-41D1-8D53-37EC68239EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357723$9DEEB2F8-7A28-4BF0-9432-D599D7F2B885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5357723$89DB03C4-63EB-4833-89F0-F64CF58121AE","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":"Q5357723$E86F5110-5B62-490E-9EA1-7BC4542E2314","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0ab5f73595703f0a57ed264e5de9746445513ca2","datavalue":{"value":"W2964156448","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357723$1791CC0C-5DAD-401D-BEE8-6ACDB8540B00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ab92f40b3c8830aba531da81b0b3333d38a7d7a6","datavalue":{"value":{"text":"Unfolding-based Partial Order Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5357723$F444B806-2FD7-49C4-BD4B-0FDB4F1B1802","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4a6c3f65c381492577a41d27957461f86771f5a6","datavalue":{"value":"10.4230/LIPICS.CONCUR.2015.456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5357723$C0185F3F-8BDC-4462-8705-887A1FA2DF77","rank":"normal"}],"P1643":[{"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":"621ae20bcc5f87b5ac914d8109ceecc6341b9111","datavalue":{"value":{"amount":"+0.7907503247261047","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":"Q5357723$0444CEF6-1E00-4F2F-BBCA-516245E7A590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c954ca3ed50aeb452b4597897181996d522cdcf","datavalue":{"value":{"entity-type":"item","numeric-id":3648689,"id":"Q3648689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ac4a8797e9c0aefe515232105cc891c50fec14","datavalue":{"value":{"amount":"+0.7906355857849121","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":"Q5357723$CD6C32F2-AF51-4B32-9F22-06A9D747795C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64b55563d387a0ab7365d7350d6089c495ab5b2d","datavalue":{"value":{"entity-type":"item","numeric-id":4791271,"id":"Q4791271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc6ac534641efdc36f22a8259968d27f551b4094","datavalue":{"value":{"amount":"+0.7858294248580933","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":"Q5357723$8D8F2557-431C-47D6-BE6B-CD72E1C42B92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8f766ba683f784b16376028708eddb08ae91e1e","datavalue":{"value":{"entity-type":"item","numeric-id":2050101,"id":"Q2050101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1968ccc74da4cbf4d730000ec64036be1e2efefc","datavalue":{"value":{"amount":"+0.7849865555763245","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":"Q5357723$33623D14-6360-4764-B824-77E2DB74D83C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff8eebe83a285a552217b0790a2a806b29d6192c","datavalue":{"value":{"entity-type":"item","numeric-id":6043165,"id":"Q6043165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0dc88917b406366b70a56cbbc51a3e507d647fbd","datavalue":{"value":{"amount":"+0.7846787571907043","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":"Q5357723$AD457726-0012-47FF-90C3-A5BA68936A47","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Unfolding-based partial order reduction","badges":[]}}}}}