{"entities":{"Q3787971":{"pageid":5817877,"ns":120,"title":"Item:Q3787971","lastrevid":52795628,"modified":"2026-01-23T12:51:38Z","type":"item","id":"Q3787971","labels":{"en":{"language":"en","value":"A Note on a Subsystem Of Intuitionistic Logic with Constant Domains"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4051560"}},"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":"Q3787971$255BDD9B-DE0D-4460-9C8F-89927F81E8AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"353d9c4b7b37988214ab09537161621a084051a7","datavalue":{"value":{"text":"A Note on a Subsystem Of Intuitionistic Logic with Constant Domains","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3787971$980C8E67-20A2-4790-B753-2F7AB7BAB133","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c3de43dd6ef48cc8186ae06e12b5f5e73e4d4b7d","datavalue":{"value":"0645.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787971$AC4CFF20-C3C1-4DBD-BDDA-687F6C730B60","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1618888cebf23d68c72b9159427d6441352a3ca5","datavalue":{"value":{"entity-type":"item","numeric-id":377467,"id":"Q377467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787971$64814474-EF5A-4895-94DB-79DFBB7FFE70","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3787971$1DC3411F-401E-4255-9F4A-62499E6DB6FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3787971$3F7F5B85-040D-49AA-AC92-B40D2770629F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787971$FE142F7D-B907-4CAF-8C83-DBD98B4A3900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787971$E6766537-4D5C-41CD-9B5C-E40D5EC7AD0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0ddc66169bd222dd5146639ccd7bde14d37aff5f","datavalue":{"value":"4051560","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787971$4BA7D4DF-6E01-4DF2-BFE1-F2CD1B382858","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b31e4be9304f94ab85439f8150bc53f3df53fd8","datavalue":{"value":"intermediate propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787971$AE1B04BB-07F3-462D-9394-B882A15FBF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68257f6b06a1a76dee78d93f061b5cd7267505a5","datavalue":{"value":"intermediate predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787971$BDA1536D-7048-4A8B-BF47-27D86ED3151E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"797527bbabe30d5057ea245cc8a44d7353797716","datavalue":{"value":"Kripke- incomplete","type":"string"},"datatype":"string"},"type":"statement","id":"Q3787971$38E588C8-791F-4D9F-A526-2413F2BFD46C","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":"Q3787971$B3F56871-0312-4937-A24A-C10917FE3D96","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a6923a2a73f7737b5f49cfba3dc5d6b911523a5","datavalue":{"value":"https://doi.org/10.1002/malq.19870330502","type":"string"},"datatype":"url"},"type":"statement","id":"Q3787971$5346EBFF-66A0-4A02-BEA1-BF65C0F4BF3D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"eb62f0cf8b00f570de10bc6acc2c46e2b546dc5e","datavalue":{"value":"W2015631503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787971$6486C4DF-420D-4C35-8EF5-00520016DD60","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3cef073983fedd7089a6cba47c57d2552e22c9a6","datavalue":{"value":"10.1002/MALQ.19870330502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3787971$BA615D6F-CD81-4E62-A119-E692B0C94447","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9dc0d3defdf4688b61f02b8a131384e87cf9d289","datavalue":{"value":{"entity-type":"item","numeric-id":1208113,"id":"Q1208113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c05fff1be51e7feffadd1e362f8ee74cf379972b","datavalue":{"value":{"amount":"+0.8082085251808167","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":"Q3787971$B088227C-C860-4672-A762-CB1865765A31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eafe194b076115a80e9776a4afbd2357b70ba91d","datavalue":{"value":{"entity-type":"item","numeric-id":1577172,"id":"Q1577172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75e62e23e0d89c42b9fe915c604d5c8920ea35cf","datavalue":{"value":{"amount":"+0.80562824010849","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":"Q3787971$62B6B5CF-A3A2-415E-9F64-0B78E8C1364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a7b889c1674e58013b75aa14640580f135194f3","datavalue":{"value":{"entity-type":"item","numeric-id":454383,"id":"Q454383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"79f27fc0a4f3b2a56df14f2a7dc51cfb0d4e162f","datavalue":{"value":{"amount":"+0.7986669540405273","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":"Q3787971$24629AEC-C171-4EF2-AEDC-900CD794AB53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eea9e30a2aba55171c506fd3e0a835872d48fcd0","datavalue":{"value":{"entity-type":"item","numeric-id":1580656,"id":"Q1580656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"673ef5646161daf5f7a6804c134d6d70737e592f","datavalue":{"value":{"amount":"+0.7974728345870972","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":"Q3787971$89470465-A714-404C-B069-644B760DED48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"beffcec4b90f77b8bbb35573d98e8c6b0bc3790a","datavalue":{"value":{"entity-type":"item","numeric-id":3094149,"id":"Q3094149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bc787ac1426dcf150527d55c78f909c0abdf59de","datavalue":{"value":{"amount":"+0.7942690253257751","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":"Q3787971$18BB006A-90EA-4FFE-89B8-D36A0100BFA2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3787971","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3787971"}}}}}