{"entities":{"Q3851084":{"pageid":5880989,"ns":120,"title":"Item:Q3851084","lastrevid":54518675,"modified":"2026-01-27T19:51:02Z","type":"item","id":"Q3851084","labels":{"en":{"language":"en","value":"Disjunction and existence under implication in elementary intuitionistic formalisms"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3182189"}},"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":"Q3851084$BB1E3F27-2DD6-4FB9-826E-2787E3887FFB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"24bd44645d99484c9cdc8c4007f4e1ef873e7ff7","datavalue":{"value":{"text":"Disjunction and existence under implication in elementary intuitionistic formalisms","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3851084$8ED76644-72DB-467B-B620-825E141E0253","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e5bf7c6fca650fd828dcb676ed34fa15e7bf9961","datavalue":{"value":"0112.24502","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851084$8362D4D1-5291-44CD-8C58-CD8FA791CDA9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7070c068dda43c53f5c56f4d8d67710eb49a8a59","datavalue":{"value":"10.2307/2963675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851084$A9D6C929-9C8C-4BD5-9EA4-C391F7115B6D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851084$B92C075A-36A2-485B-94C5-AEEC712E58F6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb2ff0c8850243f6c91f9deeec455d393bf560c2","datavalue":{"value":{"time":"+1963-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":"Q3851084$C881349F-2AE1-4AB3-A009-3F401399EACB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851084$37C768A7-B262-42BA-844C-A105EAA1DA94","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"af59400a0a84bd9159b8148405d7a3985d3bd669","datavalue":{"value":"3182189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851084$68B7B420-DC31-4A76-AFCB-4D6FE65A04CC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06aca432496264a4189a9a8b528e128b9e01a6fd","datavalue":{"value":"mathematical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3851084$6A45F347-4E44-49EB-A2E6-35648B124BFA","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":"Q3851084$EE6B5E8D-2592-4634-A56D-EE82A6B870A8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"32b044b49e084fdc852659195c9c7832650407d7","datavalue":{"value":"https://doi.org/10.2307/2963675","type":"string"},"datatype":"url"},"type":"statement","id":"Q3851084$73BDB3EE-2D85-44D4-9DD4-F9149114A99D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2972c9b2a19755634d3866ba4f37dec52d8fe560","datavalue":{"value":"W2069450525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3851084$E16C23C3-8345-47C5-B20D-A4ECCAA40ED9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1cfbdba4d61283c4aecfff5bb19cabf08a5ab634","datavalue":{"value":{"entity-type":"item","numeric-id":767454,"id":"Q767454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851084$104C44E1-D22B-452F-B7EA-639F024D60C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851084$476E7E57-B012-4CB6-BF1D-5474B4E1BD05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed06f3a1051c38b77692fd862191034be4a8eb1","datavalue":{"value":{"entity-type":"item","numeric-id":4757531,"id":"Q4757531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851084$1EE2E0CF-4E1F-4B1C-BEFE-3D9BF1ED7923","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e5656f58d112618d304645dd73bd488b0374c10","datavalue":{"value":{"entity-type":"item","numeric-id":5846548,"id":"Q5846548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54bef65f0cc629ccfc1a6993339dda04cf2f4729","datavalue":{"value":{"amount":"+0.9166093","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3851084$E1644E07-8323-4B15-950D-162B305FEB43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7fe923f69fb9f593c338c6929596fea80f19689","datavalue":{"value":{"entity-type":"item","numeric-id":1304542,"id":"Q1304542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf7f2fb3a3eb326e9a37f9def889dea9a0895e74","datavalue":{"value":{"amount":"+0.9108304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3851084$05B51FBD-01DD-433B-AEF9-1D0AF0A8F47C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b4123cd7eeaf9578b503eb301d80357e004144a","datavalue":{"value":{"entity-type":"item","numeric-id":2278839,"id":"Q2278839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a76f71386db37980ee739e79339f10b9a3dd77","datavalue":{"value":{"amount":"+0.90590584","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3851084$FB22E9EB-B003-4896-BA31-2355166E145A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89b1dfd4c2eb078bf9e5f08f63dab87a3eb46496","datavalue":{"value":{"entity-type":"item","numeric-id":2893316,"id":"Q2893316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdd70de4382766d58a54d53c93188c103a35fec3","datavalue":{"value":{"amount":"+0.89823294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3851084$E5AC48F9-A9DC-430E-B4FF-B9A18C5B0346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1728235207b2c0f219e468c964d732208ea6ef5c","datavalue":{"value":{"entity-type":"item","numeric-id":3760513,"id":"Q3760513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4c3ead9bf77966f35cb61f6b3c3a5967923c015a","datavalue":{"value":{"amount":"+0.89789295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3851084$D4E7385D-FAFD-4580-A84B-3571FFEFA68B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc0a2fd6f420097f1f8d832df93f65e2095c28d4","datavalue":{"value":{"entity-type":"item","numeric-id":3486545,"id":"Q3486545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f7931842bd0f17ac9e4a42c66a9be57e2fe31d5","datavalue":{"value":{"amount":"+0.8977588","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3851084$98054404-2EA5-44DB-B313-07A00FB68445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9bd972ddc76f4871a2212db57a837fe4a3f68a45","datavalue":{"value":{"entity-type":"item","numeric-id":5224584,"id":"Q5224584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aded6647433558b79117cc295b611b6a1cbaa5bc","datavalue":{"value":{"amount":"+0.8916525","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3851084$3EECAC31-D73E-4FBC-9ECB-66F57DF3C5F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"352257cf796302043f14803cdbd955d135962283","datavalue":{"value":{"entity-type":"item","numeric-id":3726084,"id":"Q3726084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed5d28585f2ed6209e42395ca3e1c525a356317f","datavalue":{"value":{"amount":"+0.890723","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3851084$5C0C0CEA-7457-4220-B09A-DF8678E8354A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0ba7bbd700a778f4a57a32b650b5f91617932e9","datavalue":{"value":{"entity-type":"item","numeric-id":4764119,"id":"Q4764119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"edc153529a1866a3b5578d283e2ce14a927486da","datavalue":{"value":{"amount":"+0.8906524","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3851084$823022E7-725B-47BB-BBA1-590010F0DA5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"828704dbb3aad678a8d8e1ea9a8dc1214123cbe7","datavalue":{"value":{"entity-type":"item","numeric-id":5277730,"id":"Q5277730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7a81dd71e55e377b8f9c4dd87544b8fe3477fbe","datavalue":{"value":{"amount":"+0.8887752","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3851084$B094D1A5-5E95-45E0-8AFE-E13F0F32EEF9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b7fdd3d6b9cc141f6d005556f1ba7c68d933a429","datavalue":{"value":{"entity-type":"item","numeric-id":6672169,"id":"Q6672169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3851084$8D32EA6A-4FDE-4431-9A3C-470A66EA9F5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3851084","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3851084"}}}}}