{"entities":{"Q3426565":{"pageid":3437268,"ns":120,"title":"Item:Q3426565","lastrevid":58170102,"modified":"2026-04-04T02:22:12Z","type":"item","id":"Q3426565","labels":{"en":{"language":"en","value":"Intensional models for the theory of types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5132666"}},"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":"Q3426565$92C48507-E1C8-4EEE-BBC5-CD9A3CA4F329","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0cfd73d2fe65f128bc6a9cd5044eb5d81f965933","datavalue":{"value":{"text":"Intensional models for the theory of types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3426565$DC350544-68BB-4F44-AE92-5999C48B1FBF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf7e23c0b4cd45a745a13d679a1473b4c2d04264","datavalue":{"value":"1116.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426565$63B6ABA7-0EAB-42A3-83C5-A6A2C3108DDE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426565$EECF5445-789C-42EE-8012-4C51E6A266F7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39eed756ef4774638f5dc70a5b404d4f34900328","datavalue":{"value":{"time":"+2007-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3426565$02B10E5C-50C6-4412-88A5-8C3C91DE0F9F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"97956a15537ce166782f0a6def40c09d46774cad","datavalue":{"value":"https://arxiv.org/abs/math/0608571","type":"string"},"datatype":"url"},"type":"statement","id":"Q3426565$7973A4DE-691D-4194-B7EB-A2BCA14722A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426565$168FD93D-C4A2-4D66-9FE9-6B17703D4396","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426565$073D39EA-C65E-48E2-B867-1D75351E668C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426565$A958A8B2-A0FB-463D-AC10-D02645535777","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aebedcbc6ea79e3c56d5432d91ddf1b69d06fcb8","datavalue":{"value":"03B65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426565$7F53A26B-F604-4A50-9E89-4597483439C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d4ec02b580b0f94c76a40c023162cf700285138c","datavalue":{"value":"5132666","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426565$5DD4E6B9-8368-4551-84C2-BBB368D17D7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4d517f1d4a5865606388e18ef524bccb553aec73","datavalue":{"value":"intensional models for classical theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426565$44C5D751-3084-4597-8833-1F5194775195","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11f1e72f1023e0b5e4429e9d6fc6784815f20607","datavalue":{"value":"intensional type logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426565$255CA5EC-145B-4FE5-8877-A5D9E0696DD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c8e2875f94b547e8e51d4354560d57f874f7e1c","datavalue":{"value":"cut-free sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426565$220521BF-7D2F-4100-AB97-6EAB28282E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c412b54386baea19edee6616eec71a95441a7717","datavalue":{"value":"model existence theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426565$75CD66B5-C3A3-4C80-A572-4731D0720292","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"81a18802e179e5ce754dfe2aaee9e9040af5ef06","datavalue":{"value":"propositional attitude","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426565$08865218-3279-4783-8DEF-3127C603D63C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0127d5deaf93adfc732de432e24acd872c2ecdeb","datavalue":{"value":"fragment of English","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426565$F512BD90-C819-422A-B92C-D51C6E0AF066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f86d6b44f5d4fc319be8f58705966a3d63b55bba","datavalue":{"value":"ITL semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426565$6BB5CD21-48D9-417A-B8E1-7F1A48D136C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee8982d07df948110e8c530b7afcc06bd29d0d11","datavalue":{"value":"possible worlds","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426565$A54FC89F-1064-4620-BD36-C4C3E5CEE0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3426565$2B19B728-13D9-47FD-8D68-77998C096268","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6b13b37d48cdd7c1c22e28c51a3fcf0b4929b2a","datavalue":{"value":{"entity-type":"item","numeric-id":2350969,"id":"Q2350969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426565$8F318391-EE49-4DA4-8F76-C84F2609A8F3","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":"Q3426565$F8A81255-44B0-4E7E-B884-B718BC85E0CF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0decc3e8d5f607f447f05904be16f287daa1f777","datavalue":{"value":"W2030002668","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426565$370A6D01-B3AB-4683-8CED-6A567AB206FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426565$E8C1E71F-9985-4E6B-B50A-CBEE5D9A4026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3426565$60BC8CEE-57DA-4A5E-9366-5EE62A4A6808","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f400a309d94922b669593be1cabf4d42c129cee","datavalue":{"value":"10.2178/JSL/1174668386","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3426565$FFCC9A64-6326-4FE6-A9A3-CD785F495D4C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c01eae986230d20955c3bb1292bb45818eeb1a9","datavalue":{"value":{"entity-type":"item","numeric-id":4463930,"id":"Q4463930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa70f97c19f929a2c6b5f01b1c71bafecd147c17","datavalue":{"value":{"amount":"+0.8325848579406738","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":"Q3426565$73A816A8-0C38-4A9A-8036-864C1F196BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fc3780500b6af5f82bd1ab567ceff826d1f561","datavalue":{"value":{"entity-type":"item","numeric-id":5184886,"id":"Q5184886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45b974492ccb51b3c9bd292adcfec8bfdf9323c6","datavalue":{"value":{"amount":"+0.7748009562492371","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":"Q3426565$EBEA0566-DA80-4884-85DA-ADAD0547A399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"371bdefbc7d26a872e6752b3d62fc9ba2e00e071","datavalue":{"value":{"entity-type":"item","numeric-id":3832535,"id":"Q3832535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"481ead60f23c44d7ddb37e41097d3b024bad65d3","datavalue":{"value":{"amount":"+0.7610399127006531","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":"Q3426565$43CE4467-DF67-487F-9A8B-90B3016B84AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba95ef9d43ea94256ba5aea8a6de59d9b2d5dff7","datavalue":{"value":{"entity-type":"item","numeric-id":3313846,"id":"Q3313846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19dec8c623e1acd1e981b0f7fb7b9d69d75fa835","datavalue":{"value":{"amount":"+0.7528058290481567","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":"Q3426565$77065758-71DB-4D90-BDA1-3D84946A2A35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93d96fef03bf49422f1fc980f8e7234c1510ce0c","datavalue":{"value":{"amount":"+0.7472643852233887","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":"Q3426565$FA452114-27EE-4D29-BC8A-33C268AE313C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3426565","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3426565"}}}}}