{"entities":{"Q751843":{"pageid":753692,"ns":120,"title":"Item:Q751843","lastrevid":64101843,"modified":"2026-04-11T17:39:29Z","type":"item","id":"Q751843","labels":{"en":{"language":"en","value":"Refinement, conformance and inheritance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4178790"}},"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":"Q751843$C14B2314-DB04-4A87-9DD8-02ED51D71489","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bb62b6d54f01bbc4e13816ff10c15f43ab5a3bad","datavalue":{"value":{"text":"Refinement, conformance and inheritance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q751843$12F73B29-9D22-43E0-BCF8-B0FDB2FF90DC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"de8d4deee95463c83e112f559359251f8a29aa76","datavalue":{"value":"0715.68056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751843$AC3167BF-9DD7-4B55-A5DD-CBC7C08D7B4D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"dcdf4bcb7cab67c74f899d1aa843a0856daaf3ca","datavalue":{"value":"10.1007/BF01898400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751843$58795777-1112-4779-B271-8B8605A532D8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e772b21d52e7ae40bb46a703cd60d40be5e3f6d","datavalue":{"value":{"entity-type":"item","numeric-id":751842,"id":"Q751842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751843$4A8B7C0F-9B69-49B7-AA35-D31093E05241","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751843$FB2124F6-379B-4257-BA4D-9BA0C6D06E52","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"391107ffc7a24346d69c573e292e4ff4587e3aaa","datavalue":{"value":{"time":"+1991-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q751843$F362A7B5-32E9-4012-824F-9D61001B5857","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751843$A335921A-3938-41A5-950E-637B204EFA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751843$C12BFCAE-2623-48D1-8DBB-5489C0FBF0F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751843$F1431603-8D3E-4472-A031-47B00AFE87C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751843$C31F1B44-86D4-4074-9CBB-637119E00DED","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cbe30aeaca0ed55c0a076c6188aa59fee42afdb7","datavalue":{"value":"4178790","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q751843$EB5B3E21-EDD3-4E45-B2D5-A04D8BCABC66","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b73c90f6f116dd86bc5c4449efab40b66490c894","datavalue":{"value":"inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q751843$268AB0E6-FB75-42DC-87AC-843F502EBF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3fbb4c5049696953f3f8176496d099fb439ecada","datavalue":{"value":"process algebra CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q751843$E23B8D4F-4373-46D1-926B-AEC2EF8526E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ba79756aec7d516a4dc1b21b2af2cbb069aba1f","datavalue":{"value":"object-oriented","type":"string"},"datatype":"string"},"type":"statement","id":"Q751843$132D2257-45A7-4A34-BBC0-AAC28712B409","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f9bb97caa1b11dd3b37486ee5da77a7d7674ba6d","datavalue":{"value":{"entity-type":"item","numeric-id":15497,"id":"Q15497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751843$49E34CC9-946A-4207-83E0-62895E8A0C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"322a7fd2a2215f887a0cc889fa3e27a0703da0bb","datavalue":{"value":{"entity-type":"item","numeric-id":14267,"id":"Q14267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751843$3409EB8F-1CCE-4E7A-9843-CF9A88A11E83","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":"Q751843$625E412D-34D9-4CF9-B8C3-C94A9A41A534","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf2e3e648818be39b3c59a90032e219f77df63bc","datavalue":{"value":{"entity-type":"item","numeric-id":3765233,"id":"Q3765233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751843$9B5F9A56-507D-418E-936E-206EB24518CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a502a770025bb9705f462b1132920965df52f670","datavalue":{"value":{"entity-type":"item","numeric-id":3667910,"id":"Q3667910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751843$42C097E6-81B7-4D1A-BEDB-714C89F8B284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751843$FAC68FE3-9F5B-4B99-9F82-0FA9EDACDF72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c07029c700c0ca920756f856bee2ac8ff2ede7b","datavalue":{"value":{"entity-type":"item","numeric-id":1177943,"id":"Q1177943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q751843$470D81B8-79A0-4A7E-9C54-831B62E00B85","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":"7ec06af270db0deba2b67870a2f9fc2b4bb86096","datavalue":{"value":{"amount":"+0.765285074710846","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":"Q751843$4315F5CA-48E3-4410-9EA1-6F8D9D20CE0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08e3deb1222a44866be9c28a0d234571d905668","datavalue":{"value":{"entity-type":"item","numeric-id":5897128,"id":"Q5897128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a83725b3231f720bb5441ef089e1b3a73cef60b","datavalue":{"value":{"amount":"+0.7629849314689636","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":"Q751843$10BCB2F3-D240-43B0-B1CB-EEB3022F5132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28afe06273bf1de62bce5b73b78981927f471952","datavalue":{"value":{"entity-type":"item","numeric-id":4870822,"id":"Q4870822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff0d4d2c06b5670f1f25827091718354540e917c","datavalue":{"value":{"amount":"+0.7553465366363525","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":"Q751843$D6EDFBC0-7EAE-42ED-90A0-ACCF2DEB57F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c54f1550cad34fb6fa1be00ef2b7be9bc02b9f3d","datavalue":{"value":{"entity-type":"item","numeric-id":5902542,"id":"Q5902542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"139c424b72eb4dcc17ce7ae602b13f8dbe963adc","datavalue":{"value":{"amount":"+0.7419675588607788","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":"Q751843$123A9CB1-47E3-44F3-B153-6D16D95E6D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f892d05e23376f2a9cccd16de1f8721584b0e30","datavalue":{"value":{"entity-type":"item","numeric-id":5861787,"id":"Q5861787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0367895af75edde29d2016f2262e46cfcf1e06d2","datavalue":{"value":{"amount":"+0.7372050285339355","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":"Q751843$8F21E4F4-AAEF-44C0-9ABE-91F528FE6247","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Refinement, conformance and inheritance","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Refinement,_conformance_and_inheritance"}}}}}