{"entities":{"Q693063":{"pageid":694912,"ns":120,"title":"Item:Q693063","lastrevid":51609407,"modified":"2026-01-19T01:37:25Z","type":"item","id":"Q693063","labels":{"en":{"language":"en","value":"Proofs, programs, processes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6113703"}},"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":"Q693063$7A8D4390-23E7-4269-8D08-4005F72E89EF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e877261973267ac35f6b336ab6a9ceb88169f46c","datavalue":{"value":{"text":"Proofs, programs, processes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q693063$50583DF8-66E9-40A3-B8A1-534C9727DA44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"36dc5ee2031adc3b3059264ebbdfee559565aa4c","datavalue":{"value":"1280.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693063$DBCE51DF-37D4-41E4-A98D-4592D8909F35","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"56802c23e662b5a0028381459762dce10bc420a6","datavalue":{"value":{"entity-type":"item","numeric-id":234584,"id":"Q234584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$3FA49C3D-BA56-44BB-95CD-6102914A6937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d06c1321f49508cea4a158e2ae71d33c1ecda72d","datavalue":{"value":{"entity-type":"item","numeric-id":693062,"id":"Q693062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$AD4495DE-777C-4D26-ADE2-CBC19204797A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b559743f011d61696dff04b2ecd3408df2541e49","datavalue":{"value":{"entity-type":"item","numeric-id":169698,"id":"Q169698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$CDA49836-61F6-41B4-A297-1103A04461DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d62db44b55e2d42b0d0356bed0e442d914b0181","datavalue":{"value":{"time":"+2012-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q693063$77227192-D31A-4F2A-9D3F-6917A0969751","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693063$4CE30171-8C87-4B51-A0F8-639F27D3454C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693063$CC407594-F2A8-4497-9932-B3D885828793","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693063$09938FD3-57F5-4EDE-90C1-7818333BC5A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"567f6e262baced659b7051d6fcd51a716a8007d3","datavalue":{"value":"6113703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693063$2B160188-6879-46E2-A404-351624C27683","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"36a96860261afab88486624af0939a44f9aa584f","datavalue":{"value":"program extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q693063$51EE00BA-276B-4778-BA99-94C54BF47CCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q693063$54E77FD5-98EA-40CC-87E9-4EADC55FBCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fafcf953018573f92a433319a1c11197d7661331","datavalue":{"value":"coinduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q693063$C069F8D6-11E6-4C7D-9463-A2162C884748","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d431df716f18d5ce66b07bc6747cc07a2e64323","datavalue":{"value":"verified programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q693063$29280D91-E328-42A7-8A0D-D01A9E3C7720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9b229ed9383ed2232d0f4aa93f4113d23427c959","datavalue":{"value":"exact real number computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q693063$07FA4441-BD69-488C-B1F8-861508EE4461","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$C12C155C-A8EF-46AC-BB7A-FEE7F88F399A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$2C77B59A-7726-4D12-8B96-895FAB8AB765","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":"Q693063$FFDB47F6-8D29-4DE6-AD34-4E908F098869","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70c92dbdebfd51d7e46ae1a753b13df47010670b","datavalue":{"value":"https://doi.org/10.1007/s00224-011-9325-8","type":"string"},"datatype":"url"},"type":"statement","id":"Q693063$25ED1981-92CF-4E9F-99A2-F4497BF67E34","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"059ed699ef956fee564e1cdb622425549398e5a7","datavalue":{"value":"W2076405698","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693063$629D21C3-588E-43BB-8F0F-0BD026DB6DEC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e6f0b82d28d67b4e3312c91b8fa8f0254a3dc1e","datavalue":{"value":{"entity-type":"item","numeric-id":4524766,"id":"Q4524766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$3D0B8440-122C-4F14-A30A-27D8F5423F08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34b6a23082bddb50572b09dfeacb47466c62033","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$DF934695-BE38-4581-A16E-AA323BFD379D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7775af0dfcf78f0eb01b93b06a122479305aedfd","datavalue":{"value":{"entity-type":"item","numeric-id":3431543,"id":"Q3431543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$1255DA62-AC44-45E1-94D8-FAAE6DA48E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57ff636533b987e234adc4fd4061c37871085914","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$F6252A0B-DCA7-442A-9AFF-B8BFCB0BAF4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78397a6b6e42b69903bd088b28039405be6568a1","datavalue":{"value":{"entity-type":"item","numeric-id":3075213,"id":"Q3075213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$D899254C-E0AA-42D5-88CC-D474994AF883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b822b85db8677253a219ea1a385eddacb5927738","datavalue":{"value":{"entity-type":"item","numeric-id":1166517,"id":"Q1166517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$20808E17-611D-4BED-9CC1-C0B5AE0F95CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"918f2ab1b9ec59829674d3c94f9d64972bb8ff93","datavalue":{"value":{"entity-type":"item","numeric-id":1015372,"id":"Q1015372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$485B5130-6D27-4D91-9F9A-7DD4CCD28C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"947ff4f1467bd12728eb045254844c67b3ca5950","datavalue":{"value":{"entity-type":"item","numeric-id":817858,"id":"Q817858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$1D91AE42-304D-4E63-977A-962B3FC9150A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10630f5160097667960414f663a902e7cb3018df","datavalue":{"value":{"entity-type":"item","numeric-id":3087995,"id":"Q3087995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$C9DA6F7A-1BD1-48EE-857F-2B3D5A90579D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d5fcbceeee9b607f3b8d5e4275e1fcddda82061","datavalue":{"value":{"entity-type":"item","numeric-id":4813225,"id":"Q4813225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$7BD58904-1CE7-4C25-89AE-CF42C740358E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57615c1f5632b5185c58110d29ddedec6b7c841b","datavalue":{"value":{"entity-type":"item","numeric-id":2863899,"id":"Q2863899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$23FCA0F3-6EED-4AE6-91C9-FDACB262C4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbcd227ab4c290953d9455bc9a5db019f8f0d8a1","datavalue":{"value":{"entity-type":"item","numeric-id":3431542,"id":"Q3431542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$B54C46A1-3E52-471B-91B5-D2A58045D646","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c0f1ab68b59c3162c71f414c30faa1b5b27f3f8","datavalue":{"value":{"entity-type":"item","numeric-id":3507440,"id":"Q3507440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$8165CD60-5BDC-4AF6-B047-6E662654B28C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cbc492aae6606d7fc7e30022e1b80faa51ce6ed9","datavalue":{"value":{"entity-type":"item","numeric-id":1884884,"id":"Q1884884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$9A4E2741-93DC-4428-8AA6-9B7A3EEC6AF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"312dcbdb4361e8755d36bb4d2280c7a2a7cea28b","datavalue":{"value":{"entity-type":"item","numeric-id":2373708,"id":"Q2373708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$3DFF0269-D788-4CDB-B1FF-C849B9EE01DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2781cee05a185500a694dc8dde26587ce3144f65","datavalue":{"value":{"entity-type":"item","numeric-id":3535611,"id":"Q3535611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$14DD42FA-4E59-4F19-B54F-82A9411CB373","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b85ec644d1895229fb9a0063bc11fc1d9a36f9be","datavalue":{"value":{"entity-type":"item","numeric-id":2882563,"id":"Q2882563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$5ED0EAAA-9E25-4BD5-8881-4EB477F18F4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05c5e51d812eea53dbe00a3fc8adf68e10e25f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1015381,"id":"Q1015381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q693063$2BABBACE-8807-4A31-85A5-2A9AAF36D0C4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2529d9e1acb25b68ab18c7eed3adc29cf77ce27c","datavalue":{"value":"10.1007/S00224-011-9325-8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q693063$4CC9C728-93BE-4FED-B57D-6BCAEB0C4325","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b6b13962684c8466629888c66ea6edcf94e7000","datavalue":{"value":{"entity-type":"item","numeric-id":3576189,"id":"Q3576189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f7e30b556846922bcc84ab1862fda1d69468d80","datavalue":{"value":{"amount":"+0.9727026224136353","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":"Q693063$2A32674E-0B7D-418A-9084-FF3276B23E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da37791c9e2e732ecd85d3ecc7996e5b3bfc227e","datavalue":{"value":{"entity-type":"item","numeric-id":3003309,"id":"Q3003309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3bf20d60fbafb5fbd73a5778d7a93da2db663932","datavalue":{"value":{"amount":"+0.8913561701774597","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":"Q693063$321E4C29-9CF8-41FD-B95C-39396573E46E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"84cc33258b3ac39d09f926d22f71e44159046283","datavalue":{"value":{"entity-type":"item","numeric-id":5740678,"id":"Q5740678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e13c68916efd242c9d71d782407f76c2e4e53b80","datavalue":{"value":{"amount":"+0.8780739903450012","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":"Q693063$FE372E43-762E-4294-9D00-CCE77A663A33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5d80213a2c062f7c2f483fcce36adba4f0d8444","datavalue":{"value":{"entity-type":"item","numeric-id":3081640,"id":"Q3081640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03dc65c626f41abb9c5692a17df4bfac3f1dd37d","datavalue":{"value":{"amount":"+0.8618676066398621","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":"Q693063$BA41D069-13F7-4197-9FA5-E18677BA75A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d97cb94e392302237f2f3a394c50c071b2af711c","datavalue":{"value":{"entity-type":"item","numeric-id":3644745,"id":"Q3644745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f5306eee4cf1dcc1a274e50af42c31a3e7beed2","datavalue":{"value":{"amount":"+0.8591751456260681","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":"Q693063$9D877F02-B516-4DCD-AC40-B090927DAF65","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:693063","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:693063"}}}}}