{"entities":{"Q385804":{"pageid":387571,"ns":120,"title":"Item:Q385804","lastrevid":61446351,"modified":"2026-04-10T23:24:56Z","type":"item","id":"Q385804","labels":{"en":{"language":"en","value":"Combinatorial realizability models of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6237621"}},"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":"Q385804$89FC133E-039A-472F-A07A-522731951E07","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"564e6793cb6d71b71b864ddd08bc73d1f50f3fe0","datavalue":{"value":{"text":"Combinatorial realizability models of type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q385804$0E3AE75B-ACD1-49A5-83AA-BF0C9F426AD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fbae1b086d058db1d3b3268039b0260cbcbc2ede","datavalue":{"value":"1323.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385804$7A642EF5-E0EE-499E-90BD-5C1D5FA17523","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d66395a61e36954022b73f8489c75bb54138f1cc","datavalue":{"value":{"entity-type":"item","numeric-id":385802,"id":"Q385802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385804$DC519185-1FA6-46FB-A59F-47676016A11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd6cc9584ccaa606d69062d2e94bcf604f2dd9f1","datavalue":{"value":{"entity-type":"item","numeric-id":964544,"id":"Q964544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385804$01183618-4AE3-4F48-9F71-19E765C5F695","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385804$9AA1A25F-DA6E-4820-BDFC-D8FE701056FE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fe66de6d3b4034a482fd1741e73509403d666e","datavalue":{"value":{"time":"+2013-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":"Q385804$59D7C501-8F90-440E-81C3-5F105A35149B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4bb31807da206b45e1d783cdafef2cf5928663fe","datavalue":{"value":"https://arxiv.org/abs/1205.5527","type":"string"},"datatype":"url"},"type":"statement","id":"Q385804$55CC9B11-DD47-4C2B-8F9A-FD44600BFF4B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385804$DD516FD2-516B-44FD-A63C-8D87DC54FB74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385804$60A13684-C498-43B5-94BC-9B26A7804DEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385804$09DDB4DA-0055-4B0C-B0FB-1B7336FE3209","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c657f97db498141a0eda8604b03a45e60e36ed76","datavalue":{"value":"18D30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385804$25C88EED-67CF-4C17-9F72-84BF70091097","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bc1a5908b22ac897d6b39c8c3d2f896baa9e4dc","datavalue":{"value":"6237621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385804$1C165E13-ADD4-4C3B-B226-0EAA27B744F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53d61092cbbff856a3b199e03225e42bcac6db78","datavalue":{"value":"realizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q385804$BC351DFB-90FE-4F5C-9D39-9A2561358A39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5aea17022b758b08d4b039fe59936fb505daee19","datavalue":{"value":"gluing","type":"string"},"datatype":"string"},"type":"statement","id":"Q385804$07470B4C-982B-4443-9815-0A05BC3D09A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"02e2bd1176be2ca24a8b368e42bc8812510b3ef7","datavalue":{"value":"logical relations","type":"string"},"datatype":"string"},"type":"statement","id":"Q385804$FDD6FFC3-8322-4CD5-9F5D-6841D6C4EF17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4ecd2d433c9f863c39fe5a1fa2de24434b6de0d","datavalue":{"value":"homotopy type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q385804$E1D47C33-18A1-4E4A-B4FA-0019A934A2A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"454090389315247a59dda8a7c520ea2795715012","datavalue":{"value":"Martin-L\u00f6f type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q385804$2E58CFE6-1008-404D-BFE0-4332E0B540B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a31a0d00b62e4bbbdc3407dc5fbe79233a5be7ba","datavalue":{"value":"groupoid semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q385804$39A96267-35FD-4015-92EC-B649C554266D","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":"Q385804$BFEEA938-83A8-4FF5-9352-8C93CB0DFA61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40f767ccb17456ffe87859f15e3c1a07535fccec","datavalue":{"value":"W2096221521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385804$50D22962-5180-4DB9-AB04-81B08337C6FB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01842406e5a45c869ae6b85179d666cfdab3bd19","datavalue":{"value":{"entity-type":"item","numeric-id":5253928,"id":"Q5253928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385804$1304A36F-DF86-41D7-81D9-FC0BEF9D8C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e9ea22b97c786cb71ad16219e67a05607e7666","datavalue":{"value":{"entity-type":"item","numeric-id":385803,"id":"Q385803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385804$22E12746-D0F8-4764-99F8-915DFDCBFC1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385804$F66D293C-0A53-4C0C-9FE9-D8B2F2E703EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e82b1878adb750555f15a80d08f147c60e0fbb1d","datavalue":{"value":{"entity-type":"item","numeric-id":959823,"id":"Q959823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385804$D23815B5-7DF7-44CC-AD8C-71B49A486343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48a73b0bc94774198cd192d06e32293454cda383","datavalue":{"value":{"entity-type":"item","numeric-id":4225149,"id":"Q4225149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385804$9340284C-466E-4B75-991A-7BB41C5DA195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385804$0D15B00E-D633-47C7-96FA-741D3643A42F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c7130b8e8ad403bac4e3a609004e5598d1175d3","datavalue":{"value":{"entity-type":"item","numeric-id":5561939,"id":"Q5561939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385804$A2A0EBAD-F2A6-4E64-99B2-FEE9CAA2DE87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"acd57105477852a1062be5485f52eaa84c9d340a","datavalue":{"value":"10.1016/J.APAL.2013.05.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385804$9D2626C6-BA91-4274-BF20-F6F4971661A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6070310897be2b2adaf0b208e6e943cc7b857098","datavalue":{"value":{"entity-type":"item","numeric-id":3007656,"id":"Q3007656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5d00408e29f619a0a1dd30aeae8cdc28185ad6","datavalue":{"value":{"amount":"+0.7702962756156921","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":"Q385804$EFC1977F-54B5-4647-AC12-722A7511BC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db6f9b193d58b8d862c9b6fc2be3eb7ec1b602ff","datavalue":{"value":{"entity-type":"item","numeric-id":385803,"id":"Q385803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0647e1f0dae1cfa2eb94da0faf5fa136a95976b2","datavalue":{"value":{"amount":"+0.765795111656189","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":"Q385804$F21D5CB5-C1B0-4B01-9C81-CBA1B4DCCB58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d52f089e4408546666ae0342fd99e7145429240f","datavalue":{"value":{"entity-type":"item","numeric-id":3598111,"id":"Q3598111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"beb37b802d1e62f9af8039e5a3383404e7d327d3","datavalue":{"value":{"amount":"+0.7649826407432556","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":"Q385804$D4E2ABFE-EE51-442F-B117-789B911E9930","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"865a6e5047d99a9101dabf405fbaaf64ad4b055f","datavalue":{"value":{"entity-type":"item","numeric-id":4611383,"id":"Q4611383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"202424d21c65280cf5851070e28a9546c5fc076f","datavalue":{"value":{"amount":"+0.764634907245636","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":"Q385804$278D6524-24E3-4BD5-97E8-C37DAFE6BEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"971e0371525fb13151927a3ba296e75a5d483e4c","datavalue":{"value":{"entity-type":"item","numeric-id":5111326,"id":"Q5111326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78f394ad92d623fae8808e83ded695791893f12f","datavalue":{"value":{"amount":"+0.7644955515861511","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":"Q385804$E4DEBF0D-BDDD-455A-A8BB-894ED67EBCAA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combinatorial realizability models of type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combinatorial_realizability_models_of_type_theory"}}}}}