{"entities":{"Q5463274":{"pageid":7492833,"ns":120,"title":"Item:Q5463274","lastrevid":41697298,"modified":"2025-05-07T08:15:41Z","type":"item","id":"Q5463274","labels":{"en":{"language":"en","value":"Exploring Computational Contents of Intuitionist Proofs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2190986"}},"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":"Q5463274$B706413A-C403-4836-8420-87DE774C8954","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3c03e21afc0b6f2072b3b23a5476a092ac558a23","datavalue":{"value":{"text":"Exploring Computational Contents of Intuitionist Proofs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5463274$6678D193-20C9-4D17-B125-09617A3DD580","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"205c59d03ae4f53130490b4021a85859a875744f","datavalue":{"value":"1082.68019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463274$5D9CFA8B-A4F6-4455-B165-9C8C38440841","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85db5e13690d9d6a9f14ca521e4fd601f2572120","datavalue":{"value":{"entity-type":"item","numeric-id":5463273,"id":"Q5463273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5463274$F472F45B-D1F8-4B0C-91EF-9C4E9BAEF0F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"523eb1c9f92e29e52a82edbd2df5947e22806cd3","datavalue":{"value":{"entity-type":"item","numeric-id":281153,"id":"Q281153"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5463274$50E5D8E0-7620-4E77-AB83-FF5FEDC97070","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5463274$D0F70F08-29CE-43FA-8C98-F8B74660C93C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5463274$7E01217B-6662-4C0D-B3CB-5DEF1202ABDA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a70c5180bf550ba6280b74983623a9758e55ebde","datavalue":{"value":{"time":"+2005-08-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5463274$CF5163FC-90F1-4C24-816F-21C74BEAB3C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463274$34E82ACE-943F-4450-82E6-AE4A42B1187C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463274$02A98260-E2B1-491B-8D36-BD8EB8983A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463274$8836D5FE-F120-4843-9560-F9A875F90304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463274$8EE016A3-CD70-459B-951D-8980A9FC8195","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"295ebdd4e1651df0550c936287fd104f858b0776","datavalue":{"value":"2190986","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463274$4ADCA943-A6CA-48C3-BC42-1A6C5EAD4829","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9bc06b0dfbec86650a2b13b83ea31e9af3982c","datavalue":{"value":"Program synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5463274$40331993-8561-4DD6-B082-A23C5C826CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eacfb6532b2d024537312fdf143dea003c73263","datavalue":{"value":"Intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5463274$CFA30193-FF66-4037-81AF-A28FEE797B7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f074bd83511dee54dfc96bccd42603b95eda218b","datavalue":{"value":"Natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5463274$9C5E97F4-3CB4-468E-99AD-DA469889D6F5","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":"Q5463274$07591867-7436-4E4B-B38C-FC3D190CF62F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e54c330ffafe04b1658f5f0fc68271e9e8934523","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzi005","type":"string"},"datatype":"url"},"type":"statement","id":"Q5463274$C54FC1B6-E88D-4B6E-9489-453468C9083D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c00dec5fdbcbe333afd953523d005d84e25ffa38","datavalue":{"value":"W2132386915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463274$F519B8C7-3696-4914-8B85-18F06F3EA90E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a1f5a142807aaeef3bc281f1d1bd370249b900f","datavalue":{"value":"10.1093/JIGPAL/JZI005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5463274$85CE4F52-C856-411D-BC09-A73F38248A60","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e289159aac412911418892251df2ccdf1333e75","datavalue":{"value":{"entity-type":"item","numeric-id":5940143,"id":"Q5940143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68b9e211e5a1dc5fc61105a057a341be1fee4393","datavalue":{"value":{"amount":"+0.95451856","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463274$678925AC-D6CD-4706-AC61-E643D392F698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6622a5dedc5e9018fd80e95b97f402170522adee","datavalue":{"value":{"entity-type":"item","numeric-id":331054,"id":"Q331054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92dd8767bb3dcf28b8cf39731fc0ea43ca6d2c79","datavalue":{"value":{"amount":"+0.9029796","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463274$2914AD9A-E2A8-43A3-85CB-FA477B6F5325","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":"bc113337c6f7b9163d18b4932831c17b1b730fbf","datavalue":{"value":{"amount":"+0.90073615","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463274$E3D5F75D-C2D5-4A28-94E7-ED84B65B0213","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6146ecfabc55084f8cca7e191a79b5b24449a78f","datavalue":{"value":{"entity-type":"item","numeric-id":3743301,"id":"Q3743301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a4c3981c0b92984006ba16298706006661cc1b0","datavalue":{"value":{"amount":"+0.898908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463274$C04A2FD8-10A3-4DE7-9A82-FC95786D981F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec8095a1045c8c48ad9744f44bfb57a9b18780e","datavalue":{"value":{"entity-type":"item","numeric-id":4393165,"id":"Q4393165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54995066299368028265e2131edb647baf9e0d19","datavalue":{"value":{"amount":"+0.8988383","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463274$69D1F7A2-3C01-4A51-9FFC-11E719BF04F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"197b53da15dc24abef0dad67c06bf9560a5c93c7","datavalue":{"value":{"entity-type":"item","numeric-id":5081866,"id":"Q5081866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4130c72e2980b160feec1f93fd8431cd903e0ac8","datavalue":{"value":{"amount":"+0.8957804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463274$3306D97B-1B82-4342-87AD-BFED989A612B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3b59ebcba5f5cd513bd950f5f05359111a86127","datavalue":{"value":{"entity-type":"item","numeric-id":4223027,"id":"Q4223027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f667848f7f8b5ca9548ada06ae07d029944806b5","datavalue":{"value":{"amount":"+0.89521056","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463274$98B74898-F3AC-4EEB-A1BB-249B0E72A3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c3814e9b17beced7df0893ebd8abe9058e12b3","datavalue":{"value":{"entity-type":"item","numeric-id":4635844,"id":"Q4635844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b309248d3cdbc10e0bbda7e029240ae60508d696","datavalue":{"value":{"amount":"+0.89490247","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463274$E02278A8-DFA2-465F-AC39-395E9C52E590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"050bf14540dca0b2c1e7c764593eec922c98e17c","datavalue":{"value":{"entity-type":"item","numeric-id":2908835,"id":"Q2908835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b4243e3907a8ee328979d2486b9bfe0c5360e9f","datavalue":{"value":{"amount":"+0.8931787","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463274$F7691381-41F2-43D2-8393-B4C520C5C450","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2dc5bc2c10736442265cd9379a24a927fb31c4c6","datavalue":{"value":{"entity-type":"item","numeric-id":4268404,"id":"Q4268404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22905b601abd583518a383235254a5ee6d9d38a9","datavalue":{"value":{"amount":"+0.8928192","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5463274$925B297A-191B-48C8-B74A-AC5D0E1373A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5463274","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5463274"}}}}}