{"entities":{"Q5886462":{"pageid":7916013,"ns":120,"title":"Item:Q5886462","lastrevid":101845784,"modified":"2026-06-06T03:00:09Z","type":"item","id":"Q5886462","labels":{"en":{"language":"en","value":"A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic\u2014An Application of Jankov Formulas to Predicate Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7672621"}},"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":"Q5886462$3B226C47-9B7D-4408-BE57-5BF6C83667D2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a359534c405cd1e3c8585ee60be6bb59f99ca2c9","datavalue":{"value":{"text":"A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic\u2014An Application of Jankov Formulas to Predicate Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5886462$6B45771E-95EF-48FE-A29D-29921100C125","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c97d3500e50f8ecd501ac9206e4205e567675e01","datavalue":{"value":"10.1007/978-3-031-06843-0_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886462$C1E4A880-4E00-4EF8-A945-94187FFEAD13","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1016ebddca2e676bc3bfc667fc000a8deeaba30e","datavalue":{"value":{"entity-type":"item","numeric-id":757341,"id":"Q757341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$5D8F5035-6AD8-4819-8519-BBBE7837C2B4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8013978382056da70e69b9d08eca59e7f3594a6e","datavalue":{"value":{"entity-type":"item","numeric-id":261506,"id":"Q261506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$8B129A48-1ACC-46AF-B624-87FC3518367E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23081f3ff1efacf6ecefe15d31667096d2415dfa","datavalue":{"value":{"time":"+2023-04-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5886462$F3A005FA-4F1F-4320-9F6B-7150066F5337","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886462$D100EED1-C0AB-4B4C-953C-E5E653B189E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886462$E9D5E0EF-0FA8-4957-898F-4C1A5F94F2A2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"720ed495f89952a437aa263f6591aa0601280a40","datavalue":{"value":"7672621","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886462$CC6FF079-8108-4711-BC1E-8E2CCD9BB0FC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3020c5a082e5813cedace6da7c6bdd6690dd9fb5","datavalue":{"value":"disjunction property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886462$9A77B4D8-6FB8-4098-A61A-6093C6B7A2CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886462$0536CFFA-60A9-4837-A94C-D6431C00D619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e6ccc36dd4b829a804cb35634e3fec1befde97fe","datavalue":{"value":"intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886462$9B20EF20-BE16-4E7B-BB2D-F2852C527F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c18c10afa02a19a388314cbc43fe203201e3103","datavalue":{"value":"Jankov formula","type":"string"},"datatype":"string"},"type":"statement","id":"Q5886462$E778A4EE-52E6-467C-94EC-76E6E57DD592","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":"Q5886462$C2A59BC8-E25E-4C37-ACD8-64544CF22A0E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7dbf007bb720c4e572bbca5377f57bcb575426d9","datavalue":{"value":"https://doi.org/10.1007/978-3-031-06843-0_9","type":"string"},"datatype":"url"},"type":"statement","id":"Q5886462$686683EC-2C5C-40AE-95CE-06D8BDA1EDB4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87d932e4e47ad723fd36deb54ea776693004a35f","datavalue":{"value":"W4312654633","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5886462$819EABDD-5F9A-4341-A90E-A4E8C3CA7B2D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7560ee1eeb9a13415ac8537672089a0c086ad04","datavalue":{"value":{"entity-type":"item","numeric-id":3235339,"id":"Q3235339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$EF83AE8A-347B-480E-AA2C-0BE4FCF7A2BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aab837d0ba5eb3bc807d5eabbe0cfbb6dd953249","datavalue":{"value":{"entity-type":"item","numeric-id":5214733,"id":"Q5214733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$58187011-391B-493C-B656-B0F067558E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7efca8e4596d9afd2a5ad9c3a14e955093b5ab3","datavalue":{"value":{"entity-type":"item","numeric-id":4039813,"id":"Q4039813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$D5CBBD62-6FF2-4B1E-AD7D-EADBF1B62185","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a48f1b68aad73e06e77b38880e027ca0f791064","datavalue":{"value":{"entity-type":"item","numeric-id":4283073,"id":"Q4283073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$BF3F9ADD-23AB-45F9-B7A3-658BE74734F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff7ea38f610625bcd545c72bc177a298f6e2eb43","datavalue":{"value":{"entity-type":"item","numeric-id":4109645,"id":"Q4109645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$9D83DB59-E43A-45B3-99D1-C99E534C78AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf6d466157a49dfa12e908720e3ba455da62b63","datavalue":{"value":{"entity-type":"item","numeric-id":3486545,"id":"Q3486545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$F698F98D-8C42-4ED3-85C7-A5092CF917C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$C008204E-2BA0-40B0-B6D7-704F3B6A4420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3be6adbacb915dbf54fc550a4feb912036627eb","datavalue":{"value":{"entity-type":"item","numeric-id":731484,"id":"Q731484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$FCA016FE-6591-492F-A353-44E240AC81F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91aed4ff7969ae62a864e7e6e6061b889189f091","datavalue":{"value":{"entity-type":"item","numeric-id":5519127,"id":"Q5519127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$AE4C8447-4A0C-48F3-8433-C7CED7BECCA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b90e62a647d76324dd712fbc39d6d3cb2ce86e17","datavalue":{"value":{"entity-type":"item","numeric-id":5595146,"id":"Q5595146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$1DEE09BE-6BDF-458A-80D7-D47317FA6C07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3c6d07dd80de4de8f6f1d51aa5d78e790a6fd51","datavalue":{"value":{"entity-type":"item","numeric-id":5812175,"id":"Q5812175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$8767A893-3552-4587-A1CF-B156F92BB765","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40bf03b14ee12a3cdbc67fa7b1fe5ffcff272071","datavalue":{"value":{"entity-type":"item","numeric-id":3851084,"id":"Q3851084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$E2553F1B-FF80-4CDA-901A-C1EC116E2EC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"830d20fb103db09e7a9b7bc086aa89f02fdefba3","datavalue":{"value":{"entity-type":"item","numeric-id":3322079,"id":"Q3322079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$0C474678-3BB1-4D9E-93E4-9ECEC3F0F2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35cf2593590aecca43a7f8a6e13cb4417cd5c2ff","datavalue":{"value":{"entity-type":"item","numeric-id":3830979,"id":"Q3830979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$12470F76-4C38-480C-9858-DE429CA10F8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"872c19fd66dc64ef1fde0c93e0b12f5a12aa7bb0","datavalue":{"value":{"entity-type":"item","numeric-id":1891930,"id":"Q1891930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$DCF95B5F-415E-46BB-9A10-2B441943D380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da541083afe0ca5eeb71ebcf76f23461936fbb3b","datavalue":{"value":{"entity-type":"item","numeric-id":4887107,"id":"Q4887107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$450941B1-9C07-45CA-A2A5-D8656D5BE69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa4f5dec49600ecee20cc0c7f9efdf5426346c24","datavalue":{"value":{"entity-type":"item","numeric-id":1970921,"id":"Q1970921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$8CADB13F-E5A6-49F6-BD6B-A08EC6FD0E88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c34846c6e5ce2de4fe41b643d4caa470bb398fc3","datavalue":{"value":{"entity-type":"item","numeric-id":4608557,"id":"Q4608557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$902A0092-7C71-4981-AD5C-2A9133E05E38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9ecf8ec91ee333f9f99d0555c63efc6f85dfb99","datavalue":{"value":{"entity-type":"item","numeric-id":4071211,"id":"Q4071211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5886462$D818B606-9AA3-4AF0-B807-47F3A6CD7940","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f86146be4b879e30cb1389125f5b388fd413ff","datavalue":{"value":{"entity-type":"item","numeric-id":3322079,"id":"Q3322079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4e176678706d04e528264519920f1bfb0215abb","datavalue":{"value":{"amount":"+0.8033876419067383","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":"Q5886462$6A0D1ED5-CB90-467C-B130-779B3D49522D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29560c6cdfcaede0bc8c572ed95012dee18fe9c2","datavalue":{"value":{"entity-type":"item","numeric-id":1891930,"id":"Q1891930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3321eac4f3977f823e84651fc63a38a4c499b0","datavalue":{"value":{"amount":"+0.7850046753883362","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":"Q5886462$9BE02CEB-13EE-4042-93D3-B3B9919E3A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ea9d35b739be79aebed0b641b132eb99ed8a12a","datavalue":{"value":{"entity-type":"item","numeric-id":4221774,"id":"Q4221774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53dc0460760873f44764f4780a22a81a50a884db","datavalue":{"value":{"amount":"+0.7746289968490601","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":"Q5886462$EB5BBF9A-94F1-4232-94F9-D983ECB9E076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75aeac5a560fd2ab3cf01e1f1df741200a2a6ee2","datavalue":{"value":{"entity-type":"item","numeric-id":4608557,"id":"Q4608557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f956e0668000c0bad0d00a3eec4d64495076e60","datavalue":{"value":{"amount":"+0.7684789299964905","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":"Q5886462$1C4361D9-3946-424F-AE17-D7F86BE40E8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47987a11b7b9b6316426f59b56adfeda1c6e0d30","datavalue":{"value":{"entity-type":"item","numeric-id":3684108,"id":"Q3684108"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd5ceac6d895a0cc724d330e759486ee68e32a57","datavalue":{"value":{"amount":"+0.766349196434021","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":"Q5886462$77AC407B-2456-4A38-97CE-844167DCFD9D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Note on Disjunction and Existence Properties in Predicate Extensions of Intuitionistic Logic\u2014An Application of Jankov Formulas to Predicate Logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Note_on_Disjunction_and_Existence_Properties_in_Predicate_Extensions_of_Intuitionistic_Logic%E2%80%94An_Application_of_Jankov_Formulas_to_Predicate_Logics"}}}}}