{"entities":{"Q3406682":{"pageid":3417385,"ns":120,"title":"Item:Q3406682","lastrevid":46155043,"modified":"2025-12-23T14:48:29Z","type":"item","id":"Q3406682","labels":{"en":{"language":"en","value":"Axiom Pinpointing in General Tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673414"}},"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":"Q3406682$17FFB8E8-8570-47D4-B2F5-A409D56BCA9B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0839e0e9dbd163a02826934b89c5773806d2d47b","datavalue":{"value":{"text":"Axiom Pinpointing in General Tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406682$1642B179-5877-4CF1-AC79-5140E92BA822","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18855587a41f3acb8fbfedad668224437ee51622","datavalue":{"value":"1191.68645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406682$1A5A0C4F-864D-4478-BF95-F6DDB53255B1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad2c4752c8f1e89a2a24fdc7ec884cde4002ed6d","datavalue":{"value":{"entity-type":"item","numeric-id":171404,"id":"Q171404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406682$D8280133-5674-4B72-AA23-67210FD85AEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e484f66b2d4d80476efc2741bfc7b501692ca02d","datavalue":{"value":{"entity-type":"item","numeric-id":465591,"id":"Q465591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406682$D3297519-BBDB-4FFB-871E-9D18F65FFC69","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e2009cf31b04258b52435dca8e437f90280925b0","datavalue":{"value":{"time":"+2010-02-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3406682$40EF4427-77FB-49A4-9FC5-6F691B7B7B53","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"655177c6b6a3293d256afbf2e5808376f4a695c8","datavalue":{"value":"http://hdl.handle.net/10281/258029","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406682$760A4F31-E91E-4C6F-B50D-6A2E935EB1E3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406682$6AD0BC5F-0FCA-4C13-ACDC-0A2B1BC7F5B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406682$5FD44820-E1D1-4004-8C26-AC905BE3E93A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406682$001B53E2-FF52-4E01-B166-3747B7111FEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406682$90012537-DE01-49FD-9456-A5F8A1331CD7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"19bf336c8c9b3f1123b91d66f46db2f5887e699b","datavalue":{"value":"5673414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406682$7A159203-C2E1-4948-A5A8-61C1AE49D827","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0acc9615d97fd62c429b6849356a0d6c28b9753","datavalue":{"value":"explanation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406682$AD3CED81-F2EA-4431-BB1B-4DA7D83743F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3ac5f87c2452a4bb9221668c72755935919ba5b","datavalue":{"value":"tableau methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406682$D1747EB3-4570-41D7-90FA-3554DE3BD626","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406682$140AC30C-F8F2-4A78-9D3C-C6E209396B8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"95f11b189e2703daf7a7b53c2fcee2dfac4b6fb8","datavalue":{"value":"pinpointing","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406682$746EB59D-893E-4949-BF81-59803F822773","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"f5c02d41a848432655ff8a4bcef83f0bff44045d","datavalue":{"value":"Q57383694","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406682$483000F4-1B56-4AB1-84A4-ED69C8B22894","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":"Q3406682$239D09AC-9FD6-412D-93F5-5D4F601C073D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"68aad56f223dfd14ceac6a5dc21ef1d5acd76613","datavalue":{"value":"W2140061645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406682$1D685A2F-05D5-4F15-8810-A5237954D678","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"986cf2cdd6333705c37a5f17b939718aad1deb06","datavalue":{"value":"10.1093/LOGCOM/EXN058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406682$BE844B7E-4E40-46CC-91D4-A55674271D0A","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":"Q3406682$37EEFF5B-39FF-4DB3-BDE0-4EBA38FDEE7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ef1ac537359df0f068368889116b2ec7a60393a","datavalue":{"value":{"entity-type":"item","numeric-id":5434476,"id":"Q5434476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5bad60f5d71e07f84653e70422d32de406082f","datavalue":{"value":{"amount":"+1.0","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":"Q3406682$35502E74-5995-4CC8-8012-F2376FC8D2CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e03be35784dd0c1e1f830bc8999ea76fbe9c17e5","datavalue":{"value":{"entity-type":"item","numeric-id":4636309,"id":"Q4636309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"615882bfe974e2b16866f5f6d9baaee888b86f6e","datavalue":{"value":{"amount":"+0.8636098","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":"Q3406682$38DDB925-9007-436D-BAFC-4F52739DD966","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"688ba12f6de035a0e685e71700f42fda0bda1b9f","datavalue":{"value":{"entity-type":"item","numeric-id":707741,"id":"Q707741"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a4c905ddaee5235f7b9c63a20a950654ac9a0b4","datavalue":{"value":{"amount":"+0.8508166","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":"Q3406682$0323B5F9-B3AE-4D9C-A5A8-CD42488B4A3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89674f5d9120fd4e40b41513c6a28e82be4615af","datavalue":{"value":{"entity-type":"item","numeric-id":3541704,"id":"Q3541704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8b2c663977fe7e2f263f6a6ce91cefba32550750","datavalue":{"value":{"amount":"+0.8508165","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":"Q3406682$9F0A0E45-3DDE-4121-AC7A-5EAFFCAF276F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c79ad8da2db58eaf57b2d8347d17a4dbb0b7514","datavalue":{"value":{"entity-type":"item","numeric-id":1819574,"id":"Q1819574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8efe935f4e64b075b0628d7cfdaf3eb61ec6dbb","datavalue":{"value":{"amount":"+0.8479649","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":"Q3406682$1EDA7E7A-9244-4360-9A33-A5C1679EE53E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5f21e039562e207bb2d3b6eec030d32fe57663c","datavalue":{"value":{"entity-type":"item","numeric-id":4610334,"id":"Q4610334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07c5ae20606fe2201098b2955fceec19858bb3e8","datavalue":{"value":{"amount":"+0.84474844","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":"Q3406682$E8C8BEC6-DB09-451E-A876-E0A487D01340","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40bea21e63e8af1c4b2524984c921d81ee1e996e","datavalue":{"value":{"entity-type":"item","numeric-id":4304462,"id":"Q4304462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc4953100d20e0b146550f94fcfacc49e3bb1f2","datavalue":{"value":{"amount":"+0.8434619","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":"Q3406682$20E96702-4FD1-4DD1-8968-69FF2995E49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cca0514c7b2cd10dd64eea78603b0c6d2d738fe","datavalue":{"value":{"entity-type":"item","numeric-id":6109615,"id":"Q6109615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"175d89cb5485ec53eb96bbdd5f76c0460c73e7e6","datavalue":{"value":{"amount":"+0.8431244","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":"Q3406682$E656CA41-912E-4841-BE77-62311544237A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa4c321b9145e5c202204a69a8d0d75ef47567d9","datavalue":{"value":{"entity-type":"item","numeric-id":2811659,"id":"Q2811659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21af9e81a0786c28889a89a7b4eaba6c70a8912f","datavalue":{"value":{"amount":"+0.84281665","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":"Q3406682$16C09803-7B98-4CC3-9F1F-86A09D50F8EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e82a17d63f21420ccb321b5f26f5eae38325974f","datavalue":{"value":{"entity-type":"item","numeric-id":5222538,"id":"Q5222538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ffec71f3e335a5c85b6844e16a9e17aa3b540b0","datavalue":{"value":{"amount":"+0.84190005","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":"Q3406682$C00E7030-B00E-444C-AC9F-0A27D1B506C1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3406682","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3406682"}}}}}