{"entities":{"Q4649567":{"pageid":6679148,"ns":120,"title":"Item:Q4649567","lastrevid":82273652,"modified":"2026-05-06T20:30:45Z","type":"item","id":"Q4649567","labels":{"en":{"language":"en","value":"Towards CERes in intuitionistic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6109853"}},"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":"Q4649567$D9DA027E-BCC4-40E4-871B-023527D02025","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"862b18f33fb0e3cd4b47f314b2d56f6223f4ed75","datavalue":{"value":"1252.03124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649567$6F582AD5-3D57-4129-A1C5-56D067733751","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53993ae6db4350dacb1d3d4f5370b18b73e58da6","datavalue":{"value":{"entity-type":"item","numeric-id":167060,"id":"Q167060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649567$21565912-1CED-4EB3-9735-3DE2044FF330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"17cdb0f2ca16c9cd1883b12b5d361fd27847e033","datavalue":{"value":{"entity-type":"item","numeric-id":402113,"id":"Q402113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649567$B9EA67AA-524E-4260-8EAF-DB8B08BEFE18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0365ec2945198187c9a57348ee998a5f73811baf","datavalue":{"value":{"entity-type":"item","numeric-id":523302,"id":"Q523302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4649567$722BA203-B004-4EE7-A53E-7F2AAA5B648A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2f3aa46d2f66375aad8f9f235cf6aa2da570e73e","datavalue":{"value":{"time":"+2012-11-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4649567$4CB54BBF-B7F7-4DFA-8822-FDE511018AAB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649567$A6C8F91A-D527-4BB2-AB7B-826CB2CCFE39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649567$A80A7947-68A5-4C38-A31B-C229E70E0A5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"edc5fef487d870524362aa7dfa9e2e0f0a174877","datavalue":{"value":"6109853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649567$66FBD25F-05CE-4ADA-AC29-D3136A0AAFA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649567$9EF89743-8C73-4546-A664-34A87F94FD57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cfac5eb6431ec88e2a6e9bafbfcf7b49dda794fc","datavalue":{"value":"resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649567$85B4D291-8B39-4AFB-8A82-09CFAF048CE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6aa73b16a09304c576272b5e43525581acdd5f75","datavalue":{"value":"LJ","type":"string"},"datatype":"string"},"type":"statement","id":"Q4649567$DA55E840-A88E-47F2-80BA-31C8F0E45E8D","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":"Q4649567$31E7CAB3-7F9E-4F98-9439-784C48BDBCCE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"118eb5d09abb73d858e32a0ec9f7878903ae6fe7","datavalue":{"value":"http://frontiersinai.com/turingfiles/September/38.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q4649567$DA08C768-07CF-4C8B-9C10-165F42C3B78F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5506f80c7c00d923cb76155dbca15792d474835","datavalue":{"value":"W2249029578","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649567$8E088CE7-6512-4089-B989-3D32CAC147FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59b0ee328c0a827e520ade1e3d2d0e23523602f4","datavalue":{"value":{"text":"Towards CERes in intuitionistic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4649567$B40A9811-8F25-4437-912F-C80A86D56E01","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"41e3b01fed3471db09db137427e2b5bf6f7aaaa2","datavalue":{"value":"10.4230/LIPICS.CSL.2012.485","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4649567$A3D2071B-9367-4132-89F4-EBA8806FFB59","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62d255f532a843485854e35c090b2b77e23e9166","datavalue":{"value":{"entity-type":"item","numeric-id":2363201,"id":"Q2363201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e66999d3e5ea58059f02397fefdea2a73e4b7c9a","datavalue":{"value":{"amount":"+0.964927","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649567$587D35F8-03F0-48F8-83B0-0C1E752BB66D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e708cd7b9edd1f124afe14dce1137c8bd1b31f5d","datavalue":{"value":{"entity-type":"item","numeric-id":716500,"id":"Q716500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ae059f3d21760a27b6676e11155b3efa9c59ab2","datavalue":{"value":{"amount":"+0.91915053","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649567$CCE59A1A-2B3D-427F-8D60-D7E5733CBFC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a949c1887df37020eb85436a1ec2c31019214486","datavalue":{"value":{"entity-type":"item","numeric-id":5705916,"id":"Q5705916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ebe5b69d0c35ab61574b4da81a6138dd4cbb0b","datavalue":{"value":{"amount":"+0.9134177","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649567$EEFF3E24-9B7D-47ED-8CB0-D3AB125E5D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab2cb3e2a1ab12c8c2843eb69f967b35a6b8245b","datavalue":{"value":{"entity-type":"item","numeric-id":5413327,"id":"Q5413327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8924d101b8415741a445fe7df3d3fadc482dcff9","datavalue":{"value":{"amount":"+0.88770944","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649567$3F3E120A-89B5-4251-9B04-3A40CC0E1E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bad6b3a64f3d0927bbce72901fb27b6e91ca95e3","datavalue":{"value":{"entity-type":"item","numeric-id":4263007,"id":"Q4263007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bf7421021c9d08df48adcd5a5c40b818161748b","datavalue":{"value":{"amount":"+0.88221","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649567$36475387-4EF5-4053-91C5-D9D1B467DC33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2722843a5476c30251f88d085af74ec5f9d816b","datavalue":{"value":{"entity-type":"item","numeric-id":412013,"id":"Q412013"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05d06ad2b4a99b72aef39fdfdc3cfb1059fe87f1","datavalue":{"value":{"amount":"+0.8774634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649567$5D40085C-71FC-48BF-B690-EC4E1F7B5F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace8e346ecef3333a5a970819d17a94bddb1b2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5886518,"id":"Q5886518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"395e782b0fcc18cdfb932ef5591106cdd4bb90ec","datavalue":{"value":{"amount":"+0.87672883","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649567$774C2487-FB8D-4BA6-B079-CE5F03457E8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3b3111f8ca731ea643542073f2a6b8290885389","datavalue":{"value":{"entity-type":"item","numeric-id":5437872,"id":"Q5437872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6aa72413579785eb08496fa71d72f47c046e83c0","datavalue":{"value":{"amount":"+0.8766972","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649567$D2778C1B-F33C-426B-9109-D532F7171FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c84421e2aaa4548d865b7bbc633f7e7841de78e","datavalue":{"value":{"entity-type":"item","numeric-id":1591374,"id":"Q1591374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2607f303bcfdfb092be72ea185348859086af680","datavalue":{"value":{"amount":"+0.8764211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649567$5730D671-35A8-4DB5-B9D6-DA9EF13F4954","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24e7ec0eb5e8f017d8c636db8b23b6051c947ab3","datavalue":{"value":{"entity-type":"item","numeric-id":5145339,"id":"Q5145339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4503b0a355e18f05fd7c4d66224b111da888d865","datavalue":{"value":{"amount":"+0.8753129","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4649567$AA355DFA-5F9B-48FD-91F4-946AE2423974","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Towards CERes in intuitionistic logic","badges":[]}}}}}