{"entities":{"Q4594253":{"pageid":6623838,"ns":120,"title":"Item:Q4594253","lastrevid":52959275,"modified":"2026-01-23T22:05:22Z","type":"item","id":"Q4594253","labels":{"en":{"language":"en","value":"Classical proofs as programs: how, what and why"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808173"}},"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":"Q4594253$107B335D-E2F9-476F-9523-9DD22EF5A98F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2662835902339e0820f0f63b784bb63e9b0d0a0d","datavalue":{"value":{"text":"Classical proofs as programs: How, what and why","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4594253$CE474C9A-F59A-496D-81B9-55F61F200392","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48c0c4ef0cc5b25065cfcbb4f9c8fe8991038fe3","datavalue":{"value":"1379.68099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594253$09BDC82A-20EC-47A4-BBAB-871503330242","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6620aa0ac4dee51dff24778f981fe0d2af4c09b","datavalue":{"value":{"entity-type":"item","numeric-id":4594252,"id":"Q4594252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594253$D7961E56-E389-45D6-A3F1-CA7627D3E88C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594253$87CB6690-CAC5-43B0-9013-9EE901A07CA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4594253$C100E492-FD31-4DE5-9CC6-C0415E10D64B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594253$3F43854A-CA01-409E-A403-C1422E2CC154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594253$DE937AFB-E1EE-4731-9E48-678B9B8D5C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594253$C6CFDA97-21BB-403E-ADDD-4E0F32E79BAA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"be5bf6bdc2698780f757ab674cde1a9a2db147d7","datavalue":{"value":"6808173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594253$A4FB43E4-CEC9-4163-8777-1374184A2907","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":"Q4594253$4FA77EC1-8648-4952-B34D-79381E733D57","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5051f1a5c22df96dc83a614017b259de2f60f1a0","datavalue":{"value":"https://doi.org/10.1007/bfb0021084","type":"string"},"datatype":"url"},"type":"statement","id":"Q4594253$5B9AF326-E3E2-4908-AF07-CE22E943D8F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fb3e22e556d97590dbaa3a558226d0acf4738b28","datavalue":{"value":"W1757945753","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594253$C95728C8-23A7-4505-AA46-490587C17A3E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8bbf8a29f2a7a087cf6d5731fdddc8a8f8c7e5d0","datavalue":{"value":"10.1007/BFB0021084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594253$24EF352A-252E-493E-B816-496D5B714312","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb2739fbfff016a5e366eac26cb88c1736bd7b8e","datavalue":{"value":{"entity-type":"item","numeric-id":4282613,"id":"Q4282613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ebc32a01d959a888a1b3a29fd8fa284b5699f44","datavalue":{"value":{"amount":"+0.8424604535102844","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":"Q4594253$7E85E7C3-9455-4764-847A-0F62B20782D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f049ad994992d3502281cb465c6a726710ff80d4","datavalue":{"value":{"entity-type":"item","numeric-id":4012886,"id":"Q4012886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2382a5f99fac05447eaffd7a1027e63a8981e12","datavalue":{"value":{"amount":"+0.8239123821258545","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":"Q4594253$3B920FDC-A595-4999-B30E-67DFE74161D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e653c6a3446968fd019febeccb6f5e0a749547d","datavalue":{"value":{"entity-type":"item","numeric-id":2757810,"id":"Q2757810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"922fa267a215658fbb58d0574cb3d5058a322b75","datavalue":{"value":{"amount":"+0.8229923248291016","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":"Q4594253$A349C531-F39E-402E-AA83-7FE5F664E5C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f3729b0e8c4dddb325f1b0df9df0be3d5efa45e","datavalue":{"value":{"entity-type":"item","numeric-id":4883280,"id":"Q4883280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2b7865de7120aecab87c3b881eaf4dddc886ab10","datavalue":{"value":{"amount":"+0.7901030778884888","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":"Q4594253$1965ECD3-F8A4-49AB-AAEE-BF4E7822C180","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"096d21890c1496138948b96dc35d29ed108a275c","datavalue":{"value":{"entity-type":"item","numeric-id":2852367,"id":"Q2852367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35684b06bd5d303edf496b2b8a2492ece626ce74","datavalue":{"value":{"amount":"+0.7900671362876892","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":"Q4594253$797DCDF8-92A8-4408-BF54-13375D553D33","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594253","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594253"}}}}}