{"entities":{"Q1599646":{"pageid":1610386,"ns":120,"title":"Item:Q1599646","lastrevid":74070048,"modified":"2026-04-14T18:15:21Z","type":"item","id":"Q1599646","labels":{"en":{"language":"en","value":"Testing congruence for mobile processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1750654"}},"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":"Q1599646$20C7EEA5-B38A-40A2-AA14-AD4B764F1B4F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"178a464bec3500ef72bef68b830caf7869f62d9f","datavalue":{"value":{"text":"Testing congruence for mobile processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1599646$4EF81FC8-6641-4C06-848C-8711589522BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c7130c2e6faa6b2cfe24b473a0d179900cc7be91","datavalue":{"value":"1004.68118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599646$E5181AF2-6C45-49E1-A114-FAEBB8EC9FBC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f66930c662828e76e8e54cf7b8d13534cee94d52","datavalue":{"value":"10.1007/BF02949827","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599646$14B08ADF-E8DC-4701-B588-98624AA55393","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"43ee9c8fb92d9851f57f12d6328abed8c2669ffd","datavalue":{"value":{"entity-type":"item","numeric-id":182339,"id":"Q182339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$377C6A9D-35D4-4438-87F5-E38A3A496DDC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4c3c57bd2a24956e0520aebbb172d094d92623f1","datavalue":{"value":{"entity-type":"item","numeric-id":182337,"id":"Q182337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$65EAA160-3B4A-4AD2-8A89-B9D0786B8944","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b54cc2f1055a0616f15b5adead10e7da2c569b9d","datavalue":{"value":{"time":"+2003-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1599646$E26D0D84-F384-4920-B870-E1D48ED5613C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599646$A4B75654-56A1-4721-928C-ACAF5C4C487F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"374e0868ec9ecafb5cb4063b5cd29e0a52791a0f","datavalue":{"value":"1750654","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599646$FCDE809A-D3BD-4D6B-8307-FF0F66CD9162","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87c2e88f1ff3493066f8b573f5861a8c1effa7d8","datavalue":{"value":"process calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599646$B854767A-551D-432A-A741-B6F0413E0526","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1694c611d5c91a49ba3df7c8122eb33de6a3096b","datavalue":{"value":"\\(\\pi\\) processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q1599646$F71B9472-087B-48BF-8684-C5EF9CB826F2","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":"Q1599646$CCF66A2A-E5CD-41E4-9CEF-22EB7317B57D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0daef8d517dc4a268220e86d71133cde1525d9a","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$C2B6F4D0-8C6A-4C51-84EC-481FA9E79B2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$BC83B4BC-A842-4918-B691-B271D27D19FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b6550617c8b4e44a95b3e25aaed285a29a5bae6","datavalue":{"value":{"entity-type":"item","numeric-id":4369920,"id":"Q4369920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$CBC67D8C-E809-4343-AFB7-DBFAF6DB3F9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad2b69b673372da9a4630e03aecd124942a7f30","datavalue":{"value":{"entity-type":"item","numeric-id":1960530,"id":"Q1960530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$C411D257-C8BA-4341-AE01-C164AD1AE296","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"899172da4877811aeeb828a35e9a9664faa7a2fa","datavalue":{"value":{"entity-type":"item","numeric-id":4270066,"id":"Q4270066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$1157F7C1-2799-4337-AE74-3D537B1D13AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ce28bdd6fde7df4e986f2d55d7a684a422109cf","datavalue":{"value":{"entity-type":"item","numeric-id":4536631,"id":"Q4536631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$7C269EFB-5567-4384-80CB-2E6F5ADB3A2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6663f950e16e5db7534864e6f896f18eab766b0d","datavalue":{"value":{"entity-type":"item","numeric-id":4472461,"id":"Q4472461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$97462F92-CEAF-4EDE-A328-1CEBA512B880","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40072e6975582b3863aaff2391bb7dac9c1aa38e","datavalue":{"value":{"entity-type":"item","numeric-id":3997501,"id":"Q3997501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$A9A8440B-5876-418F-BBE9-5DB0803C97D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86ccba58fd321cc33f9e40a7cc290be4560671d3","datavalue":{"value":{"entity-type":"item","numeric-id":674194,"id":"Q674194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$BFA722DE-BFD2-4DCA-A9D6-DE24634789DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668d4f42d16e3c68cea406be368e7edeb30ca51e","datavalue":{"value":{"entity-type":"item","numeric-id":1198548,"id":"Q1198548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$16523F7E-07C3-4B36-9EF2-87583902ADAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a30eebd202e1d23be9819f5cc5a73c6f27b7e94c","datavalue":{"value":{"entity-type":"item","numeric-id":1898459,"id":"Q1898459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1599646$A010D3BD-A3CE-4484-9E97-1BC5352CEA8C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d8639d872f9fc7208e5626deebb8ded4afc6ce71","datavalue":{"value":"https://doi.org/10.1007/bf02949827","type":"string"},"datatype":"url"},"type":"statement","id":"Q1599646$7EF1D2C0-7331-4D00-A896-020568AF8439","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7a702def2700f65653f457a9ff28cc3b513b4d08","datavalue":{"value":"W1486166401","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1599646$2E34AC66-83D8-45BF-8AFD-A344C9DD4593","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fcce62d4827410d7078cb1a4fb62787d8cd22cf","datavalue":{"value":{"entity-type":"item","numeric-id":1898467,"id":"Q1898467"},"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":"Q1599646$C89AB6F8-F591-4838-BFA5-79B0F562CE8B","rank":"normal"},{"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":"61f8bfc3b559a098123e51a1a589917e0203bafc","datavalue":{"value":{"amount":"+0.7662391066551208","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":"Q1599646$E8D9B92C-2D39-4A93-8059-1EA95290C649","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b8ad121243449a27012fb5095c971ef1db78325f","datavalue":{"value":{"entity-type":"item","numeric-id":2182664,"id":"Q2182664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31641a174ef95e465f0db0ce484d20920a9fe934","datavalue":{"value":{"amount":"+0.7417808175086975","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":"Q1599646$3DD4B373-C96C-44B4-8CBB-71E6C05125E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e801cbfed692536ad3a291e1df11a86377d37b11","datavalue":{"value":{"entity-type":"item","numeric-id":3725532,"id":"Q3725532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb799496082692164af010ecbc39b629fae26694","datavalue":{"value":{"amount":"+0.7375280261039734","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":"Q1599646$206E294A-1388-4C55-80D6-E3B14E8D3AC6","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":"3fac470038c1a47d77c0c76079160814442fe9b7","datavalue":{"value":{"amount":"+0.7373549342155457","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":"Q1599646$BDD596BB-FA26-41F6-82A2-AD11AEC7054B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Testing congruence for mobile processes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Testing_congruence_for_mobile_processes"}}}}}