{"entities":{"Q4460836":{"pageid":6490435,"ns":120,"title":"Item:Q4460836","lastrevid":48265339,"modified":"2026-01-04T04:11:06Z","type":"item","id":"Q4460836","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2063221"}},"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":"Q4460836$8C80BF94-B7AB-446D-B53B-DA60A4D2C0F7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ecabc4a4968da1e92b825f84b66c83d7642d24d0","datavalue":{"value":"1039.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460836$FEAC72E7-73ED-41B0-B73C-3F93BCFB3A01","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2a5aaaaedccd4510fd0a673e580a02dfc40b417b","datavalue":{"value":{"entity-type":"item","numeric-id":404479,"id":"Q404479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460836$FF4E21AA-6B46-4419-BA28-AF29AA186F3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05601a30d2332fb5b5c95c774ac3fc8d65c65046","datavalue":{"value":{"entity-type":"item","numeric-id":2709210,"id":"Q2709210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460836$3FAFC8C8-368C-4A60-8A24-6535EBB67C77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33423fd214e41478017ece7904a590cfc211acb0","datavalue":{"value":{"entity-type":"item","numeric-id":752666,"id":"Q752666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460836$6D446D37-FB99-4E7F-8269-BCE816CCD494","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"110880ff26eef9f5e1af58cc71c5a50e7726cf6c","datavalue":{"value":{"entity-type":"item","numeric-id":1390951,"id":"Q1390951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460836$533964C6-85A2-4227-83C1-AF17EE715AE5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e1cd9bf3779f6c23821bcce79ad403c8df2b71c8","datavalue":{"value":{"time":"+2004-03-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4460836$7E92B6ED-F96E-445A-8F4C-52E8F80CCD54","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460836$B52932BA-97EB-4BC6-A53D-EF67B55F5BB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460836$6EBEA950-DF4B-40DA-944F-D9FCA80A10BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"344f62a15ccd40e690364bd758985e8313f47f4a","datavalue":{"value":"68R10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460836$7D3C0F3C-C9FD-46E6-81F8-9DDA5063E3CD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"285ddb110e83ffc4fca1398b0250e842f61df2f0","datavalue":{"value":"2063221","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4460836$38134F2A-82CB-4029-8963-AB8CD2EBB7AA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2377b88a696371844cdb9dc79202e137415d896f","datavalue":{"value":"Curry-Howard isomorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460836$28F4967E-8D9E-48E2-A2BF-456573D2DD43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc4f6f1ebc284c31dc4bcb934bcf27f7f094af77","datavalue":{"value":"computational type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460836$5DC8A6E7-A83A-49C6-B44D-E4F29C66300B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a493007d44ead1367f2d028e9718216644b1111","datavalue":{"value":"cycles in even parity graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460836$6A426B7B-664A-42CB-81F6-EE356988F1E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77ca631beb66b70b3de595ac32e557aa62c1259","datavalue":{"value":"automatically extracting programs from proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4460836$0BD83AAE-3674-4218-8305-366CB8600B57","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4460836$E3735A87-C6E4-4C92-8517-3BAD5F0FD3DC","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":"Q4460836$726A3D98-855D-431B-8532-68E4032D2156","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e685d69d283656beb9594427f4c97f9ccfa7280","datavalue":{"value":{"entity-type":"item","numeric-id":4421868,"id":"Q4421868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7da2b18f7928e2ab0c10b31633472603058f4b78","datavalue":{"value":{"amount":"+0.878063440322876","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":"Q4460836$DF8B3F4F-E204-45D5-A627-9DE305963B9D","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":"7da2b18f7928e2ab0c10b31633472603058f4b78","datavalue":{"value":{"amount":"+0.878063440322876","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":"Q4460836$5F69B615-8B71-425F-90A0-ECBA775EDB98","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":"0953ac2d88599be9ba61a20d3eae669008039316","datavalue":{"value":{"amount":"+0.8107160329818726","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":"Q4460836$A70C3DBF-5B9C-42FC-AB82-E24E2541E383","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":"7822db55535f5a028024ed3f6238cd35f9dbe91d","datavalue":{"value":{"amount":"+0.8038700222969055","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":"Q4460836$5051EABC-07DF-46C9-A984-663E04088790","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":"bc4771e9aa0df2a21ac08c329a4406214b0920c6","datavalue":{"value":{"amount":"+0.8014768958091736","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":"Q4460836$61C60F37-4681-4074-BC01-37ACB6C08B24","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4460836","badges":[]}}}}}