{"entities":{"Q2912122":{"pageid":2922847,"ns":120,"title":"Item:Q2912122","lastrevid":51553628,"modified":"2026-01-18T18:31:01Z","type":"item","id":"Q2912122","labels":{"en":{"language":"en","value":"Sound and complete verification condition generator for functional recursive programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6082205"}},"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":"Q2912122$9E47BB94-623E-4B05-B88C-6E4F84218C3B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d50c0a366b14a4aaf5f6f44f902e837da815bdbd","datavalue":{"value":{"text":"Sound and Complete Verification Condition Generator for Functional Recursive Programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2912122$573B848C-F21F-435C-B86E-AF2E4329AAA9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"68ac106df4a58ebd3478a11e4660bbcaa29926fd","datavalue":{"value":"1248.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912122$3C7CCA1C-63C9-4CC5-B1FF-F91551B5F689","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"83d6703a8c1d484bcf0dd94b8058c64e12b08cab","datavalue":{"value":"10.1007/978-3-7091-0794-2_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912122$DCAEC291-1372-45F3-A73E-1B695739534A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"25dea1b50f5353a3e3e0b6152575f248bdd8f631","datavalue":{"value":{"entity-type":"item","numeric-id":865643,"id":"Q865643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912122$006325BD-9444-49FC-9745-689A4FC849E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"725aca679a0cd849b7123b8f0d65ff45506c8d40","datavalue":{"value":{"entity-type":"item","numeric-id":485836,"id":"Q485836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912122$59934995-38C2-458C-888F-FFBFB37C3121","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ba1122dcb2c9cdbd22f0eac348e12953b072c0fe","datavalue":{"value":{"entity-type":"item","numeric-id":2912110,"id":"Q2912110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2912122$6382D13A-86B5-4B21-B1F1-AAD639A6DC04","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"00eb753b011b97ebb8c2745b329b26c84df768b4","datavalue":{"value":{"time":"+2012-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2912122$EED96D92-C3BD-494E-804E-F36188C3A80D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912122$C9A2A387-8875-419F-8D95-C3A43FF99E2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912122$1B16AE9E-9AE1-4CEF-AC35-70D2443A45B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc72366fb0f05a53dccfbf4f64d46f93a742f245","datavalue":{"value":"6082205","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912122$B61B5C25-DF12-4C02-823B-4614658038B3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912122$9A78953F-B2B7-4477-9B7F-1E7400AF952D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a6f111453321fefd7225d1a954c3f792cce479ba","datavalue":{"value":"functional recursive programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912122$0A40FB4E-DBB2-4BC2-9D05-EDBE2B374EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe51228e17b836f3520db7bc0de40e5086eebee3","datavalue":{"value":"soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912122$011FC5BD-036F-4F97-8132-0043777DF838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912122$124AD7BE-862F-429C-A176-529326DA8E7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d9a4fb32e1337567afbea716ab340afdd02981c9","datavalue":{"value":"verification condition generator","type":"string"},"datatype":"string"},"type":"statement","id":"Q2912122$AA87943F-778E-417C-8DA7-87D906867B00","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":"Q2912122$2234113C-8912-4747-BD58-D30FC20A674B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ccbf19e05eb7729e5a12256599fc29cca6879260","datavalue":{"value":"https://doi.org/10.1007/978-3-7091-0794-2_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2912122$389C4C07-C9F2-4447-915C-7D9333AD981F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"00fde4b6167a8e350b938264ed808393ecc3a0f6","datavalue":{"value":"W169737985","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2912122$BC26654E-DC40-47DC-A329-1CB73562E83A","rank":"normal"}],"P1643":[{"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":"6d85ac28e25a3e2252708119791c72b42cfc686a","datavalue":{"value":{"amount":"+0.7783532738685608","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":"Q2912122$58D1F470-ADC7-4413-9380-89F458EDBC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47cb83556b7cef6399b3b254f5ad5b10124d3050","datavalue":{"value":{"entity-type":"item","numeric-id":1887136,"id":"Q1887136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"800699f45e008bce346523937940c04c07ab8b77","datavalue":{"value":{"amount":"+0.763516902923584","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":"Q2912122$4CAE4603-7319-4708-BAB1-1786476C544D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f4e7382d669447d9c59bb46a85e26be4d5b6ec","datavalue":{"value":{"entity-type":"item","numeric-id":5410711,"id":"Q5410711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c78af9af5d95e6c5fe23936edfb15875dc1cd517","datavalue":{"value":{"amount":"+0.7326712012290955","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":"Q2912122$664659AC-D9F3-4E1B-8593-87B0A2FCCF53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9babaf2bd52e8d0585eb0dfafb2c1d459313c380","datavalue":{"value":{"entity-type":"item","numeric-id":2908486,"id":"Q2908486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786a91d1cb4fd8444a5008cee3945116e584a90f","datavalue":{"value":{"amount":"+0.7289794683456421","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":"Q2912122$23C763C5-B4F5-4CC3-BD18-0B02944A71B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3e54de70359c17c91d77e16505b0af0925517b0","datavalue":{"value":{"entity-type":"item","numeric-id":5387904,"id":"Q5387904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84513ee00572a8fb2ac3dbd50c154720955fb20b","datavalue":{"value":{"amount":"+0.7250781655311584","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":"Q2912122$2E340D3D-E406-487E-95FB-E8948A600877","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2912122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2912122"}}}}}