{"entities":{"Q1604795":{"pageid":1615535,"ns":120,"title":"Item:Q1604795","lastrevid":47942260,"modified":"2026-01-03T03:39:47Z","type":"item","id":"Q1604795","labels":{"en":{"language":"en","value":"Connection tableau calculi with disjunctive constraints"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1764812"}},"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":"Q1604795$B3E9DE36-A416-4334-8982-5540D03E82F6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"35ae66138e091c4cbe5a29d24ed8f782f2859f76","datavalue":{"value":{"text":"Connection tableau calculi with disjunctive constraints","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1604795$3F1F2FD8-805C-46BE-A9AA-84C69A59BD84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3961e1b1acb2b491c2832a27f2e1542a741dcaa0","datavalue":{"value":"0998.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604795$6AB48FA2-89B0-4826-986D-C2E9C40D7D04","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8104a7b8dbed06d08f3a32bea270d31f6b5ee2cb","datavalue":{"value":"10.1023/A:1015134701251","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604795$F446B2B2-B8E4-42FC-A53D-CE6912E2D1C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"70eeb8d7e96aa34c953b33125d410f3765fb5a7d","datavalue":{"value":{"entity-type":"item","numeric-id":1604794,"id":"Q1604794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604795$E056304F-65E0-4079-86C2-7035D0F5B8EC","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604795$1E576E26-7E30-4BDD-99AE-7F9D13A7A07C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"90e1b061609a6c6333868837d9d52a69877236e9","datavalue":{"value":{"time":"+2002-07-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1604795$7F06244F-D1E8-4F34-B69C-733FE4E79816","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604795$EAD2666D-DD2E-4A15-B999-F0C9BA2A2F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604795$2A3167B9-27D2-4468-88DC-1247B71D20CF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"93ee7e80468792ad532249d2d24ea89efd57d60e","datavalue":{"value":"1764812","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1604795$F5F43881-CBA8-4209-BC44-C2B24C3F4C62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2eda097f19eb100ce2107349fbd9b9cc04a6142","datavalue":{"value":"first-order constraint solving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604795$60238F55-3B99-43C3-AFC0-688ABA7BD8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"912742afabff76c7edb739be976cbf6c0d6b05d1","datavalue":{"value":"search space reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604795$A40B890B-1FC1-45A6-978D-F70CEF419E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b54a6cb30268c2418ffc5b80b831f9943211d1e","datavalue":{"value":"first-order automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604795$26F3D26E-29C1-4F8C-94A8-0CA472A56D92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c854580428ef22cad4d5a02ee65e84217d3efd9a","datavalue":{"value":"constrained-connection-tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604795$734E6BB1-9EFB-4E35-9986-85CC48693F4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb10fca2fcc3611a67fa49e2dda38e13c07f552d","datavalue":{"value":"automated connection tableau prover SETHEO","type":"string"},"datatype":"string"},"type":"statement","id":"Q1604795$4160944A-CCCF-4F5A-814F-7500D7E65C5A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c845b927c7c8299e3e10848fbe9373f51ae3559b","datavalue":{"value":{"entity-type":"item","numeric-id":13461,"id":"Q13461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604795$72B286E1-C184-4B26-9241-76BD0620784A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1604795$9107B464-35D6-4506-BF05-2D12E885EEBB","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":"Q1604795$77A87C1E-1C55-4BFE-B3EA-1B5A9DFD0E10","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d46680a2102220f2fd452643ef7fdeb867dfdd0f","datavalue":{"value":{"entity-type":"item","numeric-id":2721202,"id":"Q2721202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"92535ac1c0a121abf2eb7ee45bf897eb07ccd138","datavalue":{"value":{"amount":"+0.9247415661811828","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":"Q1604795$B66EBC65-86B3-4FC2-9708-B71FF0C4EED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49fe9acc119a1aa3bd8925b8cff7585045ddadb5","datavalue":{"value":{"entity-type":"item","numeric-id":2726292,"id":"Q2726292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b77f4aa4d4133ebe530c95ed16ad2ed3f0053c9","datavalue":{"value":{"amount":"+0.8856863975524902","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":"Q1604795$8EE6AE41-B05D-4C0B-B249-1AEC3CF2D7FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fd2033a5d2f4312024fbd6d893ddcc1d57615fcb","datavalue":{"value":{"entity-type":"item","numeric-id":5927985,"id":"Q5927985"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44d6bee30dff19a7ad5cbe42c020e58fa9b2122","datavalue":{"value":{"amount":"+0.8557863235473633","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":"Q1604795$BE023711-2934-4A0F-8EAF-4EBD775D87EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ec0792a1453c3728bf109eafcb7129c8c76267e","datavalue":{"value":{"entity-type":"item","numeric-id":4645231,"id":"Q4645231"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f44d6bee30dff19a7ad5cbe42c020e58fa9b2122","datavalue":{"value":{"amount":"+0.8557863235473633","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":"Q1604795$39BE8984-7DD8-49DE-B0A3-D50DA1516537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"574c234d136db95e089adaee97950623853f74a9","datavalue":{"value":{"entity-type":"item","numeric-id":877889,"id":"Q877889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dc81edb85647277dd0114e3ef4af161aea0cb05","datavalue":{"value":{"amount":"+0.7824410796165466","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":"Q1604795$45C51C80-E567-4105-9B30-62C03897580C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1604795","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1604795"}}}}}