{"entities":{"Q5902540":{"pageid":8012194,"ns":120,"title":"Item:Q5902540","lastrevid":50871656,"modified":"2026-01-15T12:44:06Z","type":"item","id":"Q5902540","labels":{"en":{"language":"en","value":"A rewriting based model for probabilistic distributed object systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5655962"}},"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":"Q5902540$7976D237-42E4-429F-85AE-0095F7272AFD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"363ca424090ed56c7c7a013242ba064621ef3cf7","datavalue":{"value":{"text":"Formal Methods for Open Object-Based Distributed Systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5902540$1ECD0BF8-4D1F-470B-AB7D-83E7F77C0C0F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d9bb94c97e00d9a9bd3c68daa391d156f24c40bc","datavalue":{"value":"1253.68244","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902540$F183E402-767B-49ED-BB3D-8274E415F6B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ff8c47604f09b8c7eebc9cc8c13528ea0c5ebf5c","datavalue":{"value":{"entity-type":"item","numeric-id":312147,"id":"Q312147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902540$3B1A6B3C-BA46-4646-8855-D1168083FB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7985a67137d89b6818ca4696fb87e88f7da593b0","datavalue":{"value":{"entity-type":"item","numeric-id":2851058,"id":"Q2851058"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902540$E55AFAA5-EACD-4C9D-8343-A049D9D6A5D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db32c21cc482660e99c90b1907d7d5760cbfacfe","datavalue":{"value":{"entity-type":"item","numeric-id":347381,"id":"Q347381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902540$E9095B0A-47F2-4551-ACBC-907E6705D8D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5bd3869bc3ccb0a873a984a806d7689b9c2afe97","datavalue":{"value":{"entity-type":"item","numeric-id":2764141,"id":"Q2764141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902540$80CE0D63-73F5-4558-9177-336E6F2DEFB5","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":"Q5902540$360D5B85-5D08-4E16-9B42-1606D4991D78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"149999f0c51cbac40d9c91928c2dc96d82dca2c9","datavalue":{"value":{"time":"+2010-01-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5902540$A72D86E3-24D9-4234-BA5F-99BECE90336E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902540$E07B0B9C-AE60-4372-829C-9569529AD8AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902540$CA43D1AF-00FB-48A4-9D96-13CE6FABFF12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902540$43DE4A87-EE5A-4C87-91FB-1FE6C4D0CFF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0dd26fa594336927a7a04e8147a405d69e5da239","datavalue":{"value":"68Q87","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902540$32FD84A7-E64E-4FEC-B04B-565DB4A38B9E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9399ed40874358f55f0e74a1e95eefa417f31813","datavalue":{"value":"5655962","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902540$8B8D1E39-8F09-4613-8829-74E910671259","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce845e1ba3e10db1506f5fc51a963f3c64400cab","datavalue":{"value":"rewrite theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902540$0C0E61B8-3705-4A83-98A7-BFCB40B9A5CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"73b4c65f1932723e758d611f0e45f29f11ae5669","datavalue":{"value":"probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902540$5901C10B-077D-4D3A-91A2-B1FE82A18D05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5c4151d58347ced492c0d0ebab83548fc462487","datavalue":{"value":"actors","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902540$8621DB5A-B67E-4F00-96B9-863D0B1AE45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7837ca7b4ed6a21f47990cc2562459286134de64","datavalue":{"value":"Maude","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902540$41F2F245-3C98-4E56-B94E-F7F1489DC97C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f532e2b08234dd6967fc70eafbf0c8f20a836d3e","datavalue":{"value":"nondeterminism","type":"string"},"datatype":"string"},"type":"statement","id":"Q5902540$EF48C7B8-721F-4C96-B2F3-A786861EDE05","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ebe6f223efc2405cf071214b7d4e0e7858bf57fc","datavalue":{"value":{"entity-type":"item","numeric-id":18367,"id":"Q18367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902540$29A1101C-95C7-4CDE-8AAA-40F25331F2E9","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":"Q5902540$27DD590B-838C-4454-A967-C3C66703C5BF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"60ecfb77cb46c115fc8dde8520100c4c50d11d0d","datavalue":{"value":"https://doi.org/10.1007/b94120","type":"string"},"datatype":"url"},"type":"statement","id":"Q5902540$AAB89C3A-880E-40BD-8FE6-22618FF60A73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e073dc8678288ecd82bb6e5dc673ce7397119a7a","datavalue":{"value":"W4205898334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902540$98B67DDD-4FEF-4198-9438-0759FA8FB07D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efb0b5e33777c37dabb817e541725a6ed71c215","datavalue":{"value":"10.1007/B94120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902540$9D876071-2B49-4C9C-9F91-F5A80946EA6E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eefa4983250c66e820bed7481eb4cc58da8cd160","datavalue":{"value":{"entity-type":"item","numeric-id":4447223,"id":"Q4447223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"593e154584ab5e78cb44096fed9188bdd0c77f41","datavalue":{"value":{"amount":"+0.7649462223052979","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":"Q5902540$F8334416-2A53-4B73-BACE-C151330ECFA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d223594e2bdadab991cd6c7d1b492c494f4dcbc6","datavalue":{"value":{"entity-type":"item","numeric-id":4762648,"id":"Q4762648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbfaaa624da690766e75c83fdc79e4d1fd959eaa","datavalue":{"value":{"amount":"+0.7628511190414429","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":"Q5902540$6721B390-DEEC-4DDC-8CC6-0FBA021FAB96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b504c99e71c926cb8f2813fc46d2e3e1eac51f87","datavalue":{"value":{"entity-type":"item","numeric-id":1190488,"id":"Q1190488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbfaaa624da690766e75c83fdc79e4d1fd959eaa","datavalue":{"value":{"amount":"+0.7628511190414429","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":"Q5902540$BECA30A2-C288-4292-9572-817A360AC5F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"636e0f6b9fac92841d161e6efdaff937fb222950","datavalue":{"value":{"entity-type":"item","numeric-id":4223006,"id":"Q4223006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59a409e4dd099b349d93342f59f7e32f091bf549","datavalue":{"value":{"amount":"+0.7541065812110901","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":"Q5902540$76D57EAB-49E2-447F-A4D1-785A051D0696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce92be93035b20b11dad4739de3cf56ec29fff86","datavalue":{"value":{"entity-type":"item","numeric-id":4270072,"id":"Q4270072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75377eda9a64a54855004dac78439d635e7d5c71","datavalue":{"value":{"amount":"+0.7315512299537659","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":"Q5902540$6D5F33FB-4F26-4899-8390-4700EB236980","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902540","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902540"}}}}}