{"entities":{"Q2958512":{"pageid":2969231,"ns":120,"title":"Item:Q2958512","lastrevid":52733957,"modified":"2026-01-23T09:31:05Z","type":"item","id":"Q2958512","labels":{"en":{"language":"en","value":"Realizability and strong normalization for a Curry-Howard interpretation of HA + EM1"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6680128"}},"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":"Q2958512$856FD3AA-654D-4B89-AB55-AA75AA57D5BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fa2362b9b748791af3d87b81cadc360277c8c181","datavalue":{"value":"1356.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958512$41B8789E-FC9C-4688-8CD4-0CD3317FEB15","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"23e305483c8390fc5243887be03d6710fa7b8317","datavalue":{"value":{"entity-type":"item","numeric-id":265000,"id":"Q265000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958512$066071C3-C566-4562-AFB6-771A9A992F2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b83ed7e99eb27f1c55fbf572cae2ecab18119ca4","datavalue":{"value":{"entity-type":"item","numeric-id":428881,"id":"Q428881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958512$4FA750B2-E723-4431-A539-FE61BEE30C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a91784938549316cf749640b70ec89f7d67a40bd","datavalue":{"value":{"entity-type":"item","numeric-id":2958511,"id":"Q2958511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2958512$6ACE7009-163F-489D-8AD4-82849AE6D3EC","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":"Q2958512$E99CCCFD-DDC3-41CC-8724-61523870EF06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958512$2B48745A-F5BC-4E30-A2CF-4CD4B7C5BC06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c15287dbb142f8dc10ab92a91b8457ac3c169cd3","datavalue":{"value":"03F30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958512$BF75B1B5-21B7-4A26-AA7F-CF91E95B8902","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6bf44f5e96be760303deda6deff00a053bdc75ff","datavalue":{"value":"6680128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958512$4713B65A-2C50-4094-989C-004BE249824E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bd3beb0552f8d67df02bc1c7eb5901a2bde0072d","datavalue":{"value":"interactive realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958512$1F50D464-29E8-4C59-A1DF-B5978287505F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"745fec169852dccc23ff4583447d1e5556dd5648","datavalue":{"value":"classical arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958512$100B89F9-86A7-47C4-8EEB-93200B1FC20B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68040e2630a3ae8b46a9b49ea54415de62483b38","datavalue":{"value":"witness extraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958512$921075D8-5FBA-4097-9624-D47F5EFC9C97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8dbb0fe9ff93c618dc235105a453501f243830eb","datavalue":{"value":"delimited exceptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2958512$15FFF78F-F402-4C68-A67A-314D441694BD","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":"Q2958512$A23030E6-C69B-4BAF-B7D7-2B56B17240CA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f2cc03e642d3819a898016a05a3733b4b7efaf1","datavalue":{"value":"10.4230/LIPICS.CSL.2013.45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2958512$C31C1BD2-65FD-4AFB-8F46-28E49FE66FB1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79e7ddb5aac61937f3677459aedc5045a6a0150b","datavalue":{"value":{"entity-type":"item","numeric-id":4957786,"id":"Q4957786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a84a50b9744273088674b7e9146a3779ad498d7","datavalue":{"value":{"amount":"+0.901840329170227","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":"Q2958512$21D30D91-A9E8-4A07-89CF-DBEDA82E7A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1eee761d350055cecaf5aeb7ffc1e23fab36fb66","datavalue":{"value":{"entity-type":"item","numeric-id":3637184,"id":"Q3637184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9ab711509d2193dc7e443ee5607b841508e6245","datavalue":{"value":{"amount":"+0.7664328217506409","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":"Q2958512$A4745E0C-2A1C-40F7-89AE-97AFC8121301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ad9f76053e2eec268eabfc3f030a1df49e12bb0","datavalue":{"value":{"entity-type":"item","numeric-id":265002,"id":"Q265002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc200f1d80ee988a2cef34990949317e0277aa3","datavalue":{"value":{"amount":"+0.7656774520874023","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":"Q2958512$0D3D68A2-D04E-4B07-B4B0-C4E8EDA1DF46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a3fc128ca329fe72ad5d336549742f764c3dea7","datavalue":{"value":{"entity-type":"item","numeric-id":5292656,"id":"Q5292656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5591ed237c271decf2160cedd6415b6018b4e9f","datavalue":{"value":{"amount":"+0.7609764337539673","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":"Q2958512$43043181-0782-49AF-B866-50ABB3FBF8FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5836db08dac9b4f207bdd9a241cb401d2c9557f","datavalue":{"value":{"entity-type":"item","numeric-id":2786136,"id":"Q2786136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a28565b7508d6af893963027d63690abe542858","datavalue":{"value":{"amount":"+0.7608795166015625","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":"Q2958512$288AE4E4-F8B0-43D2-B4CF-F5EB2207F566","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2958512","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2958512"}}}}}