{"entities":{"Q3575302":{"pageid":5605206,"ns":120,"title":"Item:Q3575302","lastrevid":49602007,"modified":"2026-01-08T06:03:48Z","type":"item","id":"Q3575302","labels":{"en":{"language":"en","value":"Analytic Tableaux for Simple Type Theory and its First-Order Fragment"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5761681"}},"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":"Q3575302$37BDFA71-222D-4CAF-80F5-D96DD0659A5B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"42e55adef0506b8f79950f82ec3e47beae8df025","datavalue":{"value":{"text":"Analytic Tableaux for Simple Type Theory and its First-Order Fragment","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3575302$8D2FEDFE-8934-41D9-9AAC-1758BBBC9FBB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8152d57d9efc8a8cdb3999eb0c00db5eb4d6007b","datavalue":{"value":"1198.03022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575302$F13166E4-A465-4193-B3E1-EA3E22E2411A","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"21b153fbb7d15abac1263289101b2e9b0784f059","datavalue":{"value":"10.2168/LMCS-6(2:3)2010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575302$68B2B01A-F2B4-44E3-B099-4043616605A8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"225109b4f8ba0800ada6d56599a0747e315014b7","datavalue":{"value":{"entity-type":"item","numeric-id":287374,"id":"Q287374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575302$35A811B6-886B-4601-A987-E374B584755E","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":"Q3575302$2CC42414-D4E0-448D-84D7-D9E224F1AAB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3575302$2DE1C2A3-3211-4787-B8BD-DE1847A8B258","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d086622a6099e52a8742dbf9fa8cb5d40a375fe1","datavalue":{"value":{"time":"+2010-07-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3575302$13492915-110C-410B-9B41-8A0DD8186574","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575302$7D9C3766-ECC4-4324-9636-4DC95D8C0B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575302$32E3C39C-AF7A-4F2B-9AE7-0AC2109B4C74","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0934473ee1b10cf70b00333b6dfb62c99a9ff8e9","datavalue":{"value":"5761681","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3575302$0B5FEEBD-B9F4-4A5D-A82C-B2C0DDBC7C7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575302$04C4863E-901D-4B62-8901-F1CBCD9990B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575302$B22C7D2C-06F3-49A6-B075-45C17E505960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575302$7F154427-CA21-438C-8E7A-FCB266BBBA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575302$C29AEF12-7636-4B00-99A2-D0DEEA36D6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575302$17CF697E-2104-4A8B-AF0B-9B1C00E5B8AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee0a69ba46a5f23ccf6ad83fcf01b7501a19fa4e","datavalue":{"value":"cut-elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575302$0676B5A7-2398-482C-80B0-B3ACA531174B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q3575302$376B1B3C-D37E-4148-BC89-C37FEBD98234","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":"Q3575302$4C4E2182-0E7D-4E69-8E1E-93165B5CF2A4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1381e701bef13acdf7c0df2207f0b43b8311c7d1","datavalue":{"value":{"entity-type":"item","numeric-id":3648727,"id":"Q3648727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc99a21de033e0d693c1bb29ee196bc9d19d286e","datavalue":{"value":{"amount":"+0.9346751","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575302$65E5AD7E-8E0B-4645-A2FD-75D820C96E7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c1b218eed2a7a863f8eea76b1b401f765205d23","datavalue":{"value":{"entity-type":"item","numeric-id":4223028,"id":"Q4223028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba2094b20c51253ca9cb6a618d6d6fadd515a67","datavalue":{"value":{"amount":"+0.8977902","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575302$98DB8109-E663-4E15-8522-74CBBBC17EF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b63c8d01999ba16ba4adae21a9fcda0b3087273","datavalue":{"value":{"entity-type":"item","numeric-id":3119286,"id":"Q3119286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba5a381268eb053f14ed4ae44adbc24b0ee2c261","datavalue":{"value":{"amount":"+0.88568866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575302$8DFD25B9-163A-4770-8ED2-274D73A3B6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2288b5ce42f9f8618bd8052f04fbb57c1744a376","datavalue":{"value":{"entity-type":"item","numeric-id":4228072,"id":"Q4228072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e26ca2c457eb4e9c3f9072d6b05569fc626c6289","datavalue":{"value":{"amount":"+0.87497747","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575302$21109EBC-4CA9-458D-BF2E-247F16C742CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662739bece42c3f8ad29090d955e17212552c81","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f103e3303906d887bff7a5820e9e614e73430d7","datavalue":{"value":{"amount":"+0.87341285","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575302$1968C344-A53E-47DB-992C-1B38637A652D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e7df1b0c78b6165a85ac2ed3fa576a581f45e5","datavalue":{"value":{"entity-type":"item","numeric-id":4247305,"id":"Q4247305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8f3df17be526aae2bf8b36ef3c40c7da9d9ced06","datavalue":{"value":{"amount":"+0.8705513","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575302$22A77536-FA06-44BD-8744-422AD541A582","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6241cd6d5a0029d1dccdce8a5f120261120426e6","datavalue":{"value":{"entity-type":"item","numeric-id":2013397,"id":"Q2013397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46647073c3daf78b1855d5da0a4d0d4cc117f9ba","datavalue":{"value":{"amount":"+0.8686018","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575302$18061A69-7ACD-4391-BCCF-1DE868CE295A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af78cd63c14723f1c623d689703d45fe71767c15","datavalue":{"value":{"entity-type":"item","numeric-id":3460427,"id":"Q3460427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42c5757610a9d5e7ddfbd369cfb837057d9850e9","datavalue":{"value":{"amount":"+0.86804926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575302$D35EA7AD-6A9C-4126-B0BD-FB83DC6DF572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbe0c345c37360ce60f7cb346c4738c3ddce0fd","datavalue":{"value":{"entity-type":"item","numeric-id":5028312,"id":"Q5028312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b8075f05968919776d5c94527de4bbe8056c200","datavalue":{"value":{"amount":"+0.8661016","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575302$8C373C1A-69C7-4EA6-B63D-194D5D3010A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5b4877332fb727d389e8c5f376b51b306f9d2d56","datavalue":{"value":{"entity-type":"item","numeric-id":3972529,"id":"Q3972529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"80519bc1feda6b4ec498c36b608cd6b8ed2a5f7e","datavalue":{"value":{"amount":"+0.8637846","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3575302$8A309CDF-7676-48B9-8DAF-05582395689C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3575302","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3575302"}}}}}