{"entities":{"Q5897128":{"pageid":7937782,"ns":120,"title":"Item:Q5897128","lastrevid":93307484,"modified":"2026-06-05T04:10:50Z","type":"item","id":"Q5897128","labels":{"en":{"language":"en","value":"Specification and inheritance in CSP-OZ."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5668059"}},"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":"Q5897128$33F024FA-66E4-456B-8B6E-E2C73274BE18","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dd72f02aa0622ff6b1d6ba05406cc01476c61375","datavalue":{"value":{"text":"Formal Methods for Components and Objects","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5897128$F6BAE2D5-C4C0-404E-A32D-49AD6F0BC593","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"aafd09bad73a48c16715f5b997d403ff8cebf1fc","datavalue":{"value":"1254.68065","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897128$ED38A98A-57AF-405C-9CF6-76D7CC38164F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897128$56E250FB-6EC4-44B3-9353-900A089D9E45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"144020476487cf65953e80776af1d8c90afa5bd7","datavalue":{"value":{"entity-type":"item","numeric-id":1838824,"id":"Q1838824"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5897128$594C9EA2-D230-489F-A974-B8F38C240D76","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":"Q5897128$7F84491D-7D0C-49E8-AA6B-665467C4AD38","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00de9f7ecd6f8efd38a07b132aa7063b53ae83d4","datavalue":{"value":{"time":"+2010-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5897128$CAD46B60-52D0-43A2-815B-ADE33ECD8590","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897128$2C0ECFA3-9BBB-49EA-BB69-45D4C3229837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897128$2E113ABF-D125-44D5-B276-8584525950D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897128$227C5707-5966-4F27-8A02-C7ECE9F7DBB6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"837302d1509dc114e322c813fbeeaf55cc3d11ac","datavalue":{"value":"5668059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897128$1E7FBAB3-55C5-4086-B0CE-DCAD8871C248","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897128$84D92113-51F2-41B0-8A69-669689DBEFA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb88bac8c4975203f8913e843dc8010d041ca91","datavalue":{"value":"Object-Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897128$B8287F80-FE9E-4647-8634-52D6F72E89B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49c59010bb58f22550df5f83f2752da4b523c9c4","datavalue":{"value":"failure divergence semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897128$84696325-A98B-44B3-A16F-BA06B64C2BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b73c90f6f116dd86bc5c4449efab40b66490c894","datavalue":{"value":"inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897128$4C4A37C4-8107-4709-BAE7-D1382FA8FCB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"54d6f74ee5b0d93bdc9831ec4d5b6853e8dcdd88","datavalue":{"value":"safety and liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897128$C6DA50A2-4906-4B27-AC84-536AD102DF18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"379a567f0f983e236f95705804d342510fc41004","datavalue":{"value":"model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897128$D3B6DC72-3E14-4150-B7BA-0BB6D36A9C81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560176b9f90870250c4b94f96ff2cf2f7e622c22","datavalue":{"value":"FDR","type":"string"},"datatype":"string"},"type":"statement","id":"Q5897128$8DFDFE8A-B51F-495B-88A0-A8710289BC37","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":"Q5897128$E20347FF-E3D4-4B83-BEC5-7D67B91CC4EE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"694ecc6121bc1698b5b8e2fefc119ba3501c5fba","datavalue":{"value":"https://doi.org/10.1007/b14033","type":"string"},"datatype":"url"},"type":"statement","id":"Q5897128$9EFA267B-6E8F-4A5B-B81C-CD87C91995D9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"65095d1ea206916668ba018f05a3494387d29751","datavalue":{"value":"W4212909638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897128$1502D15E-820C-4C96-B612-C9E26305828C","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"03d0e0bdfed74b7b82ef993492d9a8ff115db0bb","datavalue":{"value":"conf/fmco/2002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897128$E1BED1FC-AB4A-4B49-A20D-170FD0D8352E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8116e892939797244d3d69c3fdabc51e0201333a","datavalue":{"value":"10.1007/B14033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5897128$5F4705FB-737A-4027-AE4A-9CE27AF4B71B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4fe7431d001efc0f6dfecebdb541dec1e9398ad","datavalue":{"value":{"entity-type":"item","numeric-id":1776587,"id":"Q1776587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ec1f5bf6c4931514a9df80ada84d70986534af2","datavalue":{"value":{"amount":"+0.9848931431770324","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":"Q5897128$9608886A-C018-4D9D-BD46-7D8662DFF949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c24d33cbfad213e7f05d5d8a3171cf61d2041ee","datavalue":{"value":{"entity-type":"item","numeric-id":4494252,"id":"Q4494252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"253730a1c9fe4b7a486f11b7d80e673ad5bf1b99","datavalue":{"value":{"amount":"+0.8006041049957275","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":"Q5897128$25EC565F-8757-4C85-91B4-29FEEC65C9BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5036f4fcdc5e6744984e85371eeff325b0c173a9","datavalue":{"value":{"entity-type":"item","numeric-id":5943269,"id":"Q5943269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e569a0e13fd1e8f6c23b4a3ba6bee95280bca0","datavalue":{"value":{"amount":"+0.7958740592002869","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":"Q5897128$BD7E38D1-1EBF-4FA6-AA8D-2531F8FC85BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a8048ae7637f5f04664c47e928d1435a9cbdecb","datavalue":{"value":{"entity-type":"item","numeric-id":4654725,"id":"Q4654725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71e569a0e13fd1e8f6c23b4a3ba6bee95280bca0","datavalue":{"value":{"amount":"+0.7958740592002869","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":"Q5897128$6BB74EFC-85FD-45A4-A63D-20911A9C894D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd1bfd3fe4061f8a56574fd7ecfaa464bafe8561","datavalue":{"value":{"entity-type":"item","numeric-id":4509996,"id":"Q4509996"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8ebbbdd55931218e8aac417d7a6d88d7ff320baa","datavalue":{"value":{"amount":"+0.7889183163642883","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":"Q5897128$E456BAC5-B7EA-410B-8CDD-8B0F1B7E5319","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and inheritance in CSP-OZ.","badges":[]}}}}}