{"entities":{"Q2576574":{"pageid":2587317,"ns":120,"title":"Item:Q2576574","lastrevid":48611995,"modified":"2026-01-05T09:29:59Z","type":"item","id":"Q2576574","labels":{"en":{"language":"en","value":"An algebraic treatment of procedure refinement to support mechanical verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2238118"}},"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":"Q2576574$D3D934FA-F481-4E74-A643-7BA016EE5C5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7492455bf1528c0f4dbe1694f1d64579b68f9847","datavalue":{"value":{"text":"An algebraic treatment of procedure refinement to support mechanical verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2576574$79CEC84D-CA48-4FE1-9D61-A6BD20A8AD70","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8a72f7b929a050011455465a00ec881b1f758a1a","datavalue":{"value":"1101.68669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576574$25B874AC-AF5D-49DE-965A-6D54CF4B152E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f7d76bab915fa5b11ba4114aa1f83889a977dcb6","datavalue":{"value":{"entity-type":"item","numeric-id":204599,"id":"Q204599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576574$940C645A-09B4-4C4F-BB2B-6A708FD43BBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03dd836c35062b353c773aa5bb9f8bbbab8cff00","datavalue":{"value":{"entity-type":"item","numeric-id":432147,"id":"Q432147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576574$A5A48AF2-C622-4C99-B8D0-30CE736E1C58","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":"Q2576574$20FB9D72-4CE6-4334-90A4-10BACFF8D707","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"872b3ec3e8824551f65a9a9d299f4b9d6894a9ac","datavalue":{"value":{"time":"+2005-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2576574$0F76F454-7899-4BA2-B7FD-F68DF530AAC7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576574$6D5EB1C3-FF76-4657-A00B-B7A519B0955E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576574$27FB96B0-0E92-459A-85CB-35B502AA5AC1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3c6c9710823d3cd94b3582043cb5ed5b3aed3888","datavalue":{"value":"2238118","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576574$D66DFC77-4EEE-4B74-89C9-48CA3C84D3C7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9d7a91cce9317b5dfedb3fde9933f83259b7348","datavalue":{"value":"Refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576574$79173A69-20D6-4402-8129-77454A015AE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d259afe7c73c1f77bd89ab2b0d4a9bb03e1241","datavalue":{"value":"Recursive procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576574$C47BF6C6-F797-4880-8BD9-9229424A0560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e701bb48ce6c9960ab09d79f6d35bcf4e4041541","datavalue":{"value":"Semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576574$6EB91207-E16B-45E8-96F0-FD65B4E28C8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8649681bd6e022af57b527d538b7a92c7e6b6e88","datavalue":{"value":"Hoare logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576574$BF4157D1-1265-4E0D-A2D8-D3F89AD266A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7729cdc1ef49bcd1f402ef9250b5a2b0820b842","datavalue":{"value":"Mechanical verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2576574$981013D3-FBCC-4688-A86D-1D5562127A20","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576574$1EA972C3-5EEE-40F4-8160-04CB728A9718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"aca41f313ec935c6c7a90dad170b49859b6fac14","datavalue":{"value":{"entity-type":"item","numeric-id":17120,"id":"Q17120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2576574$E77430D6-B138-4395-BC2C-782ED9846B6C","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":"Q2576574$52944C0C-F6A1-4E32-A597-0A9198638682","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"847e80369df81ca015b7957eb15498d0e8e90875","datavalue":{"value":"https://doi.org/10.1007/s00165-004-0060-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q2576574$03BC5B6C-630A-450B-83C4-5C8F686082C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"04b9afa033a7fa89b6a9698a73cca52224081989","datavalue":{"value":"W2018603276","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576574$BEBBC25E-7C7C-4BA3-8841-0C96E93915AE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"24aa3a44878a8b6aefd6d4da1d34c197ed4ccb6f","datavalue":{"value":"10.1007/S00165-004-0060-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2576574$A0FD02E4-5C73-4435-A8A5-0B2E899ACFC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"920a9b4736e3dc9bdd0f1f07e717de567cd54fde","datavalue":{"value":{"entity-type":"item","numeric-id":3678649,"id":"Q3678649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8d0c48fb5f1b9027ea6359314c4f57e612bfc1","datavalue":{"value":{"amount":"+0.7499493956565857","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":"Q2576574$90F16C3E-27B1-4968-9C7E-214EA076A947","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"632ec0df6d73828d5ec403ae3e6c35a83d77a285","datavalue":{"value":{"entity-type":"item","numeric-id":4647514,"id":"Q4647514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f6c8ada07a8ef1e46af57c4044a8e64126539efa","datavalue":{"value":{"amount":"+0.7405815124511719","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":"Q2576574$93CF825B-294B-4A3D-9B67-3500CB861C06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8dbb7f7dce89ed2ddc25399aee83348107152ee","datavalue":{"value":{"entity-type":"item","numeric-id":2268474,"id":"Q2268474"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfd1f747e0a2a2d2e88e7694e50c17e88ed2bca2","datavalue":{"value":{"amount":"+0.7369009852409363","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":"Q2576574$79BB2752-4382-436E-84B2-00D3803C532D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acaaea0cc3fa6a8d30716da35caf95fad192a27c","datavalue":{"value":{"entity-type":"item","numeric-id":1329196,"id":"Q1329196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88f0b1c89e078ff02ec8b35869f0126cb03775ce","datavalue":{"value":{"amount":"+0.7356818318367004","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":"Q2576574$E64A63DA-F7B2-43F1-9143-26B25D44B237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8ca8840e5358709ccdbd3bd9abc41594bb630d6","datavalue":{"value":{"entity-type":"item","numeric-id":583876,"id":"Q583876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79ade1d8c1f31ca23e8e18a616fc1db124a638a9","datavalue":{"value":{"amount":"+0.7351299524307251","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":"Q2576574$FCC93CEE-04E0-4B4F-B0B3-3FA754D83CAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2576574","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2576574"}}}}}