{"entities":{"Q4915585":{"pageid":6945166,"ns":120,"title":"Item:Q4915585","lastrevid":92169959,"modified":"2026-06-05T01:02:48Z","type":"item","id":"Q4915585","labels":{"en":{"language":"en","value":"No group of opposition for constructive logics: the intuitionistic and linear cases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6153039"}},"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":"Q4915585$140F4CAC-3F69-4773-970F-798F4E159D85","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b93d83dfe58b60f40eba91a5d019e000396aee2d","datavalue":{"value":{"text":"No Group of Opposition for Constructive Logics: The Intuitionistic and Linear Cases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4915585$4DF94FC2-31C3-46DB-B3BE-DC2B031A7751","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a056943fef1c690329ca9a480224c6a635b7ff4d","datavalue":{"value":"1284.03268","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915585$D9107B98-24F7-4685-9731-43C1DAA2D4FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f24cc97da828e954925c59cea6edc40e2869c416","datavalue":{"value":"10.1007/978-3-0348-0379-3_14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915585$09B74075-3283-4180-BD7A-9E28D08F3BB7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6148dde6f1c964412fdd46065e47735a943131b","datavalue":{"value":{"entity-type":"item","numeric-id":4906848,"id":"Q4906848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915585$AF4F0640-8AAF-4275-A5D5-64D4520B80B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"91e5f7c187686b06abfa3d884a1cd92ebb0677f1","datavalue":{"value":{"entity-type":"item","numeric-id":4915571,"id":"Q4915571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915585$AC57B6A8-5221-4AA2-A93B-15F8C87A3C0D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"58d1d815148d56017f43a36af8999da7bbeea113","datavalue":{"value":{"time":"+2013-04-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4915585$69A65FA3-0143-451E-8346-7F1A913BAB2C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915585$92E9F46F-4474-4604-854F-9266D305A9A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915585$E6A2917E-03B4-4295-B4BF-7EE226D3F125","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915585$EC5F432C-F5EF-458D-A9C7-AE7CB6E753D2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d93220db556888c6fe847606241d7793f588427","datavalue":{"value":"6153039","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915585$5D82A937-A2DC-4EB5-8067-FA309EE47254","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"697ee464cd187be54a8675eb034dec765356eb6f","datavalue":{"value":"square of opposition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915585$7D7D09AA-B770-4C28-96FE-1AB6CC4BC7DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7f688d80cd10dc9c0b004843c0674655ad59b2fb","datavalue":{"value":"linear logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915585$2CBD75A4-05B8-4D12-A6AE-89FFE0F23F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4915585$54CF8271-C6A4-49CC-B9CA-64B87060C083","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":"Q4915585$23E36442-EE8E-44DF-A777-E56CCCCAFF8E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0552d2a44407597a3f67eccc0ad02290c297ae6a","datavalue":{"value":"https://doi.org/10.1007/978-3-0348-0379-3_14","type":"string"},"datatype":"url"},"type":"statement","id":"Q4915585$F0DA09D0-9837-41B6-B211-1F6C8A836341","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"85796a1bfa433f410073a452136c432165f2889e","datavalue":{"value":"W2184456815","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4915585$807FC3DF-D6AB-4956-BAEB-728C217A9DFD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3dc7721d9d3a5c63ec2c3b1e750fe6578526592","datavalue":{"value":{"entity-type":"item","numeric-id":4524279,"id":"Q4524279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4915585$DF397301-2411-42FF-8D66-0BA9FDB34EB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e57dc8edeb56e83a0439e6bf1acb8077679151be","datavalue":{"value":{"entity-type":"item","numeric-id":3655240,"id":"Q3655240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d03b36ae6df303692819936324d804de11b9e66","datavalue":{"value":{"amount":"+0.748569905757904","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":"Q4915585$F53A2BBA-EDCC-49DC-9E42-BC1C33A9C4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9634c736540c96b457b40990b58526809297c6ee","datavalue":{"value":{"entity-type":"item","numeric-id":346768,"id":"Q346768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a924d95e21eebef7c0b8b645a250697c8ee458bc","datavalue":{"value":{"amount":"+0.7341262102127075","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":"Q4915585$DF01A426-48D5-4ADF-B79E-5B5FB7CB9A11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06f3504a1391f7ba83355476e9c055d0689675ff","datavalue":{"value":{"entity-type":"item","numeric-id":5258966,"id":"Q5258966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"512c3e8903c62b1976589bc104111a058b74d3a2","datavalue":{"value":{"amount":"+0.7039219737052917","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":"Q4915585$CB99891F-C0F1-40EA-8E19-B65A680B75B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c0f86432b89b5921fc1ff622408b07f33493525","datavalue":{"value":{"entity-type":"item","numeric-id":4915595,"id":"Q4915595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"982dfecb2d01c7795894fc23c419ce4096c82728","datavalue":{"value":{"amount":"+0.6994699239730835","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":"Q4915585$ECE9BA62-5AF8-4256-96CD-637AAD0B0504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"80c6f3c95250b0b00dab221e9981e99a7ab73780","datavalue":{"value":{"entity-type":"item","numeric-id":3643320,"id":"Q3643320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"95ca467c9c1928b00cbc9b4c23c847557ce7805c","datavalue":{"value":{"amount":"+0.6987159848213196","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":"Q4915585$70D2B13B-5EDD-4F8A-9D06-A16F61818C5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"No group of opposition for constructive logics: the intuitionistic and linear cases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/No_group_of_opposition_for_constructive_logics:_the_intuitionistic_and_linear_cases"}}}}}