{"entities":{"Q2937693":{"pageid":2948413,"ns":120,"title":"Item:Q2937693","lastrevid":58074357,"modified":"2026-04-03T17:06:45Z","type":"item","id":"Q2937693","labels":{"en":{"language":"en","value":"Model-theoretic characterization of intuitionistic predicate formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6385564"}},"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":"Q2937693$52E0D0BB-6914-4452-9918-8ACFAD160A93","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d132b26d469625d348ad2bf0d883fa0ba5f0ac8b","datavalue":{"value":{"text":"Model-theoretic characterization of intuitionistic predicate formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2937693$597C2780-947F-42BE-857B-B9F8CE20E22A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6d946fa59c6662ed0d475668283b3fc387527299","datavalue":{"value":"1338.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937693$7A067924-D83B-4531-A25A-FD87DD348E54","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d22101869b543fd7825e868dc1991448741557c3","datavalue":{"value":{"entity-type":"item","numeric-id":518746,"id":"Q518746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937693$44990F28-BF1B-49BD-B3C9-A44CAA0B6FAB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8ff37fe420ee693c1034ffbc6383869a38933633","datavalue":{"value":{"time":"+2015-01-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":"Q2937693$C310A4AD-49B0-41C5-A3E0-6F8948BBC857","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e26369fc5a80f6e1522f063e03bdeb2fa3e2da73","datavalue":{"value":"https://arxiv.org/abs/1202.1195","type":"string"},"datatype":"url"},"type":"statement","id":"Q2937693$DCBEF635-E9E1-47A3-ADB0-EEC3A4A5BD3C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937693$9ACAC4B7-8768-4A80-BE73-7E75A3B91CEC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29de2f5695281e25761b19ce4c6697d4ef1c7ea3","datavalue":{"value":"6385564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937693$3E2BDCDA-D441-44CE-95CB-263DB9BA44F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937693$931FF8F9-0612-4915-99BB-3543CB81007A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937693$13D542B9-3626-4AD4-B1C8-482D5F18E8FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"260f249c9f2b368710611c3ae7dde4ff8dd1d482","datavalue":{"value":"constant domains","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937693$95A982A2-1CF6-4B07-9A41-9A66851F525D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bf07c49ba2b347441ded94239358b7faa6b16d16","datavalue":{"value":"model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937693$27F09CEE-B8D6-41A9-A41A-A629F42165B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f12dbf7e8a43156bd6410c356c4fd66479b77cd","datavalue":{"value":"modal characterization theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2937693$4A0B567E-68DC-48E1-8C33-385C8A7015C3","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":"Q2937693$3448D088-21DB-4A0E-AB61-3577336B6799","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b1c53748492b8c7a6374315a2e8a15fe3b105809","datavalue":{"value":"W1600736686","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937693$B5DE3F39-8382-4F57-8D65-BDC0C90A0029","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c42cbe9b094a8bdc51a018dde15121ae8c07466c","datavalue":{"value":"10.1093/LOGCOM/EXT014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2937693$AF367A09-2DE9-4DD8-8974-A9C7687E9947","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2937693$7D971BE3-ED5A-46E8-B2B6-4F811E4EE0EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9770465d7f69fe8ef103545c3a7a892f9e3611","datavalue":{"value":{"entity-type":"item","numeric-id":4928778,"id":"Q4928778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fc7ccf151bbd0f6b720b1eae6e54546c06cf529","datavalue":{"value":{"amount":"+0.9288232326507568","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":"Q2937693$5E0D21E5-6DFC-48D2-A017-FB9BF57F5977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43a21ed7bb119413dab32d130d1b9d8f4858cb80","datavalue":{"value":{"entity-type":"item","numeric-id":4644496,"id":"Q4644496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0fb3e276e7b842f418f5b93623998b6020926a80","datavalue":{"value":{"amount":"+0.8752269744873047","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":"Q2937693$CA0C8FED-97DC-47D8-9245-EF0EF3E1FCE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"38f83d6acc75e03846768941c108cf59a6a4b3de","datavalue":{"value":{"entity-type":"item","numeric-id":518747,"id":"Q518747"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b17eb1a654a3df4181e0326f9273d3240f1a64c","datavalue":{"value":{"amount":"+0.7805887460708618","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":"Q2937693$C9A55FA2-6C1C-4210-89FA-8A4137413FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3187da52d657f3d21f3a7fbbada305ab2d80e756","datavalue":{"value":{"entity-type":"item","numeric-id":985006,"id":"Q985006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7edc75085d75231131fb13b8433c7291b92eb0fa","datavalue":{"value":{"amount":"+0.7458852529525757","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":"Q2937693$211D3346-8685-465B-A470-BA1CE1D9E6E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3cef1a22aad01b8c26aac7dc481393e11aa44a8","datavalue":{"value":{"entity-type":"item","numeric-id":5413341,"id":"Q5413341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1590d8f1fa4e9dfc22e6e957b96ab4caa7cce6d7","datavalue":{"value":{"amount":"+0.7426490783691406","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":"Q2937693$5A4F9C18-2ACF-4C99-885F-1A2266DBEE71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2937693","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2937693"}}}}}