{"entities":{"Q2958547":{"pageid":2969266,"ns":120,"title":"Item:Q2958547","lastrevid":79805000,"modified":"2026-05-06T14:44:50Z","type":"item","id":"Q2958547","labels":{"en":{"language":"en","value":"Extracting Herbrand trees in classical realizability using forcing"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680160"}},"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":"Q2958547$FCF795D5-1442-4ACF-AF8E-48375C8E3B09","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4f5ba8fd5f8934e9d3a2d5cc75950120e50566c","datavalue":{"value":"1356.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958547$F5989DBE-78C7-4FB4-B150-B4AC6F3156B0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"930848d41144cbe5d1313fbb6ec72f333940b7a2","datavalue":{"value":{"entity-type":"item","numeric-id":483061,"id":"Q483061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958547$EA983EA7-8C35-4A41-874F-C4FB3E285115","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fbf1e12e524523bcb26fd2bf4306fb66c1e3cf9","datavalue":{"value":{"time":"+2017-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2958547$26C770CA-F80F-425C-A404-CE6450B043BB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958547$B7430056-B4BF-4140-9813-8BD766DE380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958547$461092B2-B022-49FF-ACB6-4701130B1623","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958547$312E5899-C47D-4FCB-B5D6-8C96F38F7FD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958547$0EE60345-098D-4EAA-8D46-356AB3DA66FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958547$DF4E6042-DDB0-4FE2-B59E-6D52C70B73B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ecaabc54462873cc3502b9b5e2f116fa4211861","datavalue":{"value":"6680160","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958547$149375B6-F7C3-4D96-8D51-23E0D67062E7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3329e5ddc19ec41605ea21e54e688588faa574a2","datavalue":{"value":"classical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958547$B6832FF1-D901-4BBB-9261-F86C67339AB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b23248042bd506455f51600d00d7ec5443276f9","datavalue":{"value":"forcing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958547$0405447B-1C52-4624-9F4C-18375059AAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f89b34d84a29901e6cfe557573b31fa1373d9525","datavalue":{"value":"Curry-Howard correspondence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958547$B2647E97-A29C-4773-902E-4B3684318D12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5f05a48b4f09a1f54e9be05336074c857601bc61","datavalue":{"value":"Herbrand trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958547$0117419F-5ED0-4B56-B831-94AAC8C6AEF6","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":"Q2958547$98B840B9-2851-47D8-B715-4A2DCF4D7F0F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fbbcdfd17f13ad8917ce71300a638dd6b3faa5a0","datavalue":{"value":"https://doi.org/10.4230/LIPIcs.CSL.2013.597","type":"string"},"datatype":"url"},"type":"statement","id":"Q2958547$3410CE26-85EE-42DC-8FDD-FAEEC8898B93","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e9473779c8650c40491f83433a3a3b33b10f2c6b","datavalue":{"value":"W2294774638","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958547$BFFD698B-CA8C-4316-9D44-A9806DBE60F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6da3e8ed8e45756d6759c8c5319bf41097809850","datavalue":{"value":{"text":"Extracting Herbrand trees in classical realizability using forcing","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2958547$EC436433-9789-468C-9BE1-CF486B7D7D25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1caa4408be4baac5b87cbb7a79f5188b8900f2d9","datavalue":{"value":"10.4230/LIPICS.CSL.2013.597","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958547$99E11524-490F-4CA9-B6B6-CEE5FCA1A8F1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00c9ae8585d8fd6544f9507dda37ac873e11a49a","datavalue":{"value":{"entity-type":"item","numeric-id":5360214,"id":"Q5360214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"28d93c69f78028e8a48edac3e71859124eb57462","datavalue":{"value":{"amount":"+0.7366158962249756","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":"Q2958547$CA7883AC-4A46-4083-80C1-114BFC263531","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76beca1e87233711001bf84c18fa7740126cc524","datavalue":{"value":{"entity-type":"item","numeric-id":3637195,"id":"Q3637195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c73ab227b4d6ce1cf45cbb336d4f909de705eda2","datavalue":{"value":{"amount":"+0.7329545617103577","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":"Q2958547$7A658AA9-33C7-4F07-84EF-C8D3BD8258DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64430f2f2bf07ae789d0daa263a5ae4a6c7776cb","datavalue":{"value":{"entity-type":"item","numeric-id":4678943,"id":"Q4678943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b40d1ba8c703460ad7fdd93a2ae7ccb0f54badd9","datavalue":{"value":{"amount":"+0.7282982468605042","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":"Q2958547$ECC5B68F-76E6-41FB-A6A1-C6A54E9545FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"085c8b493a54e3301ecacda6c1b26197aa9f1786","datavalue":{"value":{"entity-type":"item","numeric-id":5277975,"id":"Q5277975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"87f778409fd160b482e7637edd56c286d8c84ae7","datavalue":{"value":{"amount":"+0.725491464138031","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":"Q2958547$600C6EDD-472A-46E6-9408-D015D9CE43B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1590ce945709859e583973741e1267839f8cd55b","datavalue":{"value":{"entity-type":"item","numeric-id":2486989,"id":"Q2486989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c1e8c089d04248a310ac19d2766437fb2f3c0d8","datavalue":{"value":{"amount":"+0.7219902873039246","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":"Q2958547$194D5557-3F65-4749-B2C6-2DE91815C3D2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Extracting Herbrand trees in classical realizability using forcing","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Extracting_Herbrand_trees_in_classical_realizability_using_forcing"}}}}}