{"entities":{"Q4596803":{"pageid":6626388,"ns":120,"title":"Item:Q4596803","lastrevid":58276509,"modified":"2026-04-04T13:04:55Z","type":"item","id":"Q4596803","labels":{"en":{"language":"en","value":"A classical realizability model arising from a stable model of untyped lambda calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6816945"}},"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":"Q4596803$7F143975-E2E4-4C5C-86F8-87D657E393DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a5713e26d1d064bdc5720ff15a18460a7a134b3c","datavalue":{"value":"1459.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596803$04733A20-B1D2-4F9B-9A1B-8CD81C63B0DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a03a42ce5677a2d75e1b4f41ed74dc1604e64436","datavalue":{"value":"10.23638/LMCS-13(4:24)2017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596803$93D762ED-84F2-442D-B058-21222DE1D874","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fadd7c9edb175c39860a7070bf646e2e9cc896ac","datavalue":{"value":{"entity-type":"item","numeric-id":165871,"id":"Q165871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4596803$67CCBE93-590A-4F1D-8D4D-109E2865016A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc1abf00e7511afcb97fc436b2efb2d85d50713e","datavalue":{"value":{"time":"+2017-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4596803$4F11D5CB-0BD2-4005-B5CF-773EFA8752C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"cde00d928d2adaa2bf8241a59aa449ac3118dc27","datavalue":{"value":"https://arxiv.org/abs/1407.1547","type":"string"},"datatype":"url"},"type":"statement","id":"Q4596803$B369AA05-25FC-4B4D-BD10-F666745803C8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596803$499644B0-B5F1-4738-A533-0B168990D5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596803$CA797CC0-ED91-4A61-8E6E-4D81E7172A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596803$55D686F1-D2D1-42B4-B5A0-D7CEC92CAEC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596803$BA0E7EC7-B5AF-4035-A279-87EBBC633FB8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9a2c7a7a831d3188013ee750119cf0b22d24a497","datavalue":{"value":"6816945","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4596803$20BF1EBB-B676-4380-99DA-4BEB5362C5BB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3329e5ddc19ec41605ea21e54e688588faa574a2","datavalue":{"value":"classical realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596803$487FFBE1-0087-433E-BE63-2B118B746F86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8902e506e56978ced118587e65eb775a1247cea7","datavalue":{"value":"categorical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596803$CF60DB6B-8802-4F0F-9B1A-85F521BAF7B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d1997c26d11ecc220dd31fc4a934865bdf201e","datavalue":{"value":"bar recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4596803$20B0D177-6ED5-4B19-9BDE-4FD1DEFE015C","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":"Q4596803$1071C489-182E-433B-B02B-05F57AE6EE45","rank":"normal"}],"P1643":[{"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":"dcc0c6e1f0a708cd678135e3631cb8944f26a5dd","datavalue":{"value":{"amount":"+0.7571040987968445","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":"Q4596803$750CAFAF-B1CF-4B21-B71B-40791A4D125F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93599218c222a242f63ed2addbed8af4801dfa8e","datavalue":{"value":{"entity-type":"item","numeric-id":5278411,"id":"Q5278411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f66b569b3455b9f57bb5283111554debca4950e2","datavalue":{"value":{"amount":"+0.7511740326881409","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":"Q4596803$2D60DF94-0029-4B68-9E83-E6B11930FF43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5096051ec20ac867655c8ecadc3f9d33edc4fec1","datavalue":{"value":{"entity-type":"item","numeric-id":5958611,"id":"Q5958611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6554500623d1b15e1380f3f7941cf8fb4853eed1","datavalue":{"value":{"amount":"+0.7442203164100647","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":"Q4596803$F2A88F25-4C52-417B-9D59-27E0016ED23F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"556f9ea0386ca073eb50bec106e3334b9155c204","datavalue":{"value":{"entity-type":"item","numeric-id":2937797,"id":"Q2937797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f18224c9f3d19da0a7a5ba41e3fe2007c0f30bf","datavalue":{"value":{"amount":"+0.7421709895133972","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":"Q4596803$EFFEF4F8-E6D3-4F57-AA89-D5D422CAD931","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f87dd34a8eb14d673e58a4bd4aa2e852b6c180c","datavalue":{"value":{"entity-type":"item","numeric-id":1322479,"id":"Q1322479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63b25ee1a076a27e5efbe4847b8da7335d3dca28","datavalue":{"value":{"amount":"+0.7393242120742798","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":"Q4596803$D1E3D9C1-6183-4C9E-A4B8-6D324DA755FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4596803","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4596803"}}}}}