{"entities":{"Q2104533":{"pageid":2115276,"ns":120,"title":"Item:Q2104533","lastrevid":56991675,"modified":"2026-03-25T13:39:48Z","type":"item","id":"Q2104533","labels":{"en":{"language":"en","value":"Synthetic tableaux: Minimal tableau search heuristics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7628201"}},"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":"Q2104533$1BF29329-CAA9-4C68-8CB5-767AD3B39F9A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e086f7d74c1f150e7aafdc79efd9358e364db7d0","datavalue":{"value":{"text":"Synthetic tableaux: Minimal tableau search heuristics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2104533$F532D5A0-7214-40D0-ACF1-52702B08D084","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"51d6f9b35dde982929142f2d8cb14789bcc0a601","datavalue":{"value":"10.1007/978-3-031-10769-6_25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104533$654C6427-E7C6-4BAB-B315-3DCD2DE8F4A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0f3d22749e463bb81fa2f5498116734d307f3cc7","datavalue":{"value":{"entity-type":"item","numeric-id":2104530,"id":"Q2104530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$B854B4D1-3151-4FF2-83BB-7EA097E55CB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0797b8cc93e9fef1c2692fdfedb9507e24aaf904","datavalue":{"value":{"entity-type":"item","numeric-id":302227,"id":"Q302227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$0E11D886-E356-40D2-995F-48825E6FC74B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4561f669a27ef701c4931d6fded130dcc28c39f9","datavalue":{"value":{"entity-type":"item","numeric-id":897481,"id":"Q897481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$7C89689F-CAF7-4F9B-B6AA-B707A1A5D7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c994f4e4dbb1bef7f767e263ebee96ab6ff44260","datavalue":{"value":{"entity-type":"item","numeric-id":2104531,"id":"Q2104531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$BBDBBF60-E5B0-436E-91EB-626A50A6571A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7043410d52efe175469c356a02d87008d0f7b83","datavalue":{"value":{"entity-type":"item","numeric-id":2104532,"id":"Q2104532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$4C1A6744-E2A6-4A5C-BC7F-8F8FE7AB88A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"db8b1b210f5d78274958848712ad4088833e6550","datavalue":{"value":{"time":"+2022-12-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2104533$7EFA4218-6BB6-4CBC-AC98-1DB7FBF42A11","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104533$B5182B95-74B1-40F4-AD8A-E2CC4AF7BF9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60f028bf26cc9a59a8a5365adadfc6ce85464b32","datavalue":{"value":"7628201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104533$AA6B77D9-884D-4742-B470-AC229B456C60","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e7453d83cd5e39426071841f5af7f3f3ca92154","datavalue":{"value":"synthetic tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104533$287D6BDE-AA8D-4310-ADF3-734CB6D2AA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17d8720ff680cf065f9d0c001d36b5459e6f1217","datavalue":{"value":"minimal tableau","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104533$A208E2A5-7C10-4470-B8D8-68657896257A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6805823adfab8836952971f6d7438c8f5251fa6e","datavalue":{"value":"data analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104533$8439750D-8E28-4E04-B0AA-16DD929281C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8f032868f43d55b261395c7274101e76d97db171","datavalue":{"value":"proof-search heuristics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104533$7781E188-18CF-49CB-AFC2-02F10059B30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"940efae7ca985ca50dfde820ae89474e72d365df","datavalue":{"value":"Haskell","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104533$26919C26-703C-4020-8651-23FEE7660341","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b8e7d033342c99b72c744e65e5d3e8084428c65","datavalue":{"value":"pigeonhole principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2104533$2B36FCD6-B590-4515-8333-36B78137C2A9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"067e00213990a6f2431e78667be3f10443c92f4f","datavalue":{"value":{"entity-type":"item","numeric-id":16052,"id":"Q16052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$A0DE314F-9A2A-46D6-9578-65434702843F","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":"Q2104533$0F37D6D4-0140-48AE-86F3-2BAE0F7AF0CD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e237750ab3890f6dc2d9023fe316213a8f574ab8","datavalue":{"value":"https://doi.org/10.1007/978-3-031-10769-6_25","type":"string"},"datatype":"url"},"type":"statement","id":"Q2104533$E3A50FE4-6B39-4982-A03C-0714D7C9D27E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c45fbd10c24909147da1c71057b426d5ea8298b7","datavalue":{"value":"W4289104032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2104533$10637356-77B8-495C-B79F-4EA2FAE96EFE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b6c027f9f9a460d6348929bfcf8ad4a4e98affc","datavalue":{"value":{"entity-type":"item","numeric-id":4444454,"id":"Q4444454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$59869921-BFD5-4C69-89C1-4D0948A7341E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f31cbeafb74eb2331031a6d2305fa02411af3e7","datavalue":{"value":{"entity-type":"item","numeric-id":3775553,"id":"Q3775553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$ACCC12F3-C7FC-4E5E-8948-50D3E7427A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bea75da9fa67a5f77faa9362cd4aa6c737c792a","datavalue":{"value":{"entity-type":"item","numeric-id":4194955,"id":"Q4194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$3E002E2C-8EAC-4226-A7F9-D044BC4475B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45588cd7360799e3b56381b497f12f36a21e9b0f","datavalue":{"value":{"entity-type":"item","numeric-id":1314288,"id":"Q1314288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$DCB5D6FE-3237-4CE8-BC1B-6D69DE1A8487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf730892ec5be6c57741cf68a72855f6d08e524f","datavalue":{"value":{"entity-type":"item","numeric-id":2753597,"id":"Q2753597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$EB6A3B35-F85A-4636-A485-005EB78587A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$AB7CB3D9-CB79-40F8-B4BD-BF548E0164F2","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":"Q2104533$F5F45DE4-09EB-4B94-AA0D-2BB0A7C70A6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec2fa04d400281f100817ce7e13bdaafd2683670","datavalue":{"value":{"entity-type":"item","numeric-id":1071750,"id":"Q1071750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$6E9DD358-2452-4A9C-8465-8FF5064C4692","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3fd95c8d647ed7d5a536fd9309153b54ca4c6df","datavalue":{"value":{"entity-type":"item","numeric-id":2946739,"id":"Q2946739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$626CB4B2-E6BA-45A3-B6E0-95501FF04C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9914395de143df926d2aecbb3bff4b2c2c78612","datavalue":{"value":{"entity-type":"item","numeric-id":4219538,"id":"Q4219538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$66FC7EF7-74E1-41C1-B237-5851BE821D81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"522accd2efa7208487327ed8e29af94611a8d5de","datavalue":{"value":{"entity-type":"item","numeric-id":4860661,"id":"Q4860661"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$0EFDA0BB-2D0A-4701-94ED-E959B0C09F14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1a8c1250dbca5a1914c2e0ccc1c1670d1eb9d18","datavalue":{"value":{"entity-type":"item","numeric-id":1157923,"id":"Q1157923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$3352D04C-7E39-432D-8125-B571843B874A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"febba330446bda559f2952d624c63d67c91597ef","datavalue":{"value":{"entity-type":"item","numeric-id":5560258,"id":"Q5560258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$58CA695F-7768-4384-A2F4-C6150653916A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4de9063fc0a39b99eefe315eb84353cd19fd57de","datavalue":{"value":{"entity-type":"item","numeric-id":4443197,"id":"Q4443197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$5AFEA71D-AA53-4802-8C77-3098EF8FC61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7758174f92fe6fcb18697e38e694134c7db3a31e","datavalue":{"value":{"entity-type":"item","numeric-id":4821868,"id":"Q4821868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$9752BD77-5615-4EF0-A02C-5FEB8A7E7A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"761d5aae19f5ab3eb9111aa436b9ef0b26bb6458","datavalue":{"value":{"entity-type":"item","numeric-id":5695179,"id":"Q5695179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$60D54B19-97ED-4C33-B4D8-7816A2583D3E","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2104533$7282D91D-59D8-4356-A4FB-CE02727E8CDA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2104533","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2104533"}}}}}