{"entities":{"Q2852367":{"pageid":2863087,"ns":120,"title":"Item:Q2852367","lastrevid":83523758,"modified":"2026-05-07T08:37:04Z","type":"item","id":"Q2852367","labels":{"en":{"language":"en","value":"Practical program extraction from classical proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6214064"}},"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":"Q2852367$C6D7324B-BC2D-45CA-8776-913C298D0228","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0e5570e59d887128fae9ea902417d57bbf9d87dd","datavalue":{"value":"1273.68089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852367$B5697C03-0A7B-45C3-AB5D-ABC636B63E4F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ca8506aca58f348d33b74665fbfb9183d8dbaa64","datavalue":{"value":{"entity-type":"item","numeric-id":2852366,"id":"Q2852366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2852367$4520D1A2-9CEE-4DCE-A795-D46E49B7E96A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f50af293f098ce2d7efed0fa0001e47f192dfac6","datavalue":{"value":{"time":"+2013-10-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2852367$46133486-DD3F-4486-ACD1-8D648D98865F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"9a667fad54a18cf54b6514ae3970e9973fb1443a","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S1571066106002088","type":"string"},"datatype":"url"},"type":"statement","id":"Q2852367$21A39ED9-B45F-462C-808F-A140CC0455A8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852367$5E95C03F-BD3B-45F5-A8BA-875455E2F2FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852367$76EC875C-3C99-4225-B53C-78014C378020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852367$E34FA924-1F51-4AB5-B788-33DA03FB022F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852367$0D7586AB-52C3-43EA-8394-6C785EC54081","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8a2491ba1d4d5dee03bf93898cfac490229a53bf","datavalue":{"value":"6214064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2852367$52E8A06D-6B03-4C79-BB6B-811F7522D5E3","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":"Q2852367$3057367A-0D89-48F0-B7C5-C7CB7DEA4E3B","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":"e7456902bfc6ea0c93f130ddbb856c41f8fb8994","datavalue":{"value":{"amount":"+0.9886949","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":"Q2852367$D9B8FFFD-A700-415A-9A48-0A85E85F1235","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":"5a2c667da67af9f21a26922a0bd94c3c32ba00b7","datavalue":{"value":{"amount":"+0.9752701","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":"Q2852367$E207018A-3DE3-47A6-8869-4D800AA89F10","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":"4a63832db0ec6d8dff9bb95554f491b5ab05fc6d","datavalue":{"value":{"amount":"+0.96929276","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":"Q2852367$7E4930F5-9604-4A01-B0B3-C09E62B11504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c64f6636386f48a39eb167327ecb52b30231284","datavalue":{"value":{"entity-type":"item","numeric-id":2752052,"id":"Q2752052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bb096cf6ca164e22427962ed9ea11f3ca3b0c51","datavalue":{"value":{"amount":"+0.962203","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":"Q2852367$DF4062E2-9AFB-4FE1-B3EA-681591DC474A","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":"80db232a7bcdbaed03c857ac123d9672412faaab","datavalue":{"value":{"amount":"+0.9484962","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":"Q2852367$AFD6D7F9-FC6E-4588-BCFF-B668FD7624B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81235c4d3f4c66b6911717e8cbf43cd34a5bdfea","datavalue":{"value":{"entity-type":"item","numeric-id":912594,"id":"Q912594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7668446fcae8323678f105c7903d974f89808e89","datavalue":{"value":{"amount":"+0.94443536","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":"Q2852367$0A1E7F32-7FD1-405C-B161-74E748314CEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fac440234bc7126bd1963a74389d5ddb43e6c842","datavalue":{"value":{"entity-type":"item","numeric-id":3608421,"id":"Q3608421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f97bde8df6feb6fc350b32bdc0cdc9cf549a237","datavalue":{"value":{"amount":"+0.9418998","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":"Q2852367$E9F96500-C95A-4F6C-8A85-CFFED844E999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9152ec9adda1d6ca91f0619412e3b33aee49a0e","datavalue":{"value":{"entity-type":"item","numeric-id":3559767,"id":"Q3559767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9626af9b841627c0b416b424a7c48c703d6010e3","datavalue":{"value":{"amount":"+0.93561435","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":"Q2852367$FFB56B5B-BD51-4AE0-AE67-B51164F917DA","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":"ff1ca0196cf8a4656b0a02ea228ee52767c38b1c","datavalue":{"value":{"amount":"+0.93242407","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":"Q2852367$12879D40-8F3E-4202-A3F8-B7935D088AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6f59cfc1a0633b01260c3c05ad30aa1c6482bd35","datavalue":{"value":{"entity-type":"item","numeric-id":2722042,"id":"Q2722042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33419b196c8f41e2a726cd07cd08e838b59623fc","datavalue":{"value":{"amount":"+0.92853487","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":"Q2852367$FAD5D70E-D1AB-4243-9383-2E80A32DE134","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9e27fbf5bcd95f235f2df3d041b27f887bd6831d","datavalue":{"value":{"text":"Practical program extraction from classical proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2852367$94387213-54C2-4D43-B33E-948D1ED48C32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Practical program extraction from classical proofs","badges":[]}}}}}