{"entities":{"Q7361937":{"pageid":31521350,"ns":120,"title":"Item:Q7361937","lastrevid":105370520,"modified":"2026-10-07T13:39:10Z","type":"item","id":"Q7361937","labels":{"en":{"language":"en","value":"Partial Order Reduction"}},"descriptions":{"en":{"language":"en","value":"AFP entry Partial_Order_Reduction"}},"aliases":{},"claims":{"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56c284523763a75f3bc11d4b0f628bf7573ed51c","datavalue":{"value":"https://isa-afp.org/entries/Partial_Order_Reduction.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q7361937$7CACE6AA-C59F-4CD5-9154-65C0D7DEEB0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e0db8ec9d38e6d67bc3486bdc04d499c4b9f9925","datavalue":{"value":{"time":"+2018-06-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":"Q7361937$46DDBC5C-345D-4A22-AFD0-FBC3CCAA4842","rank":"normal"}],"P43":[{"mainsnak":{"snaktype":"value","property":"P43","hash":"858e1b98f2a2702d86b0690e1e15aa540fc68e16","datavalue":{"value":"Julian Brunner","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361937$C0064928-17BF-4313-97BE-9DCDCE420C22","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ec36d7c28ca6f771f7610ac07b16c9f750d57e9","datavalue":{"value":{"text":"Partial Order Reduction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7361937$AC81BC54-AD46-45D2-A1D4-CA573B8AF2BF","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"416b9ffbac813ecbaab6e91afd0708d5a5f84955","datavalue":{"value":"This entry provides a formalization of the abstract theory of ample set partial order reduction. The formalization includes transition systems with actions, trace theory, as well as basics on finite, infinite, and lazy sequences. We also provide a basic framework for static analysis on concurrent systems with respect to the ample set condition.","type":"string"},"datatype":"string"},"type":"statement","id":"Q7361937$AC0801AC-6EED-4C7B-832B-10A08541DEDD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"747cc4de9ba2a5f1b34ac1e3a64be5300b4f97a7","datavalue":{"value":{"entity-type":"item","numeric-id":960506,"id":"Q960506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361937$3842A944-5947-4FA7-A26B-A3C2DDFB54BD","rank":"normal"}],"P37":[{"mainsnak":{"snaktype":"value","property":"P37","hash":"9a21a8eebe97539644aa32b24dda137c12e751dc","datavalue":{"value":{"entity-type":"item","numeric-id":40327,"id":"Q40327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361937$9C5CDEB6-98A9-482F-BD9A-FBB0CDF87F1F","rank":"normal"}],"P585":[{"mainsnak":{"snaktype":"value","property":"P585","hash":"c9d73c02403c0af647a73b8da7299dbef78ebf0b","datavalue":{"value":{"entity-type":"item","numeric-id":7361764,"id":"Q7361764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361937$8A2FC81C-0A3F-4E2D-A7B1-7CCEEF56ACE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"e311985e283a0fa73130406ac266a6c4f80c0424","datavalue":{"value":{"entity-type":"item","numeric-id":7361873,"id":"Q7361873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361937$14C39BBE-026A-4C1A-B0B8-826E9F1D4823","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P585","hash":"4571af89e2882a45bee5f9e442723910fbf0c144","datavalue":{"value":{"entity-type":"item","numeric-id":7361382,"id":"Q7361382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361937$C30E2153-7B5F-457A-AF65-FAF788E8AA29","rank":"normal"}],"P2651":[{"mainsnak":{"snaktype":"value","property":"P2651","hash":"73d93a21b0749f7f2c51d7daeb11b162660cd756","datavalue":{"value":{"entity-type":"item","numeric-id":7360784,"id":"Q7360784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361937$4B73A0A7-BA41-4195-A488-FE22017A3522","rank":"normal"}],"P1460":[{"mainsnak":{"snaktype":"value","property":"P1460","hash":"908c3454b3659c4b140ccce33c5aee31081edc8d","datavalue":{"value":{"entity-type":"item","numeric-id":5976450,"id":"Q5976450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7361937$638B46E6-C428-41E7-8895-1AC7A99AB315","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial Order Reduction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partial_Order_Reduction"}}}}}