{"entities":{"Q5434490":{"pageid":7464054,"ns":120,"title":"Item:Q5434490","lastrevid":50242619,"modified":"2026-01-13T15:23:30Z","type":"item","id":"Q5434490","labels":{"en":{"language":"en","value":"A Bottom-Up Approach to Clausal Tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5223555"}},"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":"Q5434490$5B2D07DD-2396-4BDF-95CF-E1C002A1C87F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d0910a7f7fbb68e3f0053f559bb10a51855a074","datavalue":{"value":{"text":"A Bottom-Up Approach to Clausal Tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5434490$005348F4-6E96-4370-B98D-5544975188A3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fe28cbfd382fd3ccc30d36b1a0c0ef3efd817a1a","datavalue":{"value":"1132.03317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434490$5CB133AE-7A9F-42F5-8102-D68106C17851","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b3d31496ec21f76ea7563cf30574cfe74b823871","datavalue":{"value":"10.1007/978-3-540-73099-6_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434490$D9F1C545-FB30-4330-94E6-DAAFAC0821D5","rank":"normal"}],"P16":[{"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":"Q5434490$F6BA01CA-E2DD-4C35-8A30-E95D37825B71","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5434490$B27A80E7-140B-412F-89F4-650C4C623468","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f5704c6280b1f69fc5c7b22503b1ed12496a29","datavalue":{"value":{"time":"+2008-01-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5434490$28D32BE7-F116-4977-96FE-750CDF43A367","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434490$3E2B317B-1100-4E3B-8AB7-E821F088F7DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434490$B02824C1-ADA4-4602-BC40-6A078E3C355C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434490$17058370-ACDC-4504-8F87-A6E7994FAD5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"70cb787b592517057c8129491c7bb7e5a26abbd9","datavalue":{"value":"5223555","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434490$AD97D68B-64BD-4ABF-8114-C234CC2833F0","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":"Q5434490$65B64363-D507-40BB-B9F4-CE76678EAFAF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dead58759e72d1e3b4c5fe7f85fc3ee0191b933","datavalue":{"value":"https://doi.org/10.1007/978-3-540-73099-6_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q5434490$FB3CF1C1-DE34-4604-964F-C19A37224AFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2b068c10ceff5f4bf3a2a1d6bc720322d7f6fbbf","datavalue":{"value":"W1550028818","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5434490$1679D17A-0175-40AE-9C50-625BC66EAD2C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de570a5490a8639f0b098ace4a75bf266d211ee3","datavalue":{"value":{"entity-type":"item","numeric-id":3406692,"id":"Q3406692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53e98a1c47f3a49073ee05f103db6ab6d77205e","datavalue":{"value":{"amount":"+0.9146249890327454","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":"Q5434490$587C86AA-400E-474F-91EB-4B7FDA4A9A1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fb232f83734a328a0e4e36b244cd2881b43d1cc","datavalue":{"value":{"entity-type":"item","numeric-id":1404980,"id":"Q1404980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"56b6a5d621740f3acc73daf81066ded7bdfa42d7","datavalue":{"value":{"amount":"+0.8920842409133911","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":"Q5434490$6E71C840-A159-4670-AB18-BBBCE9A82F2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d60c745e4299f3e115acc0b61cab483358f34bae","datavalue":{"value":{"entity-type":"item","numeric-id":3809765,"id":"Q3809765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bde4f74a9c8543167714e412e20180009aeeb41","datavalue":{"value":{"amount":"+0.8009626865386963","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":"Q5434490$8D2B3FDF-124D-439F-86E2-0847D1523112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c98cf375ab0ebf012d26ed7e66b1cbbd758d3a39","datavalue":{"value":{"entity-type":"item","numeric-id":4860661,"id":"Q4860661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4130a06db5524bbbde0253bedbe374b7b8ba7b3d","datavalue":{"value":{"amount":"+0.7910041213035583","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":"Q5434490$26D28034-0A47-4612-8B9C-447C93705C60","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":"730510588e53209dd6e6b1c88638882152e1d1cc","datavalue":{"value":{"amount":"+0.786802351474762","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":"Q5434490$6DF4B599-2E91-49D1-B0B7-98F7C7399415","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5434490","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5434490"}}}}}