{"entities":{"Q5894700":{"pageid":7933620,"ns":120,"title":"Item:Q5894700","lastrevid":101872856,"modified":"2026-06-06T03:02:44Z","type":"item","id":"Q5894700","labels":{"en":{"language":"en","value":"CERES for first-order schemata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6837758"}},"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":"Q5894700$2D1025E9-3B19-4A8B-9111-3FF860D24B8A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6902b5aed49b8761fad4db4d02582a094256728b","datavalue":{"value":{"text":"OUP accepted manuscript","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5894700$022CF4DC-FDC9-427A-B4FA-46F0B2690F14","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"414b98b7c41af8325a89c29bff13143ae9c2e2a8","datavalue":{"value":"1405.03089","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894700$1DB9708E-B70E-464D-BBEB-CA9EE14F7F90","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":"Q5894700$B9CF8E49-6890-42F3-ADDA-9B54292D7E03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dbb66b347a8501d3e88bb4fc6db185a6021261a5","datavalue":{"value":{"entity-type":"item","numeric-id":167063,"id":"Q167063"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894700$ACF1363B-12FB-4448-97DA-FDEB8B724301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bcfb9bbb17b1f1dc2e6c305c640f7c0f522c3f5e","datavalue":{"value":{"entity-type":"item","numeric-id":402114,"id":"Q402114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894700$ED921424-D5CC-4EA5-8795-90CF3F51496E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5894700$B35AE812-B8DA-4496-AA1F-DA99232D17C6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ee53210b31b3a9f4fe71da2550e4c06c4d383198","datavalue":{"value":{"time":"+2018-02-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5894700$66F2B13A-FB74-4D76-90F7-0DA81831D52E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a1fb435abbbc5042fd16c12616a6d6656bde7225","datavalue":{"value":"https://arxiv.org/abs/1303.4257","type":"string"},"datatype":"url"},"type":"statement","id":"Q5894700$D3924D19-6DE1-4B34-AD53-83FD76DC4F08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894700$0ACDBC86-EAF8-45BC-9656-6675C9640645","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ce3fd441aa9a81e4cf85d5d28543f625792e8a5","datavalue":{"value":"6837758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894700$08210FE8-86F0-4E18-90AF-F7A60C64BEB9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894700$F462E944-4AD9-40B9-8091-51FB723DAE3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"707574118d464f2fd07f4a69ad22058453e2d3ff","datavalue":{"value":"CERES method","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894700$F78F61F9-2FBC-4E4F-A101-F8D16FCCAAD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5894700$F9B29CF1-59FD-42DF-85C0-5FF7A21BB75F","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":"Q5894700$59D04173-F090-495F-8127-C19873354842","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a32d74c57b3bdcb3724dd10a2d6750fc1c13186d","datavalue":{"value":"W2964170360","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894700$743F9F0D-4DE3-4F1C-BD2D-17A94CB308C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dcbd145e703f86b9c72cd999d6b96f22cb067c1","datavalue":{"value":"10.1093/LOGCOM/EXX003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5894700$04C81ECB-761E-4E4F-8F31-65209CA38FF0","rank":"normal"}],"P1643":[{"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":"6cfe75c64c5c0d589d4143651caacb91ce4f9fef","datavalue":{"value":{"amount":"+0.8609668612480164","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":"Q5894700$5A4C500C-DDA9-4E6C-9B42-1F1B59C406B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2402b34c779a73eb9f6c4530e64b5a77c98788a","datavalue":{"value":{"entity-type":"item","numeric-id":609451,"id":"Q609451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5812c1bb2031a714c3661a3e1bef019077195ec","datavalue":{"value":{"amount":"+0.8531010746955872","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":"Q5894700$52A08E51-82CF-47C3-BFDD-2CAE695A2753","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"060c11824453d7d11b7734e7def710dc27b17879","datavalue":{"value":{"entity-type":"item","numeric-id":3455184,"id":"Q3455184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74690b9d93a742341f1144ff32a5e40702e52e4e","datavalue":{"value":{"amount":"+0.8520358800888062","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":"Q5894700$30FD0834-8248-4FD6-80D7-B1576C276EB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5dff2234d712e9ec47640c786da6a18cb4b7bcee","datavalue":{"value":{"entity-type":"item","numeric-id":5705944,"id":"Q5705944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30235a54ebe3419f344d82d54890ca946d41fbc8","datavalue":{"value":{"amount":"+0.8455893993377686","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":"Q5894700$DE4036C7-341C-4F05-A405-ACE03BDE739E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7910f50ae5a96092eb3bdfb8702ba88ad922a5f","datavalue":{"value":{"entity-type":"item","numeric-id":2259012,"id":"Q2259012"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ce4dc1bc85b7542dd738508100cd1e830cff10d","datavalue":{"value":{"amount":"+0.8399354219436646","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":"Q5894700$3BC6F7D0-777F-4D4B-8990-C3543DD17CF2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"CERES for first-order schemata","badges":[]}}}}}