{"entities":{"Q5902550":{"pageid":8012216,"ns":120,"title":"Item:Q5902550","lastrevid":50871740,"modified":"2026-01-15T12:45:25Z","type":"item","id":"Q5902550","labels":{"en":{"language":"en","value":"Verification of distributed object-based systems."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5655977"}},"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":"Q5902550$B7C146C9-6B3C-40D9-B9C8-B3B0FD499809","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":"Q5902550$D6BF4249-670F-4D07-899C-36A257416D96","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"38b144dcf72c39ba6ece6671fcaf9e15e82ccf66","datavalue":{"value":"1253.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902550$E2F68DC2-50AA-41C2-A3BF-A74990A83E86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7623ff8184709f978085e01006198de93fdd6cb","datavalue":{"value":{"entity-type":"item","numeric-id":436351,"id":"Q436351"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902550$5F7E90E9-92EE-4C5B-95B5-21D35CAD3D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7575fcb4aac90c30b105867301c2264e6c7b1bb5","datavalue":{"value":{"entity-type":"item","numeric-id":436352,"id":"Q436352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902550$A1A227C3-A8A5-4165-8199-E88EB019D09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2426f4789b74a97843d6e34c34f44f9f0ab6d7c5","datavalue":{"value":{"entity-type":"item","numeric-id":436349,"id":"Q436349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902550$68E0E222-DE1E-422F-AF41-A7B15FC79040","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e8ee2e7c02d89b8ea0d4f30490c333581b0ab0ba","datavalue":{"value":{"entity-type":"item","numeric-id":436350,"id":"Q436350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5902550$BEE65204-3187-4482-B92C-0FA3AE95E013","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":"Q5902550$C25734FC-93A7-4611-8EB4-428198F70C47","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":"Q5902550$79281A74-6BF6-4889-B1CC-4F6CF92D8C15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902550$D50288A6-8849-4EB6-879C-EAF0DD19FC41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902550$F0C6C5DB-639A-4713-B2C1-A2D6ECF8228B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902550$3F1C42E8-3F41-48CC-BFD8-C8D309B501F4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"77484a0f8b373c96f5f60d88922e6f8e6b59d37b","datavalue":{"value":"5655977","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902550$4E7A1B2E-465D-4F3D-83BB-38090E35B67A","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":"Q5902550$9E54B9F6-85DD-4B96-84F4-F32E3E1BC6D5","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":"Q5902550$AE94DE28-047E-486D-9300-014787BA7609","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e073dc8678288ecd82bb6e5dc673ce7397119a7a","datavalue":{"value":"W4205898334","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902550$F1812EA3-A84E-4AD8-8193-773A7A1741F1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0efb0b5e33777c37dabb817e541725a6ed71c215","datavalue":{"value":"10.1007/B94120","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5902550$93677A39-BB08-4625-B9A6-BCE9C4AFFE17","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9fc1c19f2d5da9af3d97cc2a535642d6f217387","datavalue":{"value":{"entity-type":"item","numeric-id":2847855,"id":"Q2847855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d76e258c0a258f8f76d5010c301a44103a69b17d","datavalue":{"value":{"amount":"+0.8862079977989197","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":"Q5902550$89E06264-EE5C-4C5F-89E7-69F12707A2F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed818e9b0bc21118eb5da876738184ee79259217","datavalue":{"value":{"entity-type":"item","numeric-id":2867893,"id":"Q2867893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"868d001436d2bfc0db28f44d222f7c28bfb71b1b","datavalue":{"value":{"amount":"+0.791350245475769","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":"Q5902550$56828901-A086-41A8-8BC9-17CD068503C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c531bec7d8a56064c8cdbe72ad8e29b431e40376","datavalue":{"value":{"entity-type":"item","numeric-id":2870329,"id":"Q2870329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfe4955e45fc2b4135d66897f4eec42bc44400b7","datavalue":{"value":{"amount":"+0.7695351243019104","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":"Q5902550$DC619F68-FA37-4594-8489-878CF1D84751","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfc4b99d402032667d565d74b4d6118fd5a1d1cf","datavalue":{"value":{"entity-type":"item","numeric-id":4645279,"id":"Q4645279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2d1220ab63f77e1f04c03ec812e87833e463d1b","datavalue":{"value":{"amount":"+0.7437114119529724","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":"Q5902550$D35EFAE7-8C72-479B-9B59-4539B1933192","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":"f0e8ce3e2880a15c511eb6d41c539daa7ca45d7d","datavalue":{"value":{"amount":"+0.7436891794204712","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":"Q5902550$F509FA1F-13D5-4CBE-AF90-0DAAABFE2E8C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5902550","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5902550"}}}}}