{"entities":{"Q1898467":{"pageid":1909209,"ns":120,"title":"Item:Q1898467","lastrevid":71730393,"modified":"2026-04-14T00:10:18Z","type":"item","id":"Q1898467","labels":{"en":{"language":"en","value":"Testing equivalence for mobile processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 797309"}},"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":"Q1898467$8B6DBD99-AB7B-49FB-AE7D-9C34DE3A3DE1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4d766dbbde8b38089cb33f54d1f5099d4752b721","datavalue":{"value":{"text":"Testing equivalence for mobile processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1898467$E16AA1C2-4EF2-4E6C-A5A2-1ED6C39DA0AF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"72940c6733981aa4d6d1f70faa5cd42c327d1a97","datavalue":{"value":"0835.68073","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898467$2F9B6BD4-AAAD-4184-9756-D38A91FBC1CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e18224bff5766368d67ddcb517cf22b6a4ff445","datavalue":{"value":{"entity-type":"item","numeric-id":418132,"id":"Q418132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898467$3C5A98D7-5340-4DD8-9CA2-500C223E97EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"467355300579464725662c12a473c283bc71860e","datavalue":{"value":{"entity-type":"item","numeric-id":384931,"id":"Q384931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898467$62676084-2725-4682-A055-CA1848CC4F50","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1898467$99BD871C-1E92-4B9F-99A0-4897EC582E64","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fba2dd58e42992f1fb33fdbdb4db4f8863a4114","datavalue":{"value":{"time":"+1995-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1898467$26EDD45A-3E3E-4907-8DBE-16219D695620","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898467$C16857BD-CC87-44B8-A13A-48D8651ACB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898467$4AA69919-145C-4595-84B6-13EEA3F9F92B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"30e8591a13b0d8044b078b63a16d1330c78f1eee","datavalue":{"value":"797309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898467$E06A6721-8FF4-4D33-A66E-B6883F00F1CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ae395d07c0cbb6688769c2b5ef9101b8fd31880","datavalue":{"value":"process algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898467$145C173A-4561-421C-A6E0-376D8B8FD5F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"860734742dff1ad617a7c8b437c7fc1003e7565d","datavalue":{"value":"distributed concurrent systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1898467$B8ADB667-436D-4631-9B3A-7BA547CAA3D4","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":"Q1898467$25B695B7-300A-4C5E-B701-8DF86B533389","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c340a9b9fde514d07f7e0f4807b8a552781525a9","datavalue":{"value":"https://doi.org/10.1006/inco.1995.1114","type":"string"},"datatype":"url"},"type":"statement","id":"Q1898467$54C60D74-C3DB-462B-95D0-F8A8C0C601F1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08576da2d49f2aa187350ed4b91650098071b20f","datavalue":{"value":"W1988856107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898467$F7C2FBE0-8C4D-4782-BC4A-037FA1219FC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccb5dd427d3f89a7300ba60c21ea2a02195d54d6","datavalue":{"value":"10.1006/INCO.1995.1114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1898467$71B48367-B232-471E-861F-5AEF161BC717","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81ff7f27c217304396ac268c4f3f646f59170b52","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5a864ef02b5f54fc4924e65de943a74e539dbd3","datavalue":{"value":{"amount":"+0.8365902900695801","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":"Q1898467$E025C95B-C93C-4D60-AFC7-B0CF7AAED458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"676e800f22f1aaec3d2eca41abbc302f3c79b18a","datavalue":{"value":{"entity-type":"item","numeric-id":5850754,"id":"Q5850754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bea8e776e94f5e2cdbc6640e3069083dbcdcbd1","datavalue":{"value":{"amount":"+0.8015896677970886","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":"Q1898467$7376E88D-37D4-4E93-8828-DF51CE86D8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3709aed1b926ab9fdc65df5a29d7302200f6d270","datavalue":{"value":{"entity-type":"item","numeric-id":1599646,"id":"Q1599646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d04f431b48feec2b33ddd1bf9e676152bbfeaaf","datavalue":{"value":{"amount":"+0.7949097752571106","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":"Q1898467$CD25997C-E6AF-4FF3-A4DF-7615018F58EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7c83cd37235ed39f4f4bde2119fddf147082822","datavalue":{"value":{"entity-type":"item","numeric-id":580961,"id":"Q580961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cbfad3b0e5013361f2e2b4f142d029965ebd206","datavalue":{"value":{"amount":"+0.7759522795677185","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":"Q1898467$52AEC8F7-9089-4928-A17A-0310B4B75022","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63b48ca97b2111859d731c94ba112c6af16ccf2a","datavalue":{"value":{"entity-type":"item","numeric-id":5151036,"id":"Q5151036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"37c80fbd91d79f56942fe4dd7b5392dbb687e7cb","datavalue":{"value":{"amount":"+0.7756636738777161","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":"Q1898467$38899520-9EB4-4B6F-93FE-8D9AB8C4C4DD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing equivalence for mobile processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_equivalence_for_mobile_processes"}}}}}