{"entities":{"Q5747752":{"pageid":7777303,"ns":120,"title":"Item:Q5747752","lastrevid":51080393,"modified":"2026-01-16T13:41:02Z","type":"item","id":"Q5747752","labels":{"en":{"language":"en","value":"Analytic tableaux for higher-order logic with choice"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785438"}},"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":"Q5747752$1268590A-D1D4-4186-B989-80210A0036F9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9c6f324658dc189caf74076905c8c2e62cbcaa33","datavalue":{"value":{"text":"Analytic Tableaux for Higher-Order Logic with Choice","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747752$F11B1F16-B70A-4116-851A-02290F4A6C92","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"99cc9dcfc57c3554dee68a002d752919684d646c","datavalue":{"value":"1291.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747752$368B58DA-149F-40FE-81F6-38DEE65F9D91","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1dc59c09077b408adf5e56c634ab7e5239942512","datavalue":{"value":"10.1007/978-3-642-14203-1_7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747752$C7637799-C290-4174-B102-1A59C981A8B6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d7b56ac64afac15c9b1f8a1f299aa12f317d8d77","datavalue":{"value":{"entity-type":"item","numeric-id":438559,"id":"Q438559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$B14A2010-35B0-4D04-BB74-15E3D99C4D16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12a1f3f19dead339cd86bffa0b34dbb56772c8d8","datavalue":{"value":{"entity-type":"item","numeric-id":438560,"id":"Q438560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$23F52135-7E56-4485-8D62-D01D501FDBDA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$9B8D99D8-8384-46F3-BB28-D7F0C63044E4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747752$733725DF-038C-44AB-AF69-B7AB43437802","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747752$D1193F42-05D9-4B91-A242-B97EF02E5137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747752$5BFA2621-D1F2-4147-8101-AF3148F22BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747752$BB2E3B34-E659-46D0-B839-318A6784B255","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4867993613e21e68dc88d3f237a7aecf3b03884b","datavalue":{"value":"5785438","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747752$B4D0B424-C7F0-4070-9A8E-7415490037D4","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$5348CA84-8270-4AD7-AA0E-A8911FA28330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$957E7D16-47F3-4F83-A657-C6E9592C9E85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$907ED101-FA62-4B61-9EA9-6508ABD3308D","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":"Q5747752$B35DB83F-41E1-43BC-B7C6-017B1A03999A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6129b23abf84b6f761bdbced25a74ca6f8ac4c92","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14203-1_7","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747752$0E1F5581-27DB-40A7-83DE-544181847168","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a7751636b6f744118661b5213f28460575d7c902","datavalue":{"value":"W126011539","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747752$E04DAECD-25F4-4711-90AA-4ED363BD161E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0021eb1ef45a5b93ce1d9b7eb620338bc69ad123","datavalue":{"value":{"entity-type":"item","numeric-id":5638281,"id":"Q5638281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$2A15E0A3-B786-4B7A-8A1C-AAECEE130BDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b31eb60d26c4661feb10212d462496d10d3f508","datavalue":{"value":{"entity-type":"item","numeric-id":5680123,"id":"Q5680123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$07E8BFFA-F720-4E57-88DC-21CF7B52B5ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba4c761d0afd2b68b331890cbe715eaa366ee6","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$5B4E6859-233E-4563-8A7E-AA2F07D86718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768895073112d4837fb82e113f959ecdf2c6fc03","datavalue":{"value":{"entity-type":"item","numeric-id":5747752,"id":"Q5747752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$C8B356CA-BBB1-478C-B2F4-3E3D1AA6BD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$DCB0EDAA-E007-4A09-AC1F-140D133BC425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$CF28E252-E631-4A45-9C8C-092FB3F07D73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdfc0c3c0e9cfc6e7c95d80498c21e9933322c3","datavalue":{"value":{"entity-type":"item","numeric-id":3575302,"id":"Q3575302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$4C7EB8A6-62B4-4B8F-811C-22DC0D77BD4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"efaa49a64c71401977196b9deb3c2a19874088f0","datavalue":{"value":{"entity-type":"item","numeric-id":3183527,"id":"Q3183527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$FA5C96E8-5510-416D-B80E-BAFDD0DB85A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"358a0dce7176bf4fe5881c864637cb96e7a5e349","datavalue":{"value":{"entity-type":"item","numeric-id":3648727,"id":"Q3648727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$7133D6CD-C0FF-4AE3-8F5D-1A0A3E6E4F4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$A5B36B86-6104-4369-A529-AC115C0A8B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$70BD761F-3280-4EB3-8868-C8E77612FE69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"649acc6a12397180fa1e9dcfe575ddfe054b5ce6","datavalue":{"value":{"entity-type":"item","numeric-id":4262565,"id":"Q4262565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$FECB0A56-843A-427D-98B0-AA791188645E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0935a3b1e6d95e91e21f7e9b447a76f61a8eb916","datavalue":{"value":{"entity-type":"item","numeric-id":4823141,"id":"Q4823141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$C1D127C0-AEDD-400B-A1D4-0D05982EB1E6","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":"Q5747752$705D6A7C-16B4-4FDB-93B7-AB042A862148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c7280b4339f363f27a2dae63a60ca540c2ac3ca","datavalue":{"value":{"entity-type":"item","numeric-id":5191100,"id":"Q5191100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747752$B7F9DDAF-FB54-4810-80A1-E49E67A1BC24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"322ff4125db34fb0411e9e26594837a91e6735ac","datavalue":{"value":{"entity-type":"item","numeric-id":438561,"id":"Q438561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36d4450ba61b8a3bd4dcabd5cfcf44937d0d6312","datavalue":{"value":{"amount":"+0.9984118342399596","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":"Q5747752$DC6A44A5-6B05-42D7-A535-ED47C74DD5AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a004e3014da5cbce4c25c72adfb581e09b33b591","datavalue":{"value":{"entity-type":"item","numeric-id":3575302,"id":"Q3575302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fdda7118f1f2daa074572736eb821382a4d300aa","datavalue":{"value":{"amount":"+0.9358978271484376","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":"Q5747752$3E29AA36-3FC4-4C94-B8E6-2851BA151163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0ec97b8481b3a0b1d3747ab1cfe1014f767440b","datavalue":{"value":{"entity-type":"item","numeric-id":4524794,"id":"Q4524794"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8622776c3f33209998fa262db6464eded07e090c","datavalue":{"value":{"amount":"+0.7931097149848938","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":"Q5747752$34311214-37FE-4B4F-BCB9-F52B28F3D261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24445f56bb29453e7bbccb5ff6d8e4aa3223d274","datavalue":{"value":{"entity-type":"item","numeric-id":810492,"id":"Q810492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8622776c3f33209998fa262db6464eded07e090c","datavalue":{"value":{"amount":"+0.7931097149848938","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":"Q5747752$AF2C6DDC-CC14-4170-AA0E-FAAC8927C33F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae176a4f781fe1ef52948212c35c9d78c26d1dea","datavalue":{"value":{"entity-type":"item","numeric-id":4247078,"id":"Q4247078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a16f45aff874e835039ca949ed38b034c229dd80","datavalue":{"value":{"amount":"+0.7504948973655701","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":"Q5747752$C0A1CB48-94B0-47C2-A476-297B14E1BABC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747752","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747752"}}}}}