{"entities":{"Q5145350":{"pageid":7174921,"ns":120,"title":"Item:Q5145350","lastrevid":100629002,"modified":"2026-06-05T22:37:23Z","type":"item","id":"Q5145350","labels":{"en":{"language":"en","value":"Dialectica models of type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7298799"}},"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":"Q5145350$90E80954-495B-4079-A2AA-22E86C7EA212","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3f08fef7b9c1e1191c39784a16e0aea5bdec468c","datavalue":{"value":{"text":"Dialectica models of type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5145350$D54A069C-CAD4-4698-822F-BF5510E7598E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80069dcd5a9f88da3ec32d3b2032ad50021d1f94","datavalue":{"value":"1453.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145350$A66F082C-6532-4D7D-8661-F88F20243B87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"660df9d0083a1251a3595403bec51785cf8e1bb2","datavalue":{"value":"10.1145/3209108.3209207","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145350$DCA1A170-317F-4386-8762-6EF77493C5EF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5832ef332e364debfaa79756811f1cd9f25b1d2","datavalue":{"value":{"entity-type":"item","numeric-id":2173526,"id":"Q2173526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145350$70908EAF-41B0-4F85-951C-34F27E6AE8AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e241eb0a05ecfa5aa8d91a42b79d72b15b9b4e77","datavalue":{"value":{"entity-type":"item","numeric-id":4555335,"id":"Q4555335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145350$5F6F5D50-2F01-4CAE-9366-3BD9054085A5","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ee82b0c640d35f6663be3f8a5187d8cc540da0b3","datavalue":{"value":{"entity-type":"item","numeric-id":5145269,"id":"Q5145269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5145350$05F2E139-3F06-4628-B539-C1ED85DAAA10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"233394734482eba32ed4ee15da745b1ac2b96149","datavalue":{"value":{"time":"+2021-01-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5145350$E9500E60-BCDD-426C-B2D0-AA9D2B0BC62A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76925f3e35906d627ff316b8e8750f0f1ebe25a1","datavalue":{"value":"https://arxiv.org/abs/2105.00283","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145350$CD8AB6C4-948D-4DF1-AE81-A1C5C83C3867","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"9d2b88af0201cee70b0da68f3f9724ccec9a9b92","datavalue":{"value":"https://ora.ox.ac.uk/objects/uuid:36d42f84-22c0-4db1-b991-92b6d96fcc02","type":"string"},"datatype":"url"},"type":"statement","id":"Q5145350$C27E3004-95C6-47F9-B661-9F6F4A62D640","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d9230c8da6e5632ad621620269b7ca185454f9df","datavalue":{"value":"03B38","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145350$44CCCE1E-7559-4F18-8A24-DA84B84B2F4F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"158c59cf82147fb9f27e12434dd2dc96f784a725","datavalue":{"value":"7298799","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145350$C25815EA-41D5-43D0-8AC7-E02723FCA043","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":"Q5145350$8ED4A1E6-462C-4ED7-A48A-21B54E7A0135","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86ed2659a7d90212533f5be64a4ad474cc082c3b","datavalue":{"value":"W2799148948","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5145350$64A2A2F4-5488-4D7C-BE23-AB0D8CF5C9A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96cafac9ae1e05d141a3096c624f5ee14075b19f","datavalue":{"value":{"entity-type":"item","numeric-id":3426565,"id":"Q3426565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"302a94ccaa4b76b80922617faf351bc476b78e2c","datavalue":{"value":{"amount":"+0.92519903","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145350$288A004F-8814-4C1E-9684-DBA2FE6BE5D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7cb0fbc6968e9a2f89e38fedb41ff015c9a03202","datavalue":{"value":{"entity-type":"item","numeric-id":988551,"id":"Q988551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"26e4e9a2e5518c3de5242a97be87a05033057759","datavalue":{"value":{"amount":"+0.91489124","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145350$92940445-8F49-4B02-830C-0E854944E355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c62c088cec7687b1ce357dc6e45c09b92cc3a17","datavalue":{"value":{"entity-type":"item","numeric-id":5883738,"id":"Q5883738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d3289cf39ea15dc259cadc4e323165387c0122c6","datavalue":{"value":{"amount":"+0.90793705","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145350$E592C75D-1466-4DC8-A233-341CE075D7D5","rank":"normal"},{"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":"6f147f7b681538a810d0a8b8bccf1f3712a3b7cf","datavalue":{"value":{"amount":"+0.90513974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145350$935A4329-0B30-420D-8E49-88C05C24E752","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41bf84e39dd12e85c4463fb966ef5209111957b4","datavalue":{"value":{"entity-type":"item","numeric-id":3086773,"id":"Q3086773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da97bbb192775e44529252fc6dd91f87e464f36e","datavalue":{"value":{"amount":"+0.90371406","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145350$401B0963-1981-4821-A902-9DECD2327DE6","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":"1595a7cdf209eb4fdbc8d9cb7cc85d16416db68f","datavalue":{"value":{"amount":"+0.90306944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145350$202707A7-3CCE-4AF1-B969-021147F55949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"696d83aaec159cdf8ddedd031545e8cc3910de03","datavalue":{"value":{"entity-type":"item","numeric-id":4247306,"id":"Q4247306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b3d148a3c54d10ae3682dd325109caed0bbdab2","datavalue":{"value":{"amount":"+0.90065926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145350$58D1D418-0807-4129-AF07-6E258C4724AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69b075271587bb175f90ab0b2ff58621eb0d766e","datavalue":{"value":{"entity-type":"item","numeric-id":654913,"id":"Q654913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa27093fafe8aadf9b61c2e28cc79886af95a0f","datavalue":{"value":{"amount":"+0.90052897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145350$682815BE-4A32-4C76-8253-657B2659AA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea3e4ccc99ec99ee1f0a5d306e57541a04f62b72","datavalue":{"value":{"entity-type":"item","numeric-id":5170290,"id":"Q5170290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fa27093fafe8aadf9b61c2e28cc79886af95a0f","datavalue":{"value":{"amount":"+0.90052897","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145350$C96875F6-72E7-4EB7-9709-D28EB8A6F367","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdfd60aa81461254a01ae77953e44d4247124728","datavalue":{"value":{"entity-type":"item","numeric-id":1895393,"id":"Q1895393"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa5773a089d47feec0897d5516a05631e0c53ed6","datavalue":{"value":{"amount":"+0.9001472","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5145350$F97C806D-B73A-4BBD-BBE9-70A387BE866D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Dialectica models of type theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Dialectica_models_of_type_theory"}}}}}