{"entities":{"Q877891":{"pageid":879739,"ns":120,"title":"Item:Q877891","lastrevid":65141763,"modified":"2026-04-12T00:36:23Z","type":"item","id":"Q877891","labels":{"en":{"language":"en","value":"Superposition-based equality handling for analytic tableaux"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5149284"}},"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":"Q877891$52E232A6-BE37-4F1A-B250-890B7F6329F5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3041ce40135142d7afd4550f3d9b3a79edca63ff","datavalue":{"value":{"text":"Superposition-based equality handling for analytic tableaux","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q877891$223A644A-FEC2-443E-9A2B-FB5EE4E33AF1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"655cb7c053d541bd2038c5bd9e559f9a28cba58e","datavalue":{"value":"1113.68087","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877891$0D05B124-DCE9-41FB-B8E3-20D149081280","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5df924d051f54b4edc39c13db0d8832fba30377e","datavalue":{"value":{"entity-type":"item","numeric-id":429589,"id":"Q429589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$CA65D14C-5EBA-48FD-9392-51D38B82FC37","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$5B40B0FE-541A-44A5-BE70-803E8FB88B4F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3ceacc095bcddce0ac9017ef9315962415a2b424","datavalue":{"value":{"time":"+2007-05-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":"Q877891$83F80C6D-4A03-4D1D-9699-BA309256F49D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877891$BA3C974C-4B7A-4229-BF6F-2C29DEDCCE65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877891$0384245E-688C-4C49-8E52-EBA60E186E75","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50a11d72a3abda3a22655cb86fbeeca8dac7f539","datavalue":{"value":"5149284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877891$C2D2F50B-6E0E-4615-B946-623961CD1829","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4b608d2ef334644d4aaa6f389c89f17cc37215","datavalue":{"value":"tableau calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q877891$934ECA58-9E74-4343-901A-4CF1CA7FDB1F","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b443b776731e3bc75eb79b752e7ef8c4cee2d97a","datavalue":{"value":{"entity-type":"item","numeric-id":15455,"id":"Q15455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$F02957C1-2784-44BD-9DCE-0D967A8AB415","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":"Q877891$968A2093-1490-495D-8BCB-B54525CF7AF5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3913d58200859644e54cb89fe8b3c03137438f8b","datavalue":{"value":"https://doi.org/10.1007/s10817-006-9050-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q877891$F9348B93-0B82-46DD-B6D4-F380B07C6D79","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6cd0b3d43e19b261a6b90e5035f95d715e3aa130","datavalue":{"value":"W2134990618","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877891$2A898821-0565-42E4-A60F-7B43296605DD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$77CD17AA-1670-4838-AAE5-1F5C29A48D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$F326C5FD-E4C7-4103-8BB3-3FD1F19421F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8ad7c23e8d7895495a33ef0a244c1d5f7a7d7e16","datavalue":{"value":{"entity-type":"item","numeric-id":1899908,"id":"Q1899908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$44E394CA-88F4-47C8-9221-8DC917CAE260","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57f7fa6caa55b91028ff32d7dc4d210dfa455de8","datavalue":{"value":{"entity-type":"item","numeric-id":3838803,"id":"Q3838803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$33E180BB-78CB-4EC8-BAC6-DDB3E79A7703","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fc0836acee68f0bfd8ffa99e594e42d0f2ccbde","datavalue":{"value":{"entity-type":"item","numeric-id":5394627,"id":"Q5394627"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$FBED887A-E7AD-400C-9E1C-C6F183F38673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4fb53dc30cdc46111c93a6e7de143f2e9b39160","datavalue":{"value":{"entity-type":"item","numeric-id":4099229,"id":"Q4099229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$E026180E-89FA-49A0-872D-CB8CAF80E045","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4883090fee4a18fce37441e60e7576f14bdf3e01","datavalue":{"value":{"entity-type":"item","numeric-id":671659,"id":"Q671659"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$1F8BF264-9448-41BC-AE60-5E93C5991C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7eb04700ed5e4dc9ae265f641db7ca870734b6df","datavalue":{"value":{"entity-type":"item","numeric-id":1382154,"id":"Q1382154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$019B6FDF-8B73-4718-B855-38D6E8606C12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb87030458893ce6a5226c20f4768389b71ec39c","datavalue":{"value":{"entity-type":"item","numeric-id":2751362,"id":"Q2751362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$5C9B32FF-B405-4F88-9C3E-0A868DE77096","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":"Q877891$2B1F1FB4-79FD-42AD-A793-E107E2D271A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"920941013986d0fe98de8d648b55f604839d6693","datavalue":{"value":{"entity-type":"item","numeric-id":4302815,"id":"Q4302815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$47BBE08F-8EC9-4051-BA13-4D156EABC261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eafad2279bcd1a1ddbebd2da7446bcd66e04d511","datavalue":{"value":{"entity-type":"item","numeric-id":1262754,"id":"Q1262754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$62854630-BB47-4320-AB25-AF88101027FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f33c7e2fc71303fd900c50bc37fd6728d3f12f3","datavalue":{"value":{"entity-type":"item","numeric-id":4539640,"id":"Q4539640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$25645658-CB95-4C7A-B493-F91E3A955C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04843464a3369615eab52a529e2b30351bdf49e4","datavalue":{"value":{"entity-type":"item","numeric-id":4412856,"id":"Q4412856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$6A09C78E-E464-4967-9C89-D4FF5984BC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b62502d1fa53ea51996b267e7f3ce06b01ff00d","datavalue":{"value":{"entity-type":"item","numeric-id":5387892,"id":"Q5387892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$395D4A81-9E3F-4E00-836B-B10770178AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17e9e44d7ffa3e35b73497e32253991279784e6a","datavalue":{"value":{"entity-type":"item","numeric-id":2751354,"id":"Q2751354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$5BEFE989-F0C0-4E95-8F03-A7F618E0A1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"286dba0cbc80cdd0f1ae7c26f1fba8537147aeee","datavalue":{"value":{"entity-type":"item","numeric-id":5620583,"id":"Q5620583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$8708C3CC-275E-4492-B5FB-DF703270CDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$61FA012E-522A-47A6-B57B-D48335FBE874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fdb0cbd5521497729093c331ca7be77408620d","datavalue":{"value":{"entity-type":"item","numeric-id":4535077,"id":"Q4535077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$5BDBD011-03CF-43C6-9BB1-D6C4A6D6A5BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a255ef140b313d7dbb59f798668e69309970f9aa","datavalue":{"value":{"entity-type":"item","numeric-id":4412859,"id":"Q4412859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$7290A1F0-2D71-4CE5-B9DF-D38373E12E5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0c51e24e1428721a6903741aba45a8914c5f370","datavalue":{"value":{"entity-type":"item","numeric-id":1373299,"id":"Q1373299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$65BFF0F0-ED1A-442F-95E9-EE5F56D5E03A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e056b320f1dd4bd5abdb6a4f3070ce81c82bfdb","datavalue":{"value":{"entity-type":"item","numeric-id":4938596,"id":"Q4938596"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$77DA8052-E155-4E3D-9773-95ADEE305547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78a8fb7c1504b4023b489475633410efba01eda3","datavalue":{"value":{"entity-type":"item","numeric-id":1897557,"id":"Q1897557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$CE7C5E18-0B37-46C8-B4AB-99894FF0A782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a4f42b015f55e2792e5242c67e7d5c081b137d","datavalue":{"value":{"entity-type":"item","numeric-id":1355755,"id":"Q1355755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$54E89516-A9D2-4B08-90BB-806216215E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f14878b4342799995051ac9bc54cd21c98efc98","datavalue":{"value":{"entity-type":"item","numeric-id":2751359,"id":"Q2751359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$6861A769-A45B-4370-A72E-65795DDE522B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37f89023cf5c31f70be77745f13e68a549d2c3f9","datavalue":{"value":{"entity-type":"item","numeric-id":4537435,"id":"Q4537435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$C0F0A386-82F0-4064-BF13-0DAF4E4B3055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c061dab185fe1bef51da7d9346e274bd625a1e8","datavalue":{"value":{"entity-type":"item","numeric-id":4539622,"id":"Q4539622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$A12F27A0-5782-4DDC-A717-B5A5B1208AAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"309a715ecfe3fe3e4ec0e698ae13dce021cfc93e","datavalue":{"value":{"entity-type":"item","numeric-id":2724150,"id":"Q2724150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$6D894F4D-60FE-43D4-8BD8-013129E5E7CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febe5bf101c3b7d6dce19439eb466caa5715de79","datavalue":{"value":{"entity-type":"item","numeric-id":5624683,"id":"Q5624683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$87926D96-01D7-4BF1-B0CE-8A94D8FF4E54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81507f430d90ccca44c5914f167260e0646ee88a","datavalue":{"value":{"entity-type":"item","numeric-id":2751379,"id":"Q2751379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q877891$0EEB3FC7-779E-4012-980C-FB63FC0AB2C7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d8041163db6967b2c25e4f383ae4e811488b8ba0","datavalue":{"value":"10.1007/S10817-006-9050-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q877891$347E7F2C-E092-4356-BB8B-93356C694DB8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6469e4035f4b33be56f6094cde9f019c584fe8b9","datavalue":{"value":{"entity-type":"item","numeric-id":4412856,"id":"Q4412856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d791cbb3dcc25da2c57dd414fcdb4ef8e1e0ad4","datavalue":{"value":{"amount":"+0.8620786070823669","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":"Q877891$A61A79B1-23FC-4DEC-9E91-36F090081578","rank":"normal"},{"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":"df7a62fe8cdcea63435253568962fe917a8c319b","datavalue":{"value":{"amount":"+0.8266627192497253","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":"Q877891$351FA607-9A2F-499A-8906-BEC948069A97","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":"994de9e16a5f3b0e8642fc69b79ac21513ee54d7","datavalue":{"value":{"amount":"+0.8116574287414551","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":"Q877891$C9D66145-0E25-472A-9A77-F53DA6E94D42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fed39a206a07c7b5b7dfb40c30153123a625560d","datavalue":{"value":{"entity-type":"item","numeric-id":3406685,"id":"Q3406685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"04edad05dac14175bbbb4313078c2bbb3699e4db","datavalue":{"value":{"amount":"+0.8003994226455688","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":"Q877891$35497F90-0C36-439E-ABED-7D63BC582D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1dd61cba86890edd358c5484ba6493b7d0ae6fc","datavalue":{"value":{"entity-type":"item","numeric-id":5900726,"id":"Q5900726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55940154d816a7616e4bc91725bdafa2d8bd282d","datavalue":{"value":{"amount":"+0.7871779203414917","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":"Q877891$68994921-8BB9-437C-A0EE-BF51441C7613","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Superposition-based equality handling for analytic tableaux","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Superposition-based_equality_handling_for_analytic_tableaux"}}}}}