{"entities":{"Q5927986":{"pageid":8104788,"ns":120,"title":"Item:Q5927986","lastrevid":47588665,"modified":"2026-01-02T03:59:41Z","type":"item","id":"Q5927986","labels":{"en":{"language":"en","value":"Tableau methods for a logic with term declarations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1579158"}},"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":"Q5927986$129816A8-CBAF-49D4-8C39-C21507B38FC1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"51cd5bbf78104c40a1ae6074331f344593ddc09e","datavalue":{"value":{"text":"Tableau methods for a logic with term declarations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5927986$089AE327-8C9C-4040-9233-0E2412AA25F8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"890052647f3bfc43cc7fcd411b23629e3d69e6ef","datavalue":{"value":"0965.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927986$0DBE189B-541E-468F-9C4B-81346E868195","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e181eee6578de5067388c385aeadba20b062e371","datavalue":{"value":{"entity-type":"item","numeric-id":167073,"id":"Q167073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$C5AE37E2-0CA2-4739-9A78-BF4CE8E104E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"35e0dd5ae5c0ccbb72392a98556209fe2cb92ea7","datavalue":{"value":{"entity-type":"item","numeric-id":167074,"id":"Q167074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$AE78C66A-C3F5-40AE-BF42-338A18D316D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ebb9b943adf27870148110095415d75e7f6daa8a","datavalue":{"value":{"entity-type":"item","numeric-id":167075,"id":"Q167075"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$25A779C9-7B8F-42AF-AD79-00C9704A4680","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$895DE8CE-C5B0-418C-BCF8-D94B3679E0ED","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0da0ddb63369ee51f0c4f965ee150089663821f4","datavalue":{"value":{"time":"+2001-03-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":"Q5927986$5F382468-3C0B-48F0-BAF3-1AFB26F40411","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927986$8BD7EC01-9233-49B9-8AD4-D6297D117A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927986$67CCBC67-DDA9-4682-B459-B0DD458C5F38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927986$031E3A21-2930-4FBA-AE2D-CA3B6325A0EF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"32c50ce143c90a14e852344043cd7d0efc76454c","datavalue":{"value":"1579158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927986$003C6407-3195-4D5F-AEF3-27699047D945","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6db460d1ba3a90ea6fa0e76e1977d01354bcd274","datavalue":{"value":"free variable tableau methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927986$82D7A50E-2587-42AC-BFCD-C584991503AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d911298941bff3c5d55213b983b17841b06334c","datavalue":{"value":"logics with term declarations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927986$2E5C7514-1C91-4E5A-943B-840697CF1614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef6f437b984b2180860c09a4986f3c95bca2672d","datavalue":{"value":"sorted unification calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5927986$0BF264DD-8FEC-48B5-B1D9-C7E93F933D44","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":"Q5927986$C756A70D-866F-409E-AA11-2D9718673B7B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"21131eef7c9b86d089c33734cf7780e899c2907a","datavalue":{"value":"https://doi.org/10.1006/jsco.1999.0364","type":"string"},"datatype":"url"},"type":"statement","id":"Q5927986$B4433DDF-5296-47EA-9D06-1C897919D68A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e868e078f7246e695d35940c8cb2b382a520a52f","datavalue":{"value":"W2044970603","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927986$3507E517-6CFB-4047-BF39-4E11AA65D76B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e03b9265558ac1762a117c88abc7e8cefbef2cc","datavalue":{"value":{"entity-type":"item","numeric-id":1193487,"id":"Q1193487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$990056BA-0743-41C1-B8FF-CB6FE81C8B91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21a4ef3cf5529c302dcba2d05b41a61a0e7210fe","datavalue":{"value":{"entity-type":"item","numeric-id":1101261,"id":"Q1101261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$E22DC9BD-AE3B-4E34-ADE1-AA9A852C3212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b27d44a0e50fda314668a36654efb04ab5135cb3","datavalue":{"value":{"entity-type":"item","numeric-id":3868730,"id":"Q3868730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$7998E1F2-DC77-40A1-9AE7-413929363131","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ad2e3e71fd34316c4d5dca241131f17edc1acca","datavalue":{"value":{"entity-type":"item","numeric-id":4863622,"id":"Q4863622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$D89056A8-DD70-44F8-B958-11768F7F8247","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c89e1d9004398ab389501fb07d2ceb4cfccb559","datavalue":{"value":{"entity-type":"item","numeric-id":1182164,"id":"Q1182164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$82D46F0E-037F-4188-8607-CD0000F51F7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0019d907973d7569cdd61ec3c8c4f916896acc5b","datavalue":{"value":{"entity-type":"item","numeric-id":1801289,"id":"Q1801289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$E5B23279-CBE6-4930-A62F-2BD02B5140CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a177420faefcfce6396fc744cae98a5ec9b03f8","datavalue":{"value":{"entity-type":"item","numeric-id":3992821,"id":"Q3992821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$3B0714A6-3C08-4EDC-ABCE-6815697E8154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8f054e00d8c41d716c93e7c6fad80f0d0d75871","datavalue":{"value":{"entity-type":"item","numeric-id":4860657,"id":"Q4860657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5927986$2BCC933E-E259-46B0-9C61-660C7FD0E948","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9dc4206cfaaf81cd081ebf33de5f84dda761f922","datavalue":{"value":"10.1006/JSCO.1999.0364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5927986$258757D7-F050-40A6-96C5-9CB63876EB6F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4ffae32cff7401dba4e18c4a614da9497a516056","datavalue":{"value":{"entity-type":"item","numeric-id":3838814,"id":"Q3838814"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a53171c6baf8d1dc428599e24b5e320205a98853","datavalue":{"value":{"amount":"+0.91386479139328","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":"Q5927986$CA45742B-0717-4243-AB95-47C2CA0CFD0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26269902009e838111e06f3f7b071c3c0bfee99f","datavalue":{"value":{"entity-type":"item","numeric-id":1863821,"id":"Q1863821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6542abaf4149f8ebd36156c307fda3cbb930d5a","datavalue":{"value":{"amount":"+0.8285612463951111","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":"Q5927986$1D3F7EB8-24B6-427A-A269-133802531F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9391a23c3d66afcea3fb6420bd79b0f85dc16e58","datavalue":{"value":{"entity-type":"item","numeric-id":4536326,"id":"Q4536326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe8129801ac8c92f77019a68660d0b88f67ca49","datavalue":{"value":{"amount":"+0.8127045631408691","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":"Q5927986$3651DFAB-2639-4004-91FE-4A74D4B3D2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39be0ff7a94ae10fc754662618a70836ed9a9173","datavalue":{"value":{"entity-type":"item","numeric-id":4610317,"id":"Q4610317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5637c2fad549b9564c933d3f042a7091af59093","datavalue":{"value":{"amount":"+0.7709778547286987","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":"Q5927986$B90EDD8E-FF58-4BBD-A5F2-B54F5A11753B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc8c4d5ed533509cf79f399341ee6e0aba367bc","datavalue":{"value":{"entity-type":"item","numeric-id":5394151,"id":"Q5394151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d6b9b2ca0495899e388489f36b3573e8d67143b","datavalue":{"value":{"amount":"+0.7624209523200989","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":"Q5927986$C8D88FAE-7107-47F6-8A42-B362A0D94945","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5927986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5927986"}}}}}