{"entities":{"Q3983936":{"pageid":6013806,"ns":120,"title":"Item:Q3983936","lastrevid":46228111,"modified":"2025-12-24T08:51:52Z","type":"item","id":"Q3983936","labels":{"en":{"language":"en","value":"Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 27431"}},"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":"Q3983936$DC47FDDD-2B61-4A73-8632-D609CA40F5CF","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d00208b81cc2d6709dc2143e8521494da9ab4e25","datavalue":{"value":{"text":"Rudimentary Beth Models and Conditionally Rudimentary Kripke Models for the Heyting Propositional Calculus","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3983936$FDC9D6EF-6A85-4001-89F0-A4FFF0281973","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2655c681fb86da2cd1467deabe5f3f5085fbd63","datavalue":{"value":"0754.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983936$EEFE6367-92DE-45C6-B20C-03BF7DD18888","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3cf3d2b6ff3020598de12f1ebbad1e4de92dcc82","datavalue":{"value":{"entity-type":"item","numeric-id":383357,"id":"Q383357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3983936$011FF8AC-8DB1-467F-9922-B16B458A79AF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"70844ffc4666eabac4e20376c648613dbe8620f7","datavalue":{"value":{"time":"+1992-06-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3983936$3F2885C5-B6D7-4D0C-9C8F-187F50BB6BE1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983936$F7C85C1C-857C-4C51-B8E5-263E1E3B1C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983936$576A1298-E12C-4825-A9BD-78677A8CB245","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dec64f0ff2b9e550abdcba3b2ea35ec645aab46a","datavalue":{"value":"27431","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983936$A583A718-EAD3-42BE-B641-13180995A349","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03c66001023c7ae2bd97cc12b83b9e9f0b65551e","datavalue":{"value":"rudimentary Beth models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983936$3769656C-3C5D-4ECB-AC96-862B009ECCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d1017b5e10d038e359d69a4c400d6213f241e01","datavalue":{"value":"intuitionistic propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983936$77BE545D-F2C6-4BFC-8045-6E78B623C69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6054dea3f9b79e5a724dc8301f1b48e34a82b6dc","datavalue":{"value":"valuations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983936$6ED7F73A-FF71-4FE0-A559-48A926BD081B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a1e5bc7f4e17a6dded5da86e9b432e39332c19d","datavalue":{"value":"rudimentary Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3983936$AB5E5935-9F40-44BC-A72C-5DAA7B854A8C","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":"Q3983936$E5549BD5-3A2E-4C34-9456-1D2DA83FCD6D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4a0facf330ffd3c3b6a92bd85aba768cec88b22d","datavalue":{"value":"https://doi.org/10.1093/logcom/1.5.613","type":"string"},"datatype":"url"},"type":"statement","id":"Q3983936$D110CE52-0B26-4BA5-9CC8-3DD033D8B8AF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ddf828f1cdbbf881a995a350a158a4ae4e1f8285","datavalue":{"value":"W2000122319","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983936$8406FBCE-4F88-4AE3-8D41-11F125F7927D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60f0d2d8e7c4093d51b022b5f99812ca413ad179","datavalue":{"value":"10.1093/LOGCOM/1.5.613","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3983936$24342916-8801-4620-A015-C92F8AD85527","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":"Q3983936$2798075C-5BB4-4421-8B37-4C263971850F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f307f6632564af7abe66dd193d66fe743be2af74","datavalue":{"value":{"entity-type":"item","numeric-id":2367411,"id":"Q2367411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cc026827550c19184d919ed33d35785db715c26a","datavalue":{"value":{"amount":"+0.8894978165626526","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":"Q3983936$7BA5C57B-E9F5-42F4-B34F-32EC0B49B22A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"addbf5ea46b46b0bb70ede91ccb8120cfe46a787","datavalue":{"value":{"entity-type":"item","numeric-id":1182695,"id":"Q1182695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b37dc83ed85780b9aba3ae491e5fb3afacecd7e","datavalue":{"value":{"amount":"+0.8110040426254272","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":"Q3983936$7D410022-C945-466F-B426-884EEDC53CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a07a71ff9e10e437d24c22e2b7b6202a14824c","datavalue":{"value":{"entity-type":"item","numeric-id":4434503,"id":"Q4434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b784342dcb9f3685bbdeb7d4fde186c5b182f18","datavalue":{"value":{"amount":"+0.7790632247924805","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":"Q3983936$E5FA3BBB-0C4C-421F-A4F7-65115D18034D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3ee68f0de1d97125ef1ec926520acca9867ccd","datavalue":{"value":{"entity-type":"item","numeric-id":1096612,"id":"Q1096612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39d4fbee3ca384c2a23fec919516ac45109c0916","datavalue":{"value":{"amount":"+0.7772066593170166","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":"Q3983936$2A7ED6A5-8967-4DFF-8553-FF3392A13AE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"406ae853a568748fd2915613e4cb326f18137a11","datavalue":{"value":{"entity-type":"item","numeric-id":2904065,"id":"Q2904065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b401102502087e89c663aaa7a325249269873057","datavalue":{"value":{"amount":"+0.7635599970817566","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":"Q3983936$062DF5A5-BAC2-46C8-8D05-8E581A39EBBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3983936","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3983936"}}}}}