{"entities":{"Q4318162":{"pageid":6347763,"ns":120,"title":"Item:Q4318162","lastrevid":88700936,"modified":"2026-06-04T15:13:29Z","type":"item","id":"Q4318162","labels":{"en":{"language":"en","value":"Relevant Variants of Intuitionistic Logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 706780"}},"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":"Q4318162$4CFBE0DF-8F6C-4D7F-BF48-5AFFAA26CEE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e2884a014bb07c5f3d5456bfad1adf3c4ee5e5a5","datavalue":{"value":{"text":"Relevant Variants of Intuitionistic Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4318162$82BDCFD2-D2F3-44AF-822F-63D3BF50A484","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bc2f5756e1b6f636e3f805d83bc9f5ece7ef3f7","datavalue":{"value":"0815.03013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318162$AE6F2E5F-0281-4545-A9A0-0C7F2DC82020","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a75aa0ce15c29930bb5bfb3686899092a610e21","datavalue":{"value":{"entity-type":"item","numeric-id":590167,"id":"Q590167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318162$D79FDEA0-66F1-47A7-9D46-80F67E543FE4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6fec002a86967a3d68ab1d50269b51e2d2e883c0","datavalue":{"value":{"time":"+1995-01-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4318162$FFA2E856-AD05-48CC-9A83-D4E8EF0B6AF3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d9ca1cf26ece09b5f0914a7a44133d531d74a055","datavalue":{"value":"https://semanticscholar.org/paper/8bede4257abc896392504bde83bcee546f31de6f","type":"string"},"datatype":"url"},"type":"statement","id":"Q4318162$9239F17D-BD2E-44A2-A4B5-43C8EAAA4835","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b363e494c684597e57f0cc15c7c0d8f9f3bcf9fc","datavalue":{"value":"03B47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318162$78C6C7FA-7FF0-4A56-B1FE-F9B376481D24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318162$5BDC9B52-5DB7-4F7F-83EB-0D20852858F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"db330d7c95136c222a6a17a1f85197764556c83b","datavalue":{"value":"706780","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318162$229A5262-C0C0-4C55-9949-1B35672EC385","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be534d4950188959ddd440cd819bee45bdd13efe","datavalue":{"value":"relevant logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318162$B4B047E4-36BA-4CC5-98DC-88A62A109662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6c49a109afbae4e592b76f837464c92ae953236","datavalue":{"value":"system E","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318162$438B2294-C212-49C6-810F-D3071E327214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5428ee091d3cafc1b2e9e7840a230b0f4c0f858","datavalue":{"value":"intuitionist-style negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4318162$189150FD-8C70-441C-A453-B8829B3BACE4","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":"Q4318162$726B16F6-D2DD-4CE8-875C-A89D5FA4355F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a315696c3582bc5c5089cc5c825bf33045c6b120","datavalue":{"value":"W2002030023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318162$7B3AB857-0BC6-4926-9C00-7FEDCA204932","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eeff1eb1533b5df812634fc1c8608da26012b1e5","datavalue":{"value":"10.1093/JIGPAL/2.1.47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4318162$FEAD9E9C-294C-4DFA-9437-49641C5A1129","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4318162$BD13C972-BE33-4B26-9C76-EEDCE5914AC6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"611668d1f47a45deb042a9074adae630e84de23a","datavalue":{"value":{"entity-type":"item","numeric-id":3400792,"id":"Q3400792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24746181ad32cc6354019c0558ac8e74acb7aa91","datavalue":{"value":{"amount":"+0.7995072603225708","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":"Q4318162$A88446AF-94BE-44C5-919B-218FE4288A68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c85d878b0378a885d287ac4e5cf92c5dbb6318a0","datavalue":{"value":{"entity-type":"item","numeric-id":2782585,"id":"Q2782585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e07f4da1f5581b5a7615c623a560912bb52fc5d","datavalue":{"value":{"amount":"+0.7853407859802246","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":"Q4318162$8244D240-B17A-40F2-B155-8BFD51DD538B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3248e3fd3812a4c413c4768c038557a6a83dc831","datavalue":{"value":{"entity-type":"item","numeric-id":5274887,"id":"Q5274887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"771d1c867ceed576ab6ef9e5946bc0dce91c38a7","datavalue":{"value":{"amount":"+0.7849188446998596","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":"Q4318162$D368FE43-FDE6-45EA-A082-9186F9AF2B95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"642af5239d22e3add2058fe2b674d5f5f52809bd","datavalue":{"value":{"entity-type":"item","numeric-id":3647286,"id":"Q3647286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9968f3a33e8eb2ed1708f8ad38ab367ce8634523","datavalue":{"value":{"amount":"+0.7782175540924072","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":"Q4318162$CEE6C6A8-65CC-40B2-9F60-9722F5A5948F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0c2065d498bd623ce35f90d4cd421254b2bc4ac","datavalue":{"value":{"entity-type":"item","numeric-id":3086529,"id":"Q3086529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"045f66dfeb2db1c5cb70d87add9e0c3f9b04e24d","datavalue":{"value":{"amount":"+0.769691526889801","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":"Q4318162$7CA801C9-7B9B-4BE5-B983-15871EFE2F6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Relevant Variants of Intuitionistic Logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Relevant_Variants_of_Intuitionistic_Logic"}}}}}