{"entities":{"Q2901210":{"pageid":2911935,"ns":120,"title":"Item:Q2901210","lastrevid":51515063,"modified":"2026-01-18T14:26:19Z","type":"item","id":"Q2901210","labels":{"en":{"language":"en","value":"Dual tableau-based decision procedures for relational logics with restricted composition operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6058064"}},"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":"Q2901210$0636FF33-E611-4572-AABD-D818FB610C15","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4ddebf75208f1def7e2488afadef46b5c8b9bd39","datavalue":{"value":{"text":"Dual tableau-based decision procedures for relational logics with restricted composition operator","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2901210$6039894A-9D2D-425E-9891-AC6445E41FD3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9c1b1c4f66fe720d32230a969ab4b6c3d77986fb","datavalue":{"value":"1242.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901210$D651FF54-F3A3-4C65-8403-F503ABDC850C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5128676afd48f5f15760e43556d4ca2d4175b4bb","datavalue":{"value":{"entity-type":"item","numeric-id":313071,"id":"Q313071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901210$166C15ED-DB96-403C-9B9C-49A45370FCF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"df9cd3dd7f2fdc487d61a2d3b36f6537d88acf6b","datavalue":{"value":{"entity-type":"item","numeric-id":737086,"id":"Q737086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901210$F9DDB0EF-C5E7-43BD-9206-E6D3C29C731D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f176c57a4367ad5b382cbda8b83dad6c2cfec594","datavalue":{"value":{"entity-type":"item","numeric-id":213236,"id":"Q213236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901210$E6DB398E-3CA6-44A5-B518-7206484119AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901210$8CAA9E7F-880A-43D4-AE75-1CA8A5A00709","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"84ece3a61d19e8a79724038a31d8c2f410ad0a43","datavalue":{"value":{"time":"+2012-07-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2901210$A5B19BE3-5403-46F3-B139-7558E34B8E27","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901210$A4B6B0DE-661A-4958-A6DC-F0AC22D13A47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901210$24A76A2C-D613-432A-A5BC-4A5FF47EFB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fbbfb5aba73a457eaaeba301a3b683d0603e498d","datavalue":{"value":"03G15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901210$06DABCFE-67E3-4239-8749-ACA926C4F766","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d28892149e4ee36a9e527172a1e580ff5ee35c3c","datavalue":{"value":"6058064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901210$60EB4A33-2DC4-4ED1-8356-62AEF008C04B","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":"Q2901210$EB091511-08AC-4CB1-87C5-3CF357E7CB90","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85740634e9eb64b34c2e9f61cda31df14c3fa4b4","datavalue":{"value":"https://doi.org/10.3166/jancl.21.177-200","type":"string"},"datatype":"url"},"type":"statement","id":"Q2901210$2BC384F9-644F-430A-9695-F8C191C98753","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3eaa9d25c633241e309b5bb8ad0450e697125acb","datavalue":{"value":"W2017904883","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901210$E66E893C-CFE5-4AAA-B8C3-2F21191BB1C3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"89d0eb12d2bb9d4287d7eb22f6da2759f846111a","datavalue":{"value":{"entity-type":"item","numeric-id":4406531,"id":"Q4406531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901210$387470F1-5C7A-4A64-8615-F4CC4BA18178","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b640149bab9a4beed8181bf0b819da73ce631cda","datavalue":{"value":{"entity-type":"item","numeric-id":995673,"id":"Q995673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901210$F0675B29-44C1-40D9-A785-3A457020150D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce3c4e41984a162f03b649ac9b7c6928b5597b87","datavalue":{"value":{"entity-type":"item","numeric-id":3035258,"id":"Q3035258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901210$5654A12C-CED6-4B1B-9456-822DC266E795","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"607a0c758c7f5182c8338488f4a03318f251f04f","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901210$8C01B96D-9C5D-4C66-B717-49194073A8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cdd6bade1c3454eda14333c0a2ad28ec83785b4","datavalue":{"value":{"entity-type":"item","numeric-id":5781189,"id":"Q5781189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2901210$CC4AAD26-AE04-4C68-800F-7555D1841D03","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"33aca3342fbb553ff7f517b78ce8c976c729c7bf","datavalue":{"value":"10.3166/JANCL.21.177-200","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2901210$1F96DFCD-B3F6-475B-B91D-EE16E9B31A1B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e424bbfc2dd05b6325e468dab29ba060ed8b66","datavalue":{"value":{"entity-type":"item","numeric-id":386620,"id":"Q386620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"723acf61fb403993fae4b49f3df7f4f5fece67b6","datavalue":{"value":{"amount":"+0.8701719045639038","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":"Q2901210$7616184D-5BB7-465A-9B7A-B5F6364C5DCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d33b2b81dfd8f0ee2ff4645628b2fa7d00bf6ae","datavalue":{"value":{"entity-type":"item","numeric-id":4947999,"id":"Q4947999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"499de2034b3889cc88994bf4e8d77ba091e02ae5","datavalue":{"value":{"amount":"+0.8677796125411987","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":"Q2901210$BF4C0EFA-AE7E-489E-A805-518DCCA8B36E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b1334e3a218fd215d442bfd9d984ae09e2b208b","datavalue":{"value":{"entity-type":"item","numeric-id":4922857,"id":"Q4922857"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567f3215aa872b2989d47a1b9d9fbf4172bd1e08","datavalue":{"value":{"amount":"+0.8045461773872375","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":"Q2901210$00D2E021-0156-41C6-8228-B2F6CEDB0605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59045bf5f66538f1e2231dee64e1237a30ab35d8","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9287e7ae0e762eb1bf2074aff464d5b3cba0399d","datavalue":{"value":{"amount":"+0.7812846899032593","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":"Q2901210$4B043C7C-6765-49CE-969D-88796882D374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7aea730fea43e185064292050b68dd1058675866","datavalue":{"value":{"entity-type":"item","numeric-id":5302024,"id":"Q5302024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d74b1e8d6f1bc7d8ba8422cbfed2ae7df569709","datavalue":{"value":{"amount":"+0.7709288597106934","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":"Q2901210$7CD5BE61-7F50-4A84-BCEA-47BBD46B152C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2901210","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2901210"}}}}}