{"entities":{"Q3765228":{"pageid":5795134,"ns":120,"title":"Item:Q3765228","lastrevid":81162869,"modified":"2026-05-06T17:52:50Z","type":"item","id":"Q3765228","labels":{"en":{"language":"en","value":"A Formal Method for the Abstract Specification of Software"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4022611"}},"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":"Q3765228$F2500F1F-028F-4CE0-9AD1-75C47DC14F61","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a0548408d420a3f427ab01b90ec326f0f3077263","datavalue":{"value":{"text":"A Formal Method for the Abstract Specification of Software","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3765228$80B416EB-EF89-4CF2-8590-0ECC1EFEBD6F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b460351599b5593993371f4f1dc60f94ba85dcc2","datavalue":{"value":"0628.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765228$3A4CE378-0AEA-4158-BD15-78E5ADE72789","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ea722bee3365d73b0a8f86faff45758c29e9394c","datavalue":{"value":"10.1145/828.829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765228$8AFB4702-13CE-4034-A3F9-EFFC1B2E04EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b470ee0889aa7cb6e1c696e97597002c408d25cf","datavalue":{"value":{"entity-type":"item","numeric-id":2784371,"id":"Q2784371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765228$BAA11070-7826-497D-8A74-F27A5FBC2B43","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3765228$25B30B9F-510C-4CBD-8C37-BC676C516580","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3765228$A4864376-9CFB-46B0-8E28-3ABCE5155701","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765228$C342C8E1-BF98-448F-A967-3F6DAD8F79BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765228$3CAC5E4C-1420-440A-9816-9A5E3CB038FF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bbda1a82a9dc64413ca038edb641b77e60c1df23","datavalue":{"value":"4022611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765228$9C2337B2-CCD7-418C-BD05-1F045F7AE2D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765228$D908548D-C49A-4248-B531-A4C90313A361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d663b49f2d9b9c403e143e5ca710869065b5242c","datavalue":{"value":"trace specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765228$FE7B1EEE-0C18-4A23-963E-3920E7F48E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc8534b3bb8a981c00a2744422055e258daa4c0","datavalue":{"value":"Completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765228$0780D4F9-C7BB-46E5-8D51-165475360797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765228$B4576548-F727-4D9F-97AD-887F2BD09F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765228$F13E030A-45A6-44C6-9755-5B36B647D1FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3765228$2562FBC4-0AE0-4240-AE14-6E20AB5FB32E","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":"Q3765228$E1F2C5EA-EF11-4BF7-9B1A-86A0CD1EEC5C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ac851d2b083f860775581093d57d8004fedc1ea","datavalue":{"value":"https://doi.org/10.1145/828.829","type":"string"},"datatype":"url"},"type":"statement","id":"Q3765228$06685391-DCEE-433A-8683-380C59095F97","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a63bbb281c25cd94331b648fa2a5a82459ea27b0","datavalue":{"value":"W1982223289","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3765228$75CD69E8-4D9F-4307-9A90-55029E2F43D5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b36991d4dd91e463f0f0a7b781a44e40583cf8a4","datavalue":{"value":{"entity-type":"item","numeric-id":3707340,"id":"Q3707340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a22127db2764cf9355914e246561daa420ef425","datavalue":{"value":{"amount":"+0.7844989895820618","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":"Q3765228$20252BD1-D999-4AF0-8B08-A4CEA79AA364","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50dbe5e26ca5a75365b36c5ddd80fb9d7f693945","datavalue":{"value":{"entity-type":"item","numeric-id":4692787,"id":"Q4692787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93b9a667c7679988e0aa8ff236292fc402b8b3db","datavalue":{"value":{"amount":"+0.7686795592308044","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":"Q3765228$A99EC197-E3D6-4707-B5E6-1727DAABED9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce7cd6ce3fca5084278ecab7284d2a7e529e97ae","datavalue":{"value":{"entity-type":"item","numeric-id":1066658,"id":"Q1066658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65825d4f50cd27fdc00ae6fc7344895d07634eb","datavalue":{"value":{"amount":"+0.7618427872657776","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":"Q3765228$C4D96845-FC25-40A3-8B3E-A171563664A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca28f103fd8236af971716c21415eb2e12e9bfcc","datavalue":{"value":{"entity-type":"item","numeric-id":625100,"id":"Q625100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e553754f671b672757c1ccb7093cf7bf82a20576","datavalue":{"value":{"amount":"+0.7562211751937866","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":"Q3765228$2E2983A3-DB0D-4066-A198-6158798BD4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"88271260b45d02e8b129ef838de07577d14c0d0f","datavalue":{"value":{"entity-type":"item","numeric-id":2369031,"id":"Q2369031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f2288f73b1b1c0b5c2ea9e95e1963e5c89cd3d5","datavalue":{"value":{"amount":"+0.7522234916687012","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":"Q3765228$C0EE7CC0-5A78-4BA5-9D21-DF44B8F116E0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Formal Method for the Abstract Specification of Software","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Formal_Method_for_the_Abstract_Specification_of_Software"}}}}}