{"entities":{"Q3166530":{"pageid":3177246,"ns":120,"title":"Item:Q3166530","lastrevid":80003261,"modified":"2026-05-06T15:13:03Z","type":"item","id":"Q3166530","labels":{"en":{"language":"en","value":"Analysis of methods for extraction of programs from non-constructive proofs."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6093283"}},"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":"Q3166530$87E260C8-EA62-4F80-9857-8AC14AF96B27","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01ae3b00fe6c92dbeb61f3feae6f8c55c11a919b","datavalue":{"value":"1252.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166530$9F6F352B-61BF-4D13-8DF2-DC4C1F4F698D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"000a0ee59568f95ac474e6925f3a489823044724","datavalue":{"value":{"entity-type":"item","numeric-id":636372,"id":"Q636372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3166530$D1BC6394-8CE7-400C-9685-1958611D1357","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1a7bd6fe268949410400759835e794c85cfff0c5","datavalue":{"value":{"time":"+2012-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3166530$E6717909-6D54-468A-BD53-1DEB5F228053","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"575edd48591a061e560ffd3ad83f40b16aa38165","datavalue":{"value":"http://edoc.ub.uni-muenchen.de/14030/","type":"string"},"datatype":"url"},"type":"statement","id":"Q3166530$F474D1CD-A3FA-4C6D-BF76-D7F68B689552","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"24aafcf24a21bd70cd3b62d3f5f72a6d0d82d816","datavalue":{"value":"68-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166530$C30CC6A2-52DF-4AE5-B70C-1CE642CDA164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166530$1F6E68A7-6494-432F-AD7A-3D1D1B895FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166530$C37B5205-3183-48DB-ABAE-960CA5563590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166530$FE0A5942-AD91-461D-AD29-D0BFB22ABB46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166530$35A7980E-423B-4ADE-B037-6E105711609B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"53a6dd9f6671ef90670f5c57fd3a10f9dadfeea8","datavalue":{"value":"03F10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166530$31C43681-B1B9-42A0-A956-08D84623F753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166530$1CBBB4B5-701C-4C3A-B9B9-DAD018938737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166530$7F79AF7F-C0BB-4B49-8A7C-21EED30152E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abad938182917ae36ff8a2fa1acc7a481c996082","datavalue":{"value":"6093283","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3166530$17FFDC95-71E5-44F7-B1FA-944F7F5A2715","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":"Q3166530$44DFB3E6-3A3B-4449-BD06-023D1777E35B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d5ffd03910e43758538e0536546f5db73b516fb","datavalue":{"value":{"entity-type":"item","numeric-id":3576230,"id":"Q3576230"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdabee4e392bd781252c986834931e60a718ad68","datavalue":{"value":{"amount":"+0.8646054863929749","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":"Q3166530$44DBBE62-1B34-4729-B43C-81BBCDFAC4D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e06b4fe6c983bb3ab4de626b40fdcb19de88e0","datavalue":{"value":{"entity-type":"item","numeric-id":1823656,"id":"Q1823656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79a0b78a6331243a974a3e4c565e0e092238fc14","datavalue":{"value":{"amount":"+0.8420624136924744","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":"Q3166530$C8109877-69A4-47FE-9A8C-D2C78AE3D330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"656e48ca1509c013c472738abf1c0271b0652514","datavalue":{"value":{"entity-type":"item","numeric-id":5394596,"id":"Q5394596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1739dae5334bbf4e308863d75a886ad88c430ed8","datavalue":{"value":{"amount":"+0.8241683840751648","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":"Q3166530$E915F126-DA8F-495F-AAE9-B398F790F67C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8471ae1c6b614fe348790872da357b6b40fecc24","datavalue":{"value":{"entity-type":"item","numeric-id":4964700,"id":"Q4964700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e63176d886b74aaa176f881b1627daa9dbc2bb","datavalue":{"value":{"amount":"+0.8236327171325684","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":"Q3166530$3AD0F56B-C50C-45B8-BC0D-C5876C06021F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b4e9f165d8e7081b314ba650364565840fb38f7","datavalue":{"value":{"entity-type":"item","numeric-id":2876077,"id":"Q2876077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19893b97ebed8ecc8cd7d3500186d7527ae29f35","datavalue":{"value":{"amount":"+0.8170086145401001","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":"Q3166530$FDEA44F1-F5E1-4AE5-B9C4-F3883EA9A570","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Analysis of methods for extraction of programs from non-constructive proofs.","badges":[]}}}}}