{"entities":{"Q2848141":{"pageid":2858861,"ns":120,"title":"Item:Q2848141","lastrevid":83861285,"modified":"2026-05-07T13:03:36Z","type":"item","id":"Q2848141","labels":{"en":{"language":"en","value":"Partial order reduction for verification of spatial properties of pi-calculus processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6211531"}},"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":"Q2848141$22823EFE-8257-40DE-BEC6-EF6ECC2BBD77","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"eab351c08e860024644cec8cf9c716a02a7a1a8f","datavalue":{"value":"1272.68217","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848141$1F383DCF-52CE-43C8-A2D0-CF643C5AA373","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"58c3f1040f095d35860e29a1e4ebbce287a0aa55","datavalue":{"value":{"entity-type":"item","numeric-id":436403,"id":"Q436403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848141$F1B374ED-21EA-40F6-9098-A530F36F2026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e3ed03c0e908613601fdd733dba97c4f4513b0a5","datavalue":{"value":{"entity-type":"item","numeric-id":238500,"id":"Q238500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2848141$B1DAE4EC-89E5-47B4-8149-3B2D6F79716D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"68e9606d4f4e53be9a37b58bd23167a8b2b94aea","datavalue":{"value":{"time":"+2013-09-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2848141$F16FE528-1176-47CC-B4B4-7A29F55FE515","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3fb66ba894986aad93b2afdb5726d82e1f8f49d0","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S157106610500160X","type":"string"},"datatype":"url"},"type":"statement","id":"Q2848141$5C0BF6A5-F647-474B-897F-22F13D9E7ACE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848141$D4F52CA0-FA81-44AC-B697-D7EE7A4F4DA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848141$2F4D9FFA-BD84-49CE-A87C-9CA22A75CE7D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"81f314cd90950c6fe273461e878860ba3e5f9275","datavalue":{"value":"6211531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2848141$B29AC215-0BDF-4D75-9ADD-7A0BFEC9AE3B","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":"Q2848141$A594A054-D3CF-478D-8E61-5715D1748801","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"852deac2daba144c407bc78c6048cb571095674a","datavalue":{"value":{"text":"Partial order reduction for verification of spatial properties of pi-calculus processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2848141$72F771D1-50E6-4EDA-BB6B-443161E8609B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e0932b50aee59f161724beff4c64a7afdc704f2","datavalue":{"value":{"entity-type":"item","numeric-id":5949489,"id":"Q5949489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"147314dea2865d4785579d076d6ccbbba5ce5dfe","datavalue":{"value":{"amount":"+0.7909979820251465","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":"Q2848141$87FE78E9-4DEE-4A15-AF31-3BEAC8DBD911","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9270db10b09298c8eff50b8ff5c8af28fb1cf46d","datavalue":{"value":{"entity-type":"item","numeric-id":4499200,"id":"Q4499200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3b028750636082c7f884525c29cd6e924179058","datavalue":{"value":{"amount":"+0.7794420719146729","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":"Q2848141$76D5C340-4551-4589-9DB4-04EEBBB23647","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4ab2a2800d318bfebe60af199e1e3bdd16617e0","datavalue":{"value":{"entity-type":"item","numeric-id":3176364,"id":"Q3176364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16fc50b6a2bc1221207c3c3cd94a7380070f7a9e","datavalue":{"value":{"amount":"+0.7782010436058044","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":"Q2848141$F3DDFED5-1E22-457D-A9CB-EF88E5131232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86562c958104bf722071c62758cd224a8594421f","datavalue":{"value":{"entity-type":"item","numeric-id":2848148,"id":"Q2848148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59eed2fc0c71d831da167febbae5517cb393fc8e","datavalue":{"value":{"amount":"+0.7766456604003906","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":"Q2848141$7C7C8F5E-2F5B-4D8B-BB34-DCB5BD566AD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10bf39d3a4c20a3eddb443195153bd56cfdf1033","datavalue":{"value":{"entity-type":"item","numeric-id":1910794,"id":"Q1910794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2301886c17e78f1a845b96919364d8f5798d2b28","datavalue":{"value":{"amount":"+0.7747393846511841","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":"Q2848141$9DA77069-DCB7-4966-AA6A-F4DC87A6154A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partial order reduction for verification of spatial properties of pi-calculus processes","badges":[]}}}}}