{"entities":{"Q1776587":{"pageid":1787329,"ns":120,"title":"Item:Q1776587","lastrevid":72933000,"modified":"2026-04-14T08:51:09Z","type":"item","id":"Q1776587","labels":{"en":{"language":"en","value":"Specification and (property) inheritance in CSP-OZ"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2167618"}},"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":"Q1776587$5D716C95-6443-49C7-B8AF-6C0F4B0B9130","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ecaf3ca3e4adaeff896f272d0e9577eb520a5c14","datavalue":{"value":{"text":"Specification and (property) inheritance in CSP-OZ","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1776587$4DBA9028-B664-416F-BDB9-BABC4B25C8A0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d41e50ebd77b68913e8d3c54838a52f69a858848","datavalue":{"value":"1075.68051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776587$E3E779E5-515A-4BB6-B718-DF9249C747BF","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":"Q1776587$C19C905F-7468-4D74-A48D-EB1F33D16501","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":"Q1776587$A40EB6A7-8C3D-4239-9462-4781F320946D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4082512e7d3530b9726df691c7c28e9fec542a8c","datavalue":{"value":{"entity-type":"item","numeric-id":169675,"id":"Q169675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776587$400CE9BB-3C09-45A3-8623-6F1F0E4D93F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"816fb6440c9cbb78f47d27fe48607ca1e7ad5f08","datavalue":{"value":{"time":"+2005-05-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":"Q1776587$8DF94912-DD9E-4D34-84F7-F4A624F81C2F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776587$BF873949-F480-4319-9FC7-0114FDEFAA88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776587$CB010475-C193-477B-8B04-01079379B6E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776587$FD208470-1162-489F-BC10-761A28889A61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f4729013c8b8c35de670349ee063634ceee203c","datavalue":{"value":"2167618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776587$ABA4C179-4271-4D2E-9F4E-DD75F6810788","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776587$347555C7-4D5B-4A78-96C9-01EDA9288B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfb88bac8c4975203f8913e843dc8010d041ca91","datavalue":{"value":"Object-Z","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776587$BCB91605-95BB-47B7-B76C-AC6DBB6BEFB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c29460c1e61e6c588ec65b84d3dce0155052327","datavalue":{"value":"Failures divergence semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776587$9283135D-1FF9-4541-A75D-CD8288A29187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aca4c49a7f94f259f4e44b808438eef56a04f1cc","datavalue":{"value":"Inheritance","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776587$F61C89E7-0644-45DB-B8EC-35EA940132B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6ada19d8f3befab29213b345650ac088ac49cb2","datavalue":{"value":"Safety and liveness properties","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776587$8A1C9041-E2C9-401D-B245-C0B19EAC85F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc7c3fd3872f7a30fbc4a3c1696a9662468e045b","datavalue":{"value":"Model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776587$59F07DD4-4535-44F4-A753-0EBBB4FD1857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560176b9f90870250c4b94f96ff2cf2f7e622c22","datavalue":{"value":"FDR","type":"string"},"datatype":"string"},"type":"statement","id":"Q1776587$ECF3B3F8-D9A6-4AFD-981F-F211DBE076D5","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47f960de4d53e18e0757a9f17e2bf4db153dde36","datavalue":{"value":{"entity-type":"item","numeric-id":19685,"id":"Q19685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1776587$292C10BE-DA36-4405-828A-5508A2F1429F","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":"Q1776587$4D208F45-9E7D-437F-90E5-F2172A93E619","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"65ef01aca3cd84a9b532442abbb91a8c36a93c1b","datavalue":{"value":"https://doi.org/10.1016/j.scico.2004.05.017","type":"string"},"datatype":"url"},"type":"statement","id":"Q1776587$1DA78B3D-E010-4554-B11F-5E6F72255A9B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d790f93f7922fa5f7801b30ca41072e4874386f1","datavalue":{"value":"W2119402699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776587$74B30EB8-A4DE-4144-94FE-5441F20725FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bdb6a0ea83fc8f9cce2c2bc4ece70007f27e7377","datavalue":{"value":"10.1016/J.SCICO.2004.05.017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1776587$0641A2A3-F166-4204-95FF-1FA9A9CB6D5C","rank":"normal"}],"P1643":[{"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":"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":"Q1776587$114F1BA4-C638-4F73-A03C-5B3BB15A947D","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":"7166ca8fd8b759f391f3f8d0e6d6036cc2e11f68","datavalue":{"value":{"amount":"+0.7935943007469177","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":"Q1776587$0F409AA0-67F6-4E5F-93BE-B9EC8029F6A3","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":"07bd8c805d8641af99188c19b59afaaffa36af05","datavalue":{"value":{"amount":"+0.7826981544494629","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":"Q1776587$D7D4B9BB-7360-4AAC-8D50-16194471DCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16b6808daa6ad55ad759fdf7fe9701ad9a49d367","datavalue":{"value":{"entity-type":"item","numeric-id":4412485,"id":"Q4412485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07bd8c805d8641af99188c19b59afaaffa36af05","datavalue":{"value":{"amount":"+0.7826981544494629","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":"Q1776587$DD6BAB7B-C21A-45CE-BE94-D05419A50FC4","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":"d3ef016650ead3d1af2d0997771ba7d09e847461","datavalue":{"value":{"amount":"+0.7698861360549927","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":"Q1776587$4D7BFD38-0FE2-44C0-A18C-31A845201D55","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specification and (property) inheritance in CSP-OZ","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Specification_and_(property)_inheritance_in_CSP-OZ"}}}}}