{"entities":{"Q1823656":{"pageid":1834398,"ns":120,"title":"Item:Q1823656","lastrevid":43352447,"modified":"2025-07-25T01:04:56Z","type":"item","id":"Q1823656","labels":{"en":{"language":"en","value":"Extraction and verification of programs by analysis of formal proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4115926"}},"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":"Q1823656$DC04AD1E-7406-43C2-975C-CE2B59979F20","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"03cc60c97e2d34b689b6f12d97f82deff2885db0","datavalue":{"value":{"text":"Extraction and verification of programs by analysis of formal proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1823656$78946DB0-D17E-42CD-B0A9-26C60EB18214","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4dce5553c386f0efd4bf00ac8962d78cfd5459b","datavalue":{"value":"0681.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823656$BA010B3A-8D8D-4257-90F6-32F45E6DD87C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b09bec2c12f184627b8931cec8dd85deb22decc3","datavalue":{"value":"10.1016/0304-3975(88)90125-9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823656$4CA49E3A-67E8-45A1-9DE8-B0E5134A84C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c0e032b93f83c3b5d5aa349ff94ac2e8f1aceb56","datavalue":{"value":{"entity-type":"item","numeric-id":1823655,"id":"Q1823655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$9F1CEF9F-D195-45EE-954A-5F55C6FF4658","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$689DF2DE-D1C5-445F-A03D-336B463CB692","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":"Q1823656$87CCEBAB-E08A-432A-8F96-338D3086621A","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"ef57bc7019edcc37eac05ccd6249604300e8dd5a","datavalue":{"value":"There are various uniform constructions extracting from every constructive proof d of an existence theorem \\(\\exists y\\) A(x,y) a program \\(f_ d\\) such that \\(\\forall x\\) \\(A(x,f_ d(x))\\). Realizability interpretations produce \\(f_ d\\) which can be written in one of the popular programming languages [cf. \\textit{N. Nepejvoda}, Dokl. Akad. Nauk SSSR 239, 526-529 (1978; Zbl 0392.68004)].The size of \\(f_ d\\) is a low degree polynomial of the size of d. Another program extraction method is normalization of d. Substituting number n for a variable x in d, normalizing and taking the final (\\(\\exists)\\)- introduction A(n,m)/(\\(\\exists y)A(n,y)\\) one puts \\(f_ d(n)=m\\). It is known [\\textit{M. Hagiya}, Rubl. Res. Inst. Math. Sci. 19, 237-261 (1983; Zbl 0522.03041)] that often (for example when open assumptions are Harrop formulas) complete normalization is unnecessary; it is possible to avoid permutative reduction. The proof d can also contain non-constructive parts, if they are not used in \\(f_ d\\) [cf. the reviewer, Normalization of natural deductions and effectivity of classical existence (1979); English translation to appear in \\textit{G. Mints}, Proof-theoretic transformations, Bibliopolis Edizioni (1989)]. It seems that the program extraction algorithm proposed by the author and producing programs in a Pascal-like language is based on the combination of these ideas with some other optimizations. It combines encoding of normalization steps corresponding to unwinding of inductions with analysis of the fine structure of the formal proof. The description is very cumbersome and attempts to give comparison with familiar proof-theoretic notions and constructions are made only for the very first steps.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823656$AEAD9A52-E2B1-41DE-B1CF-2DB35CE0B231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823656$B3B94E49-F68E-44E7-B3FB-B8DDE9E56883","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823656$B34CED8A-750F-4AA1-AED6-A2045F6EF22E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823656$5EE5F8AE-8240-4FFE-93BA-8E21C10C5FCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7532dc83303cd1cc9eb3f62ab0f128cdc6441374","datavalue":{"value":"4115926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823656$BA23C0EC-4549-47F2-8E0C-0F19D48FED61","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"258d687d394033d506294dd2c595f4a1244580cc","datavalue":{"value":"program synthesis algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823656$0B8B201D-9DA6-47A9-A3EB-0C9A429A0C1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c50d987ab7c3ea2a41cb6aca681d912964971ed8","datavalue":{"value":"program verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823656$1BA55A87-1375-4569-BDCF-7E5C51AFE853","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c123212aa79a8c6aa156264be1012ed5853d996c","datavalue":{"value":"program","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823656$CB0947B2-D1AA-4EA0-ACF9-2A703AA77928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823656$32CCD073-549B-4944-9B82-629391BCA6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1823656$F4D508FF-A856-466A-A153-F70BD9147036","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"8f432bccb81d11b6d0c5be5373ba82abf19c1967","datavalue":{"value":{"entity-type":"item","numeric-id":454365,"id":"Q454365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$B54E6F93-8F68-4088-8936-1B92F534EBC6","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":"Q1823656$CE9C6166-C238-4281-A9E1-D827565C9B81","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"09c458c3dc6829f4fab7fdf0ff74596a243411d5","datavalue":{"value":"https://doi.org/10.1016/0304-3975(88)90125-9","type":"string"},"datatype":"url"},"type":"statement","id":"Q1823656$5EFD23C4-C9AB-46D4-A67F-06538439922E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5eecef6cf50fd56c7f22c8ff3ecdc18af70508f6","datavalue":{"value":"W2084093324","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1823656$EF3E4EA7-8A4C-4E44-8AEB-E56F168707B0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d656ee44a323e749d5c6d4cf3e4b8271c3af114","datavalue":{"value":{"entity-type":"item","numeric-id":2542990,"id":"Q2542990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$04E2CF8A-4526-4663-A9D2-F1EC4759B174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"59517a6c21b9a332c3780f5f2e227e66aa954537","datavalue":{"value":{"entity-type":"item","numeric-id":3687689,"id":"Q3687689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$699A96CD-EFDA-4A96-857A-675637DB1EBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eea99123da2695520a05a9af8732102c0970d97","datavalue":{"value":{"entity-type":"item","numeric-id":3027000,"id":"Q3027000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$B1FF787D-8487-4C53-A566-0C0082F9D893","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a3e39270a743fd7bd7ac0ed5d8bfbfa75e2295d","datavalue":{"value":{"entity-type":"item","numeric-id":3859241,"id":"Q3859241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$B38A7B23-BD37-4DBA-9A1B-3C4BF5CEB125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"092be92e7b599902deb7b1af066f9095dbab8ce6","datavalue":{"value":{"entity-type":"item","numeric-id":1233865,"id":"Q1233865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$B8262A98-0ECF-4086-9341-9BEB422CA5E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c5ae7e408b1d1201c271e00762d47096e39a012","datavalue":{"value":{"entity-type":"item","numeric-id":4111080,"id":"Q4111080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$C8EF9427-033C-4EA8-84DC-6F3E0333BF1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c9bb51b99d141ad44282a05cad656f6d90fe4fd","datavalue":{"value":{"entity-type":"item","numeric-id":1224418,"id":"Q1224418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$28531A3C-76EB-46B9-BC24-2AC8EFED068D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3ed33d75210f4b470fc995229f8d6e408696f04","datavalue":{"value":{"entity-type":"item","numeric-id":3922646,"id":"Q3922646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$3A576A81-4A8B-4D75-98E1-EF2699657033","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1435f3ecb80e66ef3a6c0e0b3b5e54cc7cafb970","datavalue":{"value":{"entity-type":"item","numeric-id":3880322,"id":"Q3880322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$69BF7B82-ED19-4CEB-B27D-AC3A77B8FB09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"24f052a64cf669c48b098163e065f113a757924c","datavalue":{"value":{"entity-type":"item","numeric-id":3278334,"id":"Q3278334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$38012286-E39E-4A65-BB00-9430F0D73E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$35966D0F-EE0F-4A5B-B2CF-E4B57569CFD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"884405834b1ece117404c719205493a4ee406b4b","datavalue":{"value":{"entity-type":"item","numeric-id":1846739,"id":"Q1846739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$EB0C3E8A-9A24-46DE-9317-CC79CE56FAD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6d0ff209a8c00e6853b2c43b2e31810805788f0","datavalue":{"value":{"entity-type":"item","numeric-id":3935355,"id":"Q3935355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$DCB8FB65-59EC-4D4C-9B63-2AB9D240DC8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92e30a0ffd2b86cebd75cabd16cb9d8f152bd16c","datavalue":{"value":{"entity-type":"item","numeric-id":3880844,"id":"Q3880844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$7917B45B-23EF-4834-B34C-CA4FEE42952A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f8ec634414d5fc2533683d9bfcef49471aa7115","datavalue":{"value":{"entity-type":"item","numeric-id":5817391,"id":"Q5817391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$D18C902F-A112-4CED-BA89-0F87AAD491A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"779a756daeab8a8a58e91b2835f5b54603849913","datavalue":{"value":{"entity-type":"item","numeric-id":5343326,"id":"Q5343326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$AF5D103A-6187-40F0-B8F8-ADA1094096B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a9979469b08338cac6986677509579b97c8bd2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4083402,"id":"Q4083402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$154CBC8C-201A-4253-AC15-462807371447","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c66101d7c220497845264a62fc655d0a0090b58b","datavalue":{"value":{"entity-type":"item","numeric-id":4194954,"id":"Q4194954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$25D79FA9-BBC7-48C4-B0FB-69D0B4334206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f69e4e3c6e6db6273645f322c23116e1ad1c80","datavalue":{"value":{"entity-type":"item","numeric-id":3343983,"id":"Q3343983"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$944B78BD-3706-4544-B00C-8662EB4BF62B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ee8fe1191b9d814a579183f943d97319419e687","datavalue":{"value":{"entity-type":"item","numeric-id":1845874,"id":"Q1845874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$BD44A645-60EB-4757-9D50-0942680C9EF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8207abc13fab8d23f526b8bc7117a2213b5c851","datavalue":{"value":{"entity-type":"item","numeric-id":3664429,"id":"Q3664429"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$FA18D78B-0A71-4CE8-B475-3A6A1E7E5FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$BD4A2D1B-57FB-449E-B1B0-A492B78EFFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ed6186f00d683b4c7cb7f70af7a03fd2b654c87","datavalue":{"value":{"entity-type":"item","numeric-id":5632554,"id":"Q5632554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$80807B96-B672-4DBB-A9CB-CE5EB8B1BFE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72f0d3b2361011a3bcd06369cbd16591210989d0","datavalue":{"value":{"entity-type":"item","numeric-id":3717107,"id":"Q3717107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$4FEDE619-4217-4ADC-A6E3-D214CA941D43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de56d3f848b4a61765ead336bc0a9cb93357b46a","datavalue":{"value":{"entity-type":"item","numeric-id":3927240,"id":"Q3927240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$DBE4AEA1-CE49-4C51-85E7-6834D18A5D89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$9662E906-690F-4A84-95A9-9E5981D7C45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"401b36d33ea3cee242ad94e0a68f91c3ad94012f","datavalue":{"value":{"entity-type":"item","numeric-id":3932279,"id":"Q3932279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1823656$680606DD-6F95-4670-AB74-1075771DA253","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bec4a20e39cb469ea537165afb621af7169d4770","datavalue":{"value":{"entity-type":"item","numeric-id":6064277,"id":"Q6064277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"222288cf1d180c7df2517f55981b7a1ed5d5b281","datavalue":{"value":{"amount":"+0.8778557","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823656$B94B7DF5-F59F-4F48-AC00-AE33020E94FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75cfc7d997c33ab783a0f8b7577b99fbfdcdaeea","datavalue":{"value":{"entity-type":"item","numeric-id":1595930,"id":"Q1595930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff9d1c2d59f4c9ff9feb6f46db3ea934ea11153a","datavalue":{"value":{"amount":"+0.8418556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823656$DCA454EB-1ABB-4F96-8810-904ADF9F08BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40b681b8f19e2d8c6c9e63744dd97ab3461df7f2","datavalue":{"value":{"entity-type":"item","numeric-id":4764104,"id":"Q4764104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"097c0e725a480da3d67d3a4450594a2f77cfae2f","datavalue":{"value":{"amount":"+0.84039503","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823656$AD133112-4A14-4F7F-A530-264E5E10BADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a49efe1002fe0ae12dff09a0d1de418844a82427","datavalue":{"value":{"entity-type":"item","numeric-id":4460836,"id":"Q4460836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5580e3af6d93e4219c0de6b73abc4db38bfd6965","datavalue":{"value":{"amount":"+0.83893555","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823656$B9111E75-C29D-4600-924D-5D804FE31F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c4de2f674dc67d9ed71923062e0cb417a719c83","datavalue":{"value":{"entity-type":"item","numeric-id":1882897,"id":"Q1882897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f553023b2b69ef0cbc2b774dd33397b908d7656b","datavalue":{"value":{"amount":"+0.83833677","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823656$E6FF644B-9D1B-40AF-A760-0E7CFA0E53CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa08c5a00f5531fb6f6d1ed4e904c01617438f59","datavalue":{"value":{"entity-type":"item","numeric-id":2500489,"id":"Q2500489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d67db764e9a1ea510e9ec8254c617938125a6aa3","datavalue":{"value":{"amount":"+0.83788013","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823656$E013D297-D54B-4991-98CF-8B0440B9C571","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"994abafcebf920ff08b53f01fe6fca3bc5aaf07b","datavalue":{"value":{"entity-type":"item","numeric-id":4038676,"id":"Q4038676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f851c5eac1788258087acd682c7ef7bed196a7","datavalue":{"value":{"amount":"+0.83615273","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823656$20895F98-124F-401E-9FD3-022930D43387","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a52157cc4613cdee7a257e5e0c55af2b1b7311e","datavalue":{"value":{"entity-type":"item","numeric-id":808284,"id":"Q808284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ce8b9022aacc0797b29aa695dbdb9fbe948e802","datavalue":{"value":{"amount":"+0.82820845","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823656$3E9FF5E3-2B99-4362-ACAE-2EC466B162AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd717f4b364c057469372f99f8840236b942a9db","datavalue":{"value":{"entity-type":"item","numeric-id":5957850,"id":"Q5957850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c3c43c36a1aa65b307c63fa2e2b5400b1bb0bf7","datavalue":{"value":{"amount":"+0.8205133","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823656$05B7A015-8FD8-4148-988C-C6BBF720E07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"453af8c03d498c8d21ec56b964e9b31f940ab75c","datavalue":{"value":{"entity-type":"item","numeric-id":5751976,"id":"Q5751976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1eb78bd685afdb634111231c5dfbe7fcd284a71","datavalue":{"value":{"amount":"+0.8158964","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1823656$5268FDB4-16C9-48B1-A7F8-BE5252DBC91A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1823656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1823656"}}}}}