{"entities":{"Q2352485":{"pageid":2363228,"ns":120,"title":"Item:Q2352485","lastrevid":74087670,"modified":"2026-04-14T18:19:07Z","type":"item","id":"Q2352485","labels":{"en":{"language":"en","value":"Terminating calculi for propositional Dummett logic with subformula property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6455025"}},"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":"Q2352485$7C4C72DF-1625-4BC7-B405-1F9E07DF4E4B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10a5ef2fa2240fff988876fb7e432d4b81ce5a1c","datavalue":{"value":{"text":"Terminating calculi for propositional Dummett logic with subformula property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2352485$3879D3EF-BCFE-40F5-9067-283960293EA8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"28e0b51ea211ba92e558e989e68b36c351b31651","datavalue":{"value":"1315.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352485$496CF396-706B-4DE4-A2CE-7642B3BA32CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a3322f7c395849201c201788891d980fbbf885","datavalue":{"value":{"entity-type":"item","numeric-id":230826,"id":"Q230826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$2E7327F2-39ED-4368-9A55-5DACBB1BD384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$49F25D6A-17A2-4FBC-A1D9-63D337016631","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"574af01bec34fab94fbd05c1ad16d21d195c1ca6","datavalue":{"value":{"time":"+2015-07-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":"Q2352485$4B7421C6-827E-420E-B498-F0E729651CE0","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8e7c2efe432ab3d8c6fad3f38ef492c36d79d36d","datavalue":{"value":"https://arxiv.org/abs/1206.4458","type":"string"},"datatype":"url"},"type":"statement","id":"Q2352485$2D0B252F-908B-47AF-94DC-3AFAF07F421A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352485$A0B68F1B-74C9-4888-9EC7-76405BD24884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352485$71DBA0DC-6237-47B0-B7E6-995ED448BF97","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"757d4e288342d72807728e60110c2a2c721d3915","datavalue":{"value":"6455025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352485$9A0E6DB0-1D31-44F1-A8A5-06DBB23A9127","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5fd830a01df981907a0b08d38c458eb4d064faf","datavalue":{"value":"Dummett logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352485$879720D1-407C-4745-9FE0-6DF11B8461A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d120f16a4a449e17abe99fcf1fc6dfa592e9035c","datavalue":{"value":"tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352485$9882D316-DA58-44F7-B479-AA07D07EF2A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352485$171E3CEF-8370-4358-BDBC-D45E31A24C7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f74920537862e25960045b173a4c530000d4686b","datavalue":{"value":"subformula property","type":"string"},"datatype":"string"},"type":"statement","id":"Q2352485$9D554DBA-E38F-4AC2-BBA4-E4C491D01B7B","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":"Q2352485$E549929F-DA54-4EC4-BD67-AFCBB5A14A3C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"efaa2c359b0c4c4560c81f593682cb1bf005564c","datavalue":{"value":"W1965828305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352485$E7E17FE9-06C5-4B8A-AB48-089D5B4531E9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a23ef1a0e753d0b5a8d87fc14eb3b1fb9c5bd2e","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$675CFA03-A75A-4890-967A-E8E7E9B243B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cc7e628ce645756ff215e1270e8a57b64a1dd02","datavalue":{"value":{"entity-type":"item","numeric-id":5955614,"id":"Q5955614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$79578FC6-2D03-4A66-9467-67757B299EF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8da866ea10bf4b91a02468fd2c7b3694ea947fe","datavalue":{"value":{"entity-type":"item","numeric-id":4263005,"id":"Q4263005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$D2A120CB-6B64-4D79-8DD0-B31C4303C10D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54c01d73898bf38981e692fd47db002c079f10b2","datavalue":{"value":{"entity-type":"item","numeric-id":4812316,"id":"Q4812316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$0C3F4961-DCF2-4ECC-AB32-371C0FBFA8DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$7EFB06C3-7FE5-43E8-8DC0-D1E6D4D755D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b2f9e2ad93b06ab1b713950faadf42f86b42e23","datavalue":{"value":{"entity-type":"item","numeric-id":1264135,"id":"Q1264135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$AD1364D6-D38D-4571-9730-F280EABE1709","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b870bd3f7616c2307692f727cad9b33e047b823","datavalue":{"value":{"entity-type":"item","numeric-id":3264226,"id":"Q3264226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$790E9280-0822-45C7-BA44-528F781BB304","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e027f5650296472fc746ced3fc44df7db916881","datavalue":{"value":{"entity-type":"item","numeric-id":5665173,"id":"Q5665173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$6159FD72-2A98-4F5F-8F47-6012906A4949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"938c18979ed4fc60e54ae58cdd699c3342ea9d22","datavalue":{"value":{"entity-type":"item","numeric-id":4255973,"id":"Q4255973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$71A063FB-33A7-4A5E-BFF7-EC3A911E91B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7468087d284a3587e2eed18a351020c818d52564","datavalue":{"value":{"entity-type":"item","numeric-id":5956122,"id":"Q5956122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$DF5B4062-1ED9-462A-9072-D8FC75EDE5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83883d8e34b1cfab84c2673d1fe4bb6439a78281","datavalue":{"value":{"entity-type":"item","numeric-id":5416148,"id":"Q5416148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$981CC214-EA97-4020-8F67-24CC98489662","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f421884f879ae4e0048a14b487c578b45714b0b","datavalue":{"value":{"entity-type":"item","numeric-id":1307301,"id":"Q1307301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$E8692A7F-AD49-4B96-9F4F-645A5B60E926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"314723cd3c2623205e1c94c241193326b50b1f30","datavalue":{"value":{"entity-type":"item","numeric-id":2386237,"id":"Q2386237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$CA04159B-4766-4DEA-A47B-F954FFB87A3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a91499b88ebcb813ddff6993d611f0095daccb3","datavalue":{"value":{"entity-type":"item","numeric-id":877886,"id":"Q877886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$19AB82CC-DD72-411D-832C-E2DD77D8A989","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d69284adfadca92f062e6fd355c9431a4b04894e","datavalue":{"value":{"entity-type":"item","numeric-id":5292654,"id":"Q5292654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$0DF1BA83-4E20-4A6E-8F75-D8E2C9353CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6bdde33d7655e7b51f89c495e13b554090e3744","datavalue":{"value":{"entity-type":"item","numeric-id":4740561,"id":"Q4740561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$91A0788C-5B42-4C25-B2B4-E1E9E14AAFE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e9916acae3c5f1fa2203775504b75059dc2c908","datavalue":{"value":{"entity-type":"item","numeric-id":5608767,"id":"Q5608767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2352485$606C3EB9-AE88-457A-9F8D-DE1CD2E78DCE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ad488efa72f135e6e8f6e1468fcc3fd25f367bf5","datavalue":{"value":"10.1007/S10817-013-9276-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2352485$1EDF759B-5C8D-43B9-9431-831E465CA008","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28a61a9e4c0c36b0184660b60ed2d7b23213da98","datavalue":{"value":{"entity-type":"item","numeric-id":4699343,"id":"Q4699343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38449321609b03507c7fb7fcd55f91ddd1c7437b","datavalue":{"value":{"amount":"+0.8528664708137512","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":"Q2352485$B25975D0-0DCB-4B38-AC29-B0428DBA9C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1132362709d631dedda777384ec44f29c91cd6d6","datavalue":{"value":{"entity-type":"item","numeric-id":5956122,"id":"Q5956122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd4bea936a34b793146ca4364aeb9a3d29111b11","datavalue":{"value":{"amount":"+0.8144780397415161","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":"Q2352485$EB412913-A48F-4058-90A2-0258E2D0C988","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24577c2ed173d4323d9c2c754adc27e85515a815","datavalue":{"value":{"entity-type":"item","numeric-id":2721190,"id":"Q2721190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5885b7e98dee1671e2d3556d5eef510f8aff7e74","datavalue":{"value":{"amount":"+0.8137982487678528","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":"Q2352485$9E1C7E97-07CE-4E9F-9AB6-7D9804D9E19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2e16397ffbda6375c57c5e60a179cb1c47073b4","datavalue":{"value":{"entity-type":"item","numeric-id":991900,"id":"Q991900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"053cc4024b9f7ac7fe9352798bd951bde0d54e9c","datavalue":{"value":{"amount":"+0.8123613595962524","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":"Q2352485$1F025981-4824-48E3-8002-2560A137EB8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32172d5b0fd562ee6c87aba9e59cf108f60e47f1","datavalue":{"value":{"entity-type":"item","numeric-id":4255973,"id":"Q4255973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cc68321ab54840bbd16460e41a3f68300dab4dc","datavalue":{"value":{"amount":"+0.7988085746765137","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":"Q2352485$BABCA3F6-E246-4C78-BDE8-1CAC2E9E70B6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Terminating calculi for propositional Dummett logic with subformula property","badges":[]}}}}}