{"entities":{"Q4436971":{"pageid":6466570,"ns":120,"title":"Item:Q4436971","lastrevid":48206605,"modified":"2026-01-03T23:17:40Z","type":"item","id":"Q4436971","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2013586"}},"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":"Q4436971$4807B8E8-58C5-4705-9F5F-90BC09499225","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9608629b712a2ebdc077f748b3e1aa6ab7336a88","datavalue":{"value":"1028.68547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436971$90E62C68-A631-4D6B-86E6-CE5B399C507A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"92ee61dd18574b657f614d4963109a2adfd0b7c2","datavalue":{"value":{"entity-type":"item","numeric-id":333312,"id":"Q333312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4436971$CA839A07-FD17-4B26-B1A8-1B89D666009B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6be594b1f05d1a46be38cd5b4ce765467b1f8234","datavalue":{"value":{"entity-type":"item","numeric-id":4436970,"id":"Q4436970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4436971$C3DBDC1D-35DC-4BC6-908A-14810887F9C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bc9a391c3dc695bfb982a5ad206a87169403ccb6","datavalue":{"value":{"entity-type":"item","numeric-id":851130,"id":"Q851130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4436971$BB1580C3-7D6D-4307-8E6B-3AC4F0EF4F17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"edb7994e252aa9cc656a1cdd08ac08e998723d93","datavalue":{"value":{"entity-type":"item","numeric-id":406450,"id":"Q406450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4436971$C9C7A160-1917-4940-A4A8-F6E8F916C7EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cf440a1d97a3d3fa3fa9dbf8f55a722afca85620","datavalue":{"value":{"entity-type":"item","numeric-id":671410,"id":"Q671410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4436971$A978B4AB-5B98-47D7-8748-D15BF7798787","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"72ac6298b0e38b6b36f76f058ea3dcd7452d4cb9","datavalue":{"value":{"time":"+2003-12-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4436971$6DCCC96B-547A-4900-8ADF-A2DD9196593E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"30a1e90beea6f166087f8cc65fbc9a321e0a70fb","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2651/26510240.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4436971$FB9EF5D6-6AA6-4F7B-AE8C-482D47ABA367","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436971$E04F0235-7C9E-4923-9B13-BF63AAD94583","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436971$60F2F1DC-A307-4ADA-AE57-1135E2B141A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d9c99cd5f2ac2e3ec1e0b0c7f3c6b6bf75d8f118","datavalue":{"value":"2013586","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4436971$3025A962-30A8-487F-8F4F-C398C11D2494","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc4f9721877be3149abd910b1d3342acf788f42b","datavalue":{"value":"Probability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436971$D447CA17-6919-4303-8734-6649B9397A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436971$D727163B-37E5-45F0-80C2-3D72E1461C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef0e3cfbd78e12b15d9dcdeeeb5467b59eb5fc58","datavalue":{"value":"generalised substitutions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436971$98E2E3FD-C23B-4917-92FC-C53717DA2F61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"199c60de1e7b1805727a447210896226c6321a81","datavalue":{"value":"weakest preconditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436971$11EA386C-6A99-4AB3-BE3A-0FC391381A99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8ece3656e73cebbf8185521cb8f96090a27ebd","datavalue":{"value":"the B Method","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436971$CDA38EAF-F9A5-49A7-AEBA-AC99A3B1CBB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e569e07a49c82ee4107766a600078715f7a3daaf","datavalue":{"value":"probabilistic algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4436971$CB4AA1D7-26FD-4E28-BE0D-8BD2F12A51E9","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":"Q4436971$29ABF8BF-AE73-4695-AD66-C84ECA172B3C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64e585de45193b79dcd3f48b2b35b9223561c1ce","datavalue":{"value":{"entity-type":"item","numeric-id":4436969,"id":"Q4436969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76446f4f64d4635afb3f7a2ccb43bae140793f03","datavalue":{"value":{"amount":"+0.7735581398010254","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":"Q4436971$8D67CFB8-D88A-41F2-A8D7-5A69906FC1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05007e1106a64e16aaa1bf883c21fa6d1e38cee2","datavalue":{"value":{"entity-type":"item","numeric-id":6487689,"id":"Q6487689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"76446f4f64d4635afb3f7a2ccb43bae140793f03","datavalue":{"value":{"amount":"+0.7735581398010254","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":"Q4436971$14FA8BE6-E29B-42BD-A622-66CEF0E78942","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7488a03ade3b2ca6e2bd61bdfb86dc33dd2ef0c3","datavalue":{"value":{"entity-type":"item","numeric-id":5703813,"id":"Q5703813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72d64f1a0bdff7d34e170464145690948114672f","datavalue":{"value":{"amount":"+0.7690749168395996","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":"Q4436971$7290A097-2F80-43B9-9F40-57190147B1D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e182d063b4f78d92bd98fe1fbac8dac2f109c76b","datavalue":{"value":{"entity-type":"item","numeric-id":851131,"id":"Q851131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"074cc6fdd60fc241b7ee925495b9280561ad8bc1","datavalue":{"value":{"amount":"+0.7484000325202942","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":"Q4436971$AB8864A3-E5AA-4715-84CF-21D157C4A5A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fad3ce6b7dab541cfaac15d576fd6230c332c987","datavalue":{"value":{"entity-type":"item","numeric-id":3055752,"id":"Q3055752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419e0dc6d9864d3c4d7e56bf70cdb8398509b4d7","datavalue":{"value":{"amount":"+0.7477172613143921","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":"Q4436971$58C6980B-1C78-4FC0-BA1B-2A3E53226C54","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4436971","badges":[]}}}}}