{"entities":{"Q583876":{"pageid":585643,"ns":120,"title":"Item:Q583876","lastrevid":62984412,"modified":"2026-04-11T09:29:38Z","type":"item","id":"Q583876","labels":{"en":{"language":"en","value":"Combining algebraic specifications and procedural tools for correct program development"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4133476"}},"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":"Q583876$F9A4C4C5-67B6-4E0C-8A33-601D2340D80B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f3c75eb4f4ff2d63abbbcbdb8aefe2ad918e346a","datavalue":{"value":{"text":"Combining algebraic specifications and procedural tools for correct program development","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q583876$A87A99D1-78DB-41B4-A15B-88D2924E9B6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e21e91cc550c99c586bdedaa1e4316b509a8a18","datavalue":{"value":"0692.68015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583876$1A3FC8F7-4CD8-4AE9-ACB3-DB27E0BDC33A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"be953c7743ad681cffb55322e552c5990c03cfb7","datavalue":{"value":{"entity-type":"item","numeric-id":174054,"id":"Q174054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583876$A136680D-0C19-477C-A60C-F84A20BE7680","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"31a1937240ca4a323604b4728c31d242b5596d7c","datavalue":{"value":{"time":"+1988-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":"Q583876$4BCA9E79-43E3-4E88-AF16-6480B071755C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583876$95D39C72-2294-4B8E-BA1B-9C8449CA3948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583876$90CB3DD0-A0F1-4678-AA20-7D5C52D13507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4599ea2dc560872b1e4eec8e1dfd1625ce23ccf4","datavalue":{"value":"4133476","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q583876$C09A2BBC-9CAE-498C-848C-6579DEDDA859","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q583876$1FEF4894-CB61-4A80-85DE-F943C8DACB6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q583876$87D25FCE-A21F-416F-A9A2-3CEFD5ABE079","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"debfedf6f4657203170842670e6619e00f5b8d60","datavalue":{"value":{"entity-type":"item","numeric-id":1662524,"id":"Q1662524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q583876$EA779641-B5BC-4465-A459-EBBC78249195","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":"Q583876$D1AC1F1F-FF52-40E9-9100-F1886D4E4759","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c09407a6dead0df124b6be49dafa22205d62162e","datavalue":{"value":{"entity-type":"item","numeric-id":3723679,"id":"Q3723679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edcd60d76e9440a672bfcf167f44c3319189f574","datavalue":{"value":{"amount":"+0.92019546","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q583876$62E5C831-1A18-40F7-96EE-FE3A10601FD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4e01af7911d7707bd27d3e7d3c8388a5e637061","datavalue":{"value":{"entity-type":"item","numeric-id":736461,"id":"Q736461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"937b0662f3f694f78eb77638010f627da39b18a9","datavalue":{"value":{"amount":"+0.9105441","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q583876$EDC097A7-9C6D-4A2A-8D45-88B7820E91FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50731ce85c32381a781a2f9202e7f36d822efabc","datavalue":{"value":{"amount":"+0.9105099","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q583876$21A5E5C8-2F76-4BE8-9309-FB7A0A4D2CF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77bd346301855d5e91d0ca5b1b876d1cf07663ff","datavalue":{"value":{"entity-type":"item","numeric-id":1377322,"id":"Q1377322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa7b9eff20d2617156db0f2fb2d2e25e7e6eae49","datavalue":{"value":{"amount":"+0.90198934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q583876$2EE0A68F-7A65-415B-9648-3110CCBD707F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b62d6c3f29c932c3b884649594c8f43fc822e23","datavalue":{"value":{"entity-type":"item","numeric-id":4721633,"id":"Q4721633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447bd2910a71528859877cad56a65e4135c7b57f","datavalue":{"value":{"amount":"+0.9007708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q583876$35FAE9B1-17B0-4D2B-9591-D5D2AA3319AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"859d8d67e5f7b2d78f5f3386f43eeb285b246a51","datavalue":{"value":{"entity-type":"item","numeric-id":1090100,"id":"Q1090100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"447bd2910a71528859877cad56a65e4135c7b57f","datavalue":{"value":{"amount":"+0.9007708","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q583876$AACEA1B9-D9FA-4797-B753-560AA10A2223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56eadf349942bffa987f68b35f16ff67e645c5b9","datavalue":{"value":{"entity-type":"item","numeric-id":3723680,"id":"Q3723680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a98a938f17ad7bde06fde8357018c92b8d1966","datavalue":{"value":{"amount":"+0.89659363","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q583876$BA144ECB-5C8F-438F-9237-9987A0E54F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dad0ed7f85eedcc9fca964a948c6bfd87b095b9","datavalue":{"value":{"entity-type":"item","numeric-id":796979,"id":"Q796979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb75b1252f2208e2e7e951f7be2733b6c7d6f728","datavalue":{"value":{"amount":"+0.8902821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q583876$EFF4C104-B4DE-4AD4-9477-3D8536B458C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f4f7d8a182f46ac49aed2341db800546588df61","datavalue":{"value":{"entity-type":"item","numeric-id":2723910,"id":"Q2723910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7afd835e0179214b53b83568a645c52f94f613a5","datavalue":{"value":{"amount":"+0.8888851","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q583876$2ED2AE33-3069-4836-8939-6CC282F7BB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e775a252bf4ed0d6641e44177abeb01abf95f6b4","datavalue":{"value":{"entity-type":"item","numeric-id":4712650,"id":"Q4712650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af8ed0d7a0d26ae23217294fa4cd8badbdd070a8","datavalue":{"value":{"amount":"+0.8846461","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q583876$86C76018-2E9A-4088-96F1-A90DC41F26E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining algebraic specifications and procedural tools for correct program development","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_algebraic_specifications_and_procedural_tools_for_correct_program_development"}}}}}