{"entities":{"Q3585056":{"pageid":5614960,"ns":120,"title":"Item:Q3585056","lastrevid":51066338,"modified":"2026-01-16T11:44:18Z","type":"item","id":"Q3585056","labels":{"en":{"language":"en","value":"Characterizing locality (encapsulation) with bisimulation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5776722"}},"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":"Q3585056$94F9ABBB-72EA-400A-A6AF-802AEDF6CB3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"747311d6adc4eade072616cfbb00c2c3a5a65976","datavalue":{"value":{"text":"Characterizing Locality (Encapsulation) with Bisimulation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3585056$4D38F920-AFC9-489A-BBF7-3530FD9C579C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7bda99c192e8b917830c70547642e44f3eb26da5","datavalue":{"value":"1286.68309","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585056$63DF1E2E-CCF1-4A1C-B380-9E801E9E50D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc47f1ae4e68ca899637b3a15cd24c8b7f7ce201","datavalue":{"value":"10.1007/978-3-642-14808-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585056$6AB3D96D-60FF-417A-965D-BD97EC324C7F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d361cd9268293c29924e15f6199d570f0f070511","datavalue":{"value":{"entity-type":"item","numeric-id":526729,"id":"Q526729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585056$B0658454-8354-456D-B51B-32B971B0DD98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"57b70ccda10eee0149f281c226dd8d9cc2ff73c3","datavalue":{"value":{"entity-type":"item","numeric-id":673999,"id":"Q673999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585056$324624AC-6052-4386-9900-190D528D358E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3585056$4E473190-9A24-4884-AC4D-800A6A6B353C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb30be9aa52453b28e16b3393b2ab68c6420e54e","datavalue":{"value":{"time":"+2010-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3585056$7B2140E9-0972-44AF-85B1-7E3A274402E7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585056$A04AF473-69ED-46DB-BC2B-BB033164666C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585056$AAFE39EB-3BB1-4F44-B7DC-8C08A936893B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cf22288fbad2ad5c11eb7dd9be6665047c89bbf1","datavalue":{"value":"5776722","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585056$EAF8941A-0BB9-4923-BC03-34445BA0781D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ddd745fe9bab1983b420aca632b09a81afbc1d3","datavalue":{"value":"fault-tolerance","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585056$31C7E050-229E-4A25-ACAB-0378AD28E6F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"905927e9217e5376753c6da03d9967873a6056e1","datavalue":{"value":"software specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585056$5B127C79-8FF1-4DF6-B6CB-AAE71BFA952D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585056$DC03E1E2-C2CF-42BF-84C2-9B4796165357","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1cbf5117dabd8622a849856d4a56ceec1d48654d","datavalue":{"value":"deontic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585056$2205FE9C-3631-4162-8AE2-3DF3073FCAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1de473017dc4bcf3d5921508adc460d9fe622e60","datavalue":{"value":"component-based design","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585056$87A0F298-1C90-43A4-82A9-E95A8174D568","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5685485f4c27abda29cd481c0486a1adb54b3a91","datavalue":{"value":"category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3585056$D066C4D1-DE39-4C1C-B5AC-C10378FDFE42","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":"Q3585056$44B43AA9-0BF7-423A-9AD1-C207EC4FBCE2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9f538bb934069ec60a76f1f29ae859e5bbc13fc5","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14808-8_22","type":"string"},"datatype":"url"},"type":"statement","id":"Q3585056$4526288D-8B38-4A87-AC30-838F9F8E731B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"998281d3011ed0f48d60bdf888e09d92ec77c908","datavalue":{"value":"W1544290342","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3585056$0C6FABA1-A929-4600-8F13-877EBE32C34E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c65ad10a641911c628744f3531ec2a2cffbac66","datavalue":{"value":{"entity-type":"item","numeric-id":714879,"id":"Q714879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f774ff4d73dfc5b78ed627ac189ecc7baae63ca7","datavalue":{"value":{"amount":"+0.8611233830451965","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":"Q3585056$03BFEB90-CC34-4FCC-B034-6476F2D15EDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4759bad22265a3d95e0f3dc14bc958b0a2fda87","datavalue":{"value":{"entity-type":"item","numeric-id":1192604,"id":"Q1192604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0292239e763c6917d46cfd3bd902e9aa0c07c60c","datavalue":{"value":{"amount":"+0.7004331350326538","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":"Q3585056$26654AC6-C6D3-450D-A3BF-D18A2F9EB0E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26a76a226c67b09897d6d33e12544554c85859fb","datavalue":{"value":{"entity-type":"item","numeric-id":2304534,"id":"Q2304534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf7e5df6d47fa42e9ed532867fb5b30d60645079","datavalue":{"value":{"amount":"+0.6986806392669678","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":"Q3585056$7E054EE6-4B7A-4939-AD7E-2387C298FAB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce0e7989e440cde595e30a5014c8627cb01c6acf","datavalue":{"value":{"entity-type":"item","numeric-id":5166687,"id":"Q5166687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cb24a06e510c35654a988190dce62073972aa02","datavalue":{"value":{"amount":"+0.6926621198654175","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":"Q3585056$FBB81BB0-DB71-4DA8-A6D5-B522473541CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"936dd111760f9187a1d0067c171b0e3933072ce6","datavalue":{"value":{"entity-type":"item","numeric-id":578896,"id":"Q578896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b2ff1ae5fa5eb017c0b02a815dde446ebeb6e93","datavalue":{"value":{"amount":"+0.6902869343757629","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":"Q3585056$202566C1-50E8-48FE-A31F-0C3085E6B07F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3585056","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3585056"}}}}}