{"entities":{"Q3684111":{"pageid":5714017,"ns":120,"title":"Item:Q3684111","lastrevid":50088736,"modified":"2026-01-12T22:09:28Z","type":"item","id":"Q3684111","labels":{"en":{"language":"en","value":"ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3906483"}},"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":"Q3684111$22513E94-C709-4F22-86F1-8A8BBBF55A32","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a820f3c687d68d7b4d40ae74bf4ff216efa6e16d","datavalue":{"value":{"text":"ON THE THEORY OF MODELS FOR INTUITIONISTIC LOGIC","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3684111$6A536A43-33B2-4ED5-8C81-8E033C08761C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cc77ace14df3d0be956083cf4aec279c1d9b3a08","datavalue":{"value":"0568.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684111$DA8CF98A-E55E-4031-ADDB-69376C3385D6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"28bd9996562689e85182dccf13bed96e7edc660c","datavalue":{"value":{"entity-type":"item","numeric-id":664051,"id":"Q664051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3684111$6C0E837E-23D3-4046-921B-13F576F3B237","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5047453e57eff1aa27b880e1ff12e683281f1e3c","datavalue":{"value":{"entity-type":"item","numeric-id":3027328,"id":"Q3027328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3684111$A338EFF9-780A-4C6A-A294-797F86FF5CFE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-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":"Q3684111$2463456D-950F-4445-85F8-6EEF45150E29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684111$63A9784B-4D8E-4C12-91C0-E1690657E5DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684111$5F14373D-2F57-410C-BDC8-AC1A569D589F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684111$2C6C0939-597A-481A-A958-697662544558","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d40823595f671f8f347825fd0adc1e31ebeb184f","datavalue":{"value":"03C35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684111$03999F49-469C-42D9-9BEB-6E19881F50C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684111$ABF29538-AB82-410B-922C-7B42A205BD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684111$E7A414B6-1A14-401A-920F-2F1F6FF55FBA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06bee9aac39bfcd708e7cc214e7bea5dd7b41c87","datavalue":{"value":"3906483","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684111$8E30D9F4-658A-451B-8086-585D6CBB0CB2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"20149c362eda4537f15c3a0c5fa8df15ff7e7789","datavalue":{"value":"simple theory of types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684111$71BE776B-F164-4509-B40F-586AA5830C3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684111$30C78E55-1B8E-4986-9B64-A5B30AB51DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb6e4553a2eef2ab17eaa903e2a8fa99b6d4b103","datavalue":{"value":"Henkin completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684111$76949CB6-F2F1-4292-B283-F76DF55A3871","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b02ec88f1f188889725a17ac9586cf7bb3c0ba7b","datavalue":{"value":"ultraproduct of Kripke structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684111$76D91FCC-9CDD-4A51-8DE1-33C201A16E0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"145122a4e9209e30cddd8aa5a9074a618a22c369","datavalue":{"value":"omitting types theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684111$151CAD21-4453-4B34-AA71-B697B59B632B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cb1c909b174fe95a2d0e8b6ba5c2a1a55bfa72c","datavalue":{"value":"theories with infinite rules for deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3684111$50E1481B-E888-4B9E-B5BC-9C8426A446BD","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":"Q3684111$478201C3-1AF3-40CF-BF0B-31E30D13AF43","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eee77dcc8f8be5f5543ae364e0bd16bd88616ce3","datavalue":{"value":"https://doi.org/10.1070/sm1984v048n01abeh002672","type":"string"},"datatype":"url"},"type":"statement","id":"Q3684111$C6C77710-93EE-4A9F-82FB-D5B61E2BB476","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5297dbb8c4dea18926ae1227015f57fe698dc52","datavalue":{"value":"W1977645663","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684111$78E79A2F-B975-4424-9E7F-36449D115E73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f3eeaad213d655e6bad220391ee1fbecc67912d1","datavalue":{"value":"10.1070/SM1984V048N01ABEH002672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3684111$8417490E-AA14-4498-B0B8-87B70C80F8DA","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9463d4fbde65997d6564f8bb0be93c312d8aa097","datavalue":{"value":{"entity-type":"item","numeric-id":3067391,"id":"Q3067391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce0f861135b689963f4d7a74a2091274d492a588","datavalue":{"value":{"amount":"+0.8533627390861511","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":"Q3684111$044E79C0-70E9-4D37-9010-46C642780CF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b958373e2438e27311212a3abfee89b629d882e","datavalue":{"value":{"entity-type":"item","numeric-id":1882403,"id":"Q1882403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d63b9f4796c4ef842451b9bc04451d7bd2da56c","datavalue":{"value":{"amount":"+0.8112962245941162","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":"Q3684111$C4A08295-4EF6-4CDD-AB24-678BE13CA88A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb136b35ea81971486ae3a6b66f030aa5b8c08d","datavalue":{"value":{"entity-type":"item","numeric-id":3726115,"id":"Q3726115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9fa7cc97b40928d3a63b990995ac2cb9aa6f8c29","datavalue":{"value":{"amount":"+0.8079447746276855","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":"Q3684111$10C7D96F-C0E4-43C7-B1B7-BC69B29A81B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d08cb31bd72d771492e81fdc29718f0c2266517","datavalue":{"value":{"entity-type":"item","numeric-id":3726100,"id":"Q3726100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ffd636df31b720670dfeb748bc45dbe746cabff","datavalue":{"value":{"amount":"+0.8055627346038818","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":"Q3684111$3CC2FC9A-0562-4A33-813A-FA51445327F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33e597bd7312a26234bf0be95d59ebb406df5de0","datavalue":{"value":{"entity-type":"item","numeric-id":4874811,"id":"Q4874811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e2aed29da129fe9cb4880ad5faec67e7664a0ec5","datavalue":{"value":{"amount":"+0.8046358823776245","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":"Q3684111$34D16189-1336-48AE-9FEB-7A4C46A80454","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3684111","badges":[]}}}}}