{"entities":{"Q5283439":{"pageid":7313013,"ns":120,"title":"Item:Q5283439","lastrevid":52864538,"modified":"2026-01-23T16:23:42Z","type":"item","id":"Q5283439","labels":{"en":{"language":"en","value":"The complexity of disjunction in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6751249"}},"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":"Q5283439$157903B5-FBEC-4C6A-89A0-C97D2F31ECFE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"72b4149fc42785e1770c61362a711d12ce44e3b2","datavalue":{"value":{"text":"The Complexity of Disjunction in Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5283439$994E79CE-A16F-448B-8852-B4D312074006","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d22e0ea0415463757fc61dc9122a28d9cb9ef43e","datavalue":{"value":"1476.03004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283439$9C884064-3FE2-4FF1-9DC3-B2244EDEDCC4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"17700bf84f2eecf443af800aa5cdf2f7ec7c9788","datavalue":{"value":"10.1007/978-3-319-27683-0_24","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283439$725FFC3D-4B21-4982-9058-EDCD9681AE55","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6b43984c3ba3f1d3c26edd57f10023672b3ba492","datavalue":{"value":{"entity-type":"item","numeric-id":3455829,"id":"Q3455829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$CBBD3240-2660-41ED-8AE8-93935F0F9E9B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36ae9f0663dd67e81623b5f2360b90198adfccf0","datavalue":{"value":{"time":"+2017-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5283439$87D58E6C-3F46-4CA7-A8E8-EF471C7B27A6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283439$41D0D017-1158-4B76-B741-6D801E3EBE6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283439$9C2C6924-9557-4834-8BA7-443AD9FB48C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d585c65d7be7bf81dcd798b3ca7eb61057f7659a","datavalue":{"value":"6751249","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283439$63EF1123-6F4A-4F1A-A458-9AFD3E18CCD6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283439$564DB78B-53FA-42EB-9429-079E18B1FC21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283439$0FE5168C-F7F1-47B3-A9D2-F8DD7A3208BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58a0c383a387b1f7bf6a0f5a1f896244b5448863","datavalue":{"value":"disjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283439$E41E9FB4-403F-4E3A-87B5-8FDE4FDEA212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5283439$A9F6F29F-45EF-401A-A094-BAD2AF6DDA15","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"90c652c0e0b343ca8ddf78ca267401489e0159b6","datavalue":{"value":{"entity-type":"item","numeric-id":31916,"id":"Q31916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$024A6A36-F444-4848-815D-0EDD325F4C9D","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":"Q5283439$85506E5B-85C5-41AB-8C61-89C4548994AA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"57d69fb4c66f4d61a9d56cbe08b6637439928172","datavalue":{"value":"https://doi.org/10.1007/978-3-319-27683-0_24","type":"string"},"datatype":"url"},"type":"statement","id":"Q5283439$2CDF27BA-2A0C-429B-A4FD-DDBCBA9EBBFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5da2bc67a9fed04acca76fb44577753d25fb578","datavalue":{"value":"W2401823700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5283439$1E72DBAE-4E19-4C88-974D-0D39D1681A28","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a57bbad994f07c0ded7c353d4999d3a054e97198","datavalue":{"value":{"entity-type":"item","numeric-id":2963910,"id":"Q2963910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$AE1B2EEF-7B6C-4ADE-9F4F-3A868193E7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caefc3eea3c60cfae1e49dd2122c83893c3136d","datavalue":{"value":{"entity-type":"item","numeric-id":3586076,"id":"Q3586076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$A1E23C94-08BB-4759-8D4A-364893F48361","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cef13e4b14d801298db0c9a232f5e54407fc6099","datavalue":{"value":{"entity-type":"item","numeric-id":5406129,"id":"Q5406129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$F9A5CBF5-9A70-403B-A0EC-B044D8BD7D98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc4654966811e7c3e2be77b22c29c73834fc1bb2","datavalue":{"value":{"entity-type":"item","numeric-id":5305643,"id":"Q5305643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$3239C2BE-D980-47AC-8C13-201D3891C67D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4a73265bad6ea50fe9fad5bfba6b38941e6752f","datavalue":{"value":{"entity-type":"item","numeric-id":3968876,"id":"Q3968876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$F803E713-F81A-4545-AFD4-0E0F12677C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$274D044E-0B24-473B-A206-567B14BFB2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f736763f9b8cfd359627a27ea17992bb6a6a0e2","datavalue":{"value":{"entity-type":"item","numeric-id":2946626,"id":"Q2946626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$495643C9-E0E5-41F6-889E-CE496C7ED3B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73be51180a4ae638d5a418d1b56b15bd31679fd8","datavalue":{"value":{"entity-type":"item","numeric-id":636282,"id":"Q636282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$9A7F00ED-B53E-4A1B-9783-DB799EC829FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"815644ad4224b0a8904cab3f05eb19a1f9472bfe","datavalue":{"value":{"entity-type":"item","numeric-id":2339598,"id":"Q2339598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$A82B0F4F-111E-44B3-BCB6-4A626F908DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa504e0f08fb80deb55e9670109c1f4ade70333c","datavalue":{"value":{"entity-type":"item","numeric-id":5286164,"id":"Q5286164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$E12F3951-A581-4909-84CF-D926AD476A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626d7a62e073def6cda0e756433e91c381c28af8","datavalue":{"value":{"entity-type":"item","numeric-id":1874404,"id":"Q1874404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5283439$B5EDFBCF-BC8C-4CAD-971E-B619A3C2CAF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ad91b06d6df17d1fbd2c1ba65d71160e5ba4944","datavalue":{"value":{"entity-type":"item","numeric-id":5108032,"id":"Q5108032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c810d48b29440bdc90f958cfd9f0bf3c6f79487","datavalue":{"value":{"amount":"+0.7847950458526611","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":"Q5283439$49BCA850-ABCC-4F08-B2D6-DA5D957E7F02","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":"f6eaca8bca3c0fdcf268ffcc19a9d918d4adcb17","datavalue":{"value":{"amount":"+0.7771162986755371","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":"Q5283439$AFFC90A6-4721-40B0-A45D-113D87469CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef938da9dfba3b5484628d38cc97b810578fa0b","datavalue":{"value":{"entity-type":"item","numeric-id":3643316,"id":"Q3643316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8a19410a7bd2968d71222114dcf3ea82131dfce1","datavalue":{"value":{"amount":"+0.76118004322052","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":"Q5283439$0B4440B4-B8E8-4E71-88C2-529E481FCBC3","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":"469587045a28ade847f27b0d54d9562af574a099","datavalue":{"value":{"amount":"+0.753255307674408","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":"Q5283439$D38E6665-0F4D-4651-BF0C-38B65773D52B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b15f4fe52969708915a840416b91e058676297d","datavalue":{"value":{"entity-type":"item","numeric-id":1181713,"id":"Q1181713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec47c139d2ccb4d492b7f61a42cfa2f254e9556a","datavalue":{"value":{"amount":"+0.7187389731407166","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":"Q5283439$C1534960-83FF-485C-98F6-33DDCDB753E1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5283439","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5283439"}}}}}