{"entities":{"Q4594248":{"pageid":6623833,"ns":120,"title":"Item:Q4594248","lastrevid":52959266,"modified":"2026-01-23T22:05:22Z","type":"item","id":"Q4594248","labels":{"en":{"language":"en","value":"Kripke semantics for dependent type theory and realizability interpretations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6808169"}},"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":"Q4594248$37682BC7-43F5-4CD4-9BF9-201B642EF195","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"02f7ee669470e781c69a582178f36c06c9913064","datavalue":{"value":{"text":"Kripke semantics for dependent type theory and realizability interpretations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4594248$AB036B76-C101-49B7-9F83-26AAB137294D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5cffe279ab0a53bceecf21830dca63221eb5e5ab","datavalue":{"value":"1434.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594248$CF34B62B-9D56-4E9D-8510-BFC22F87E88A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7cb2e2584ec127f9fe86cd3c038fd58b43032080","datavalue":{"value":{"entity-type":"item","numeric-id":511021,"id":"Q511021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594248$B77C7430-78EB-49D9-BBD8-B9B3E17D2031","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4594248$BEF9680D-AF28-4113-B591-33FC49FC7F67","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"825b3410cb99f0539fb93adb9a664af4059fbf52","datavalue":{"value":{"time":"+2017-11-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4594248$F19C8178-7682-4D9A-89F0-AFA9ED605E85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594248$03D007BA-9C19-43D2-B752-7FA14F41D29D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594248$5E4E652A-20C4-46CC-AAF5-6165BCDE3780","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4dd17e948ef0e266d136e969bf8283741afbd898","datavalue":{"value":"03F25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594248$D44A95D1-C681-4732-A185-27919536B448","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4387aadb3290a4543303ab3c93fabfa621e91bba","datavalue":{"value":"6808169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594248$948BC126-7865-43CD-A11F-BBC172887302","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":"Q4594248$11297D06-C298-438D-9E32-B66496D31B16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2b7b72427d4f3853d22d532cebfbded1c1ea5064","datavalue":{"value":"10.1007/BFB0021080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4594248$D83FF0EE-E884-4E53-805A-87333348FF87","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f6c10829b6ee80dd709d1854b6c8d0aa6b9c1a0","datavalue":{"value":{"entity-type":"item","numeric-id":4010362,"id":"Q4010362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c1c505f3ef18bf948662ff77e90eb7986668e2","datavalue":{"value":{"amount":"+0.8243657350540161","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":"Q4594248$A72162F2-1B23-4612-9AD2-7D359F221D6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66b084184d9693003b97fac93cfb7cb9d4c53810","datavalue":{"value":{"entity-type":"item","numeric-id":5096872,"id":"Q5096872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53c1c505f3ef18bf948662ff77e90eb7986668e2","datavalue":{"value":{"amount":"+0.8243657350540161","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":"Q4594248$1ED76077-FCB1-454E-92E5-7C92D4E36416","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df284813d85477ea847b837d5831ef7f5ee82ab4","datavalue":{"value":{"entity-type":"item","numeric-id":3637199,"id":"Q3637199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"449fee76d5c276f1fa1281a10b87ba6216dadc77","datavalue":{"value":{"amount":"+0.813069760799408","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":"Q4594248$C980BFCA-FB52-4F4C-9B9F-728F95773CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7eb868d9d7af9c9dfb8f64f6ce5cb5b4615b0d57","datavalue":{"value":{"entity-type":"item","numeric-id":3224684,"id":"Q3224684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4176a3e4b3f3a9447fc0c8af892e80cd0675f11d","datavalue":{"value":{"amount":"+0.8113763928413391","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":"Q4594248$8780D645-B089-48AF-A739-E94947DB6DC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07a4f2cb7a63b4bf2f7f69e9bc4cce13f6fa3bff","datavalue":{"value":{"entity-type":"item","numeric-id":4499143,"id":"Q4499143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92ebe0c4809066fc7e082960b207bb9813121d93","datavalue":{"value":{"amount":"+0.7806692123413086","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":"Q4594248$770A99D6-D7B6-4055-82D1-974F5FBE2BA3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4594248","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4594248"}}}}}