{"entities":{"Q3406685":{"pageid":3417388,"ns":120,"title":"Item:Q3406685","lastrevid":50910329,"modified":"2026-01-15T17:21:52Z","type":"item","id":"Q3406685","labels":{"en":{"language":"en","value":"The hyper tableaux calculus with equality and an application to finite model computation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5673417"}},"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":"Q3406685$29D90A6D-4A1A-4264-92CC-DD4145367F06","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"288ccd30a07b4c9416b556f5afff4c9804339add","datavalue":{"value":{"text":"The Hyper Tableaux Calculus with Equality and an Application to Finite Model Computation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3406685$6F930556-4E52-447A-A150-BBF76C775125","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"57feff6862b73c0d5dbfdbc70cbb3299ea51604d","datavalue":{"value":"1193.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406685$48386221-96DF-4FEC-BB04-00DE6C80D3D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"63095d86c000f08026b5823fdf1f8a25bfef2e00","datavalue":{"value":{"entity-type":"item","numeric-id":167057,"id":"Q167057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406685$DB3697B0-7134-4465-A213-952FFD9C7637","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"352f8b32bbaac9f85cf732b9f04ca8b0c1bea865","datavalue":{"value":{"entity-type":"item","numeric-id":429584,"id":"Q429584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406685$D4BBF179-A3C1-4F7C-B16B-3601FFD7CF16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"41eb43f669c6e9bd047f95552906672fa500745e","datavalue":{"value":{"entity-type":"item","numeric-id":1322771,"id":"Q1322771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406685$91D07277-BE4C-44FF-98CF-E4CAD5582911","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":"Q3406685$77985A64-4236-47B2-AA45-3643FA199F45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406685$115C3640-1C45-40CC-B25A-E11B58E51C3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406685$2904FB07-DA58-4BD9-B5EA-F7D274190EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406685$9405E67F-4B23-4AEB-934B-32E5EAC44A0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"87482045d140719ac5ec31835eff126fa4ad6296","datavalue":{"value":"5673417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406685$4D783B08-22AF-4A2E-9E93-6F9458BB081D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406685$8EF4E864-FA5A-4BCF-AEE5-832C375CA90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a19a8b62c5da4316eb17a7e85a5c04e7cf927817","datavalue":{"value":"hyper tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406685$63CA7E2C-D4B2-40B0-AD50-EE9E49FE91BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0f95fd7c491c2848966554299dc8d662766cabe","datavalue":{"value":"equality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406685$836EB359-8C93-483F-B17A-59EBEFF1817A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1a28ca073bf88ed16e42aca495111d09e8801f3","datavalue":{"value":"finite model computation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3406685$B21265D5-6351-49D2-8E1F-0E8B3E3E8569","rank":"normal"}],"P1463":[{"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":"Q3406685$75DDA11A-EF46-4097-A755-9BFF9D627F70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"70c51cb69cf83ba52d30c7a2c9abf4fc48a6f8a5","datavalue":{"value":{"entity-type":"item","numeric-id":18707,"id":"Q18707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406685$0FD32FE2-3565-4EC5-BCD3-DC09C4545807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2207b0b201a95a431b254bcb1c01d869b9f41774","datavalue":{"value":{"entity-type":"item","numeric-id":18972,"id":"Q18972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3406685$8B15D677-D534-459B-B732-CF255835328A","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":"Q3406685$4DB11330-D3AA-4AF9-B845-63EE6A032ECB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b143a02aa4f6159c767cc1b183b1ac28efa4c6b0","datavalue":{"value":"https://doi.org/10.1093/logcom/exn061","type":"string"},"datatype":"url"},"type":"statement","id":"Q3406685$EED77BA1-8201-4AE9-9161-68B1FFEFC7DB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d34cc28c2f114c48002b4ec1f1e2def91842746f","datavalue":{"value":"W2135088169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406685$A560E62B-DF2B-49A3-B77B-FC981D033DC9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d330a8e307aa61dc77194d3403338089d78467f3","datavalue":{"value":"10.1093/LOGCOM/EXN061","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3406685$32709519-3D0E-4FF3-8928-ADCE5DEDCC97","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":"Q3406685$ABF4A855-A191-4E11-9E39-6C26A309139E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c86f80878e3d6987e2d89acaf5e00e9e68411b0e","datavalue":{"value":{"entity-type":"item","numeric-id":5698235,"id":"Q5698235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d002453305b7c9dabe93da647ecbcc974798e58","datavalue":{"value":{"amount":"+0.8520462512969971","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":"Q3406685$1FF1E7E2-65E0-48E1-AE31-F18E2DE53585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc81a6f30bea8e28f0da30a991f272eca7dabe41","datavalue":{"value":{"entity-type":"item","numeric-id":3608795,"id":"Q3608795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d617afd891d633b3aef19b1ac521d78801253b0a","datavalue":{"value":{"amount":"+0.8432266116142273","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":"Q3406685$849A8309-FC3C-49A1-B061-67EF2039D1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b8536a3e17f2a494be1ecf93d3a1e7c672768e8","datavalue":{"value":{"entity-type":"item","numeric-id":5235250,"id":"Q5235250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"457e95cf9ce480b9b1b236844feee938b7798644","datavalue":{"value":{"amount":"+0.8088250160217285","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":"Q3406685$0C7A1650-3B2D-4EBB-92E5-3110F31B0240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"875b8766515749ead4485aba9eb213bb8facf096","datavalue":{"value":{"entity-type":"item","numeric-id":3838803,"id":"Q3838803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2431342c56bf30821f14684c78728c3ad52b90","datavalue":{"value":{"amount":"+0.7958290576934814","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":"Q3406685$213CF3B0-1834-4D13-8EDC-EBE1CF6237CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8182d19625309e7d46cdf95dbe9574e24d5d7503","datavalue":{"value":{"entity-type":"item","numeric-id":3613404,"id":"Q3613404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be2431342c56bf30821f14684c78728c3ad52b90","datavalue":{"value":{"amount":"+0.7958290576934814","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":"Q3406685$288D6B7B-7E95-4A89-9A6F-74990ADD02EB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3406685","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3406685"}}}}}