{"entities":{"Q2142064":{"pageid":2152807,"ns":120,"title":"Item:Q2142064","lastrevid":43591807,"modified":"2025-10-28T00:53:16Z","type":"item","id":"Q2142064","labels":{"en":{"language":"en","value":"Tableaux for free logics with descriptions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7532509"}},"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":"Q2142064$C32E2605-4D77-4064-A6E2-4567234A2134","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"80ddc018cf7a3c7a7ab77e0ef9bc723982144ab7","datavalue":{"value":{"text":"Tableaux for free logics with descriptions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2142064$F3D01D45-3BF4-4481-9C20-5696ED1DFD41","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d67675a23f114e625416baf73efbee2bb2c28f83","datavalue":{"value":"10.1007/978-3-030-86059-2_4","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142064$D417B8FC-194F-490E-B815-9C5AD58A26AF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da6035cb69d114e94ed992b557e83e58d19a50f3","datavalue":{"value":{"entity-type":"item","numeric-id":477583,"id":"Q477583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$609E0B94-E0D6-418B-8473-066E143467D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"157e3240eaf1299c061d7da05b9688c998dc4b21","datavalue":{"value":{"entity-type":"item","numeric-id":821568,"id":"Q821568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$D8B4EC87-F8A3-48A7-BC21-E02B86FD9B05","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"12ef1e2e38c147b52c379a6993b1283d5267f8ef","datavalue":{"value":{"time":"+2022-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2142064$2B503050-DABF-4281-AAE0-97B6BC277F03","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"097ad2ec16e1f870789379d4a233da0f63510617","datavalue":{"value":"https://arxiv.org/abs/2107.07228","type":"string"},"datatype":"url"},"type":"statement","id":"Q2142064$E557B9DD-7E13-49A4-A70E-D9A6D897E5D1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142064$DECED45C-C849-4D7C-8EAE-B151E49FE107","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dd540effabea6601f6c5761f5032aefdcf88c5bd","datavalue":{"value":"7532509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142064$CFC175A4-7B3A-4651-A19A-318504CB8744","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c1fd5c07cfab1ba57cd37f7e8ff2ee315a225b2e","datavalue":{"value":"free logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142064$B2DB4B9C-892C-49D5-9825-B652C2F5B187","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"098f7151ee69710a3b55c2a70241e837da14cf19","datavalue":{"value":"definite descriptions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142064$FCDD6C27-DEAC-45B6-A51F-46AF216F0371","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e269374e5a98e44a2949e7e46023a94d0f33df27","datavalue":{"value":"analytic tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2142064$7A186EA7-1153-44BF-9E80-D69DFB5E1361","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":"Q2142064$AE5BFE5A-B7BA-4FFB-AA10-0DFAE1BB8A84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c7dedb537d5666a7280ad58068901737967c79d2","datavalue":{"value":"W3202656763","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2142064$1331613A-9D3A-4D80-A6EE-CE9E607F7F55","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4349a4945383fab5f883bdef5abc9122ae1b876","datavalue":{"value":{"entity-type":"item","numeric-id":817698,"id":"Q817698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$82922A33-5C22-47F3-9196-568FB0766A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$02AF631B-2696-4FA6-A9EB-BFFBA3A6E832","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"beff482ef1531b1306bde060b6ed99e88c4ccb1c","datavalue":{"value":{"entity-type":"item","numeric-id":4023225,"id":"Q4023225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$3E08BC8A-EF93-4AC1-8164-B46DF6742AF6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aea61d19be0fd503b2e8b946fa9ef44ecdc351b","datavalue":{"value":{"entity-type":"item","numeric-id":1777640,"id":"Q1777640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$4860C5AF-B762-43F2-8924-753C29C6D368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a8e37266eda3ec5b21a8e7a70fe75c1f6c16a31","datavalue":{"value":{"entity-type":"item","numeric-id":4355889,"id":"Q4355889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$953205BE-B2F2-4AC0-812F-022192364BC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$438E46C9-C4DE-4B40-A70A-505F5D915682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54872e7850dd1903ee3a27dbc74c9f5f89e27d9e","datavalue":{"value":{"entity-type":"item","numeric-id":1870904,"id":"Q1870904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$00C6C56D-1E2D-4185-A8BC-764584E16C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f34b77e9616af68856c2fef9e864836767c008fc","datavalue":{"value":{"entity-type":"item","numeric-id":3414345,"id":"Q3414345"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$3EB3D4E2-2101-473D-8D4F-FBFBE169F679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"320cb5dd93c53309305af20028f069a1035ae5a2","datavalue":{"value":{"entity-type":"item","numeric-id":5955617,"id":"Q5955617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$FA5C02F3-38D2-4037-BE5D-23CC78F4072E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb867c632570d39793ce1d0ab002fa1960ed0b81","datavalue":{"value":{"entity-type":"item","numeric-id":5224577,"id":"Q5224577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$14B8E28A-41BA-4883-BA98-091BE4D786DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28d348e5c75cee0cfd5314db0cd35ffc0369fac6","datavalue":{"value":{"entity-type":"item","numeric-id":5215499,"id":"Q5215499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$F8C0DFAF-03C2-429D-8DE4-F058B9AF69C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20b0a38c811ddc7b609d98f221aa37397909d9c1","datavalue":{"value":{"entity-type":"item","numeric-id":5104714,"id":"Q5104714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$B2F63273-0CF1-412F-8595-81694AD87552","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a81f7362de475c6f94efb1145c6f25bf8c05513","datavalue":{"value":{"entity-type":"item","numeric-id":2243550,"id":"Q2243550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$CB3F2DF0-B491-4F35-A65F-C63122859F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"20bd726de9a21b6586c26041230682c0d737e5be","datavalue":{"value":{"entity-type":"item","numeric-id":6041350,"id":"Q6041350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$96EE7932-207C-4A20-9BE0-B594DEFDB4E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2e55e2ae55849477a8a82fb6f315e007c307131","datavalue":{"value":{"entity-type":"item","numeric-id":4982329,"id":"Q4982329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$8361646F-1B52-49B9-9315-CA639342F256","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f885b1d337b52a28fd05fb3e5eda838736ad70f5","datavalue":{"value":{"entity-type":"item","numeric-id":5241405,"id":"Q5241405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$B4200DCC-1975-46EF-ACE8-7D6BF1F140EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90671fe2a4fa6320116d0147417d3da42abd9139","datavalue":{"value":{"entity-type":"item","numeric-id":5126200,"id":"Q5126200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$7EEAD100-B6BB-4658-9475-B96F5806B1B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65df1cef75d5b7ecdd28b45de9a236e878f5c58b","datavalue":{"value":{"entity-type":"item","numeric-id":4793387,"id":"Q4793387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$D7F3F300-B6BB-48CA-81C8-D7A78E1979C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5dcdc7d400199d9211a9d57cf38dac80d205ed6","datavalue":{"value":{"entity-type":"item","numeric-id":1887352,"id":"Q1887352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$394EFC3B-6DB8-411C-A875-D93DCB1171B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6cdd6030337d08844ed9b1765f7abd837ae16f4","datavalue":{"value":{"entity-type":"item","numeric-id":5241408,"id":"Q5241408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$0E26CD54-6830-40FE-9CBD-423B4BC9E425","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e65bc0b28c9fff471bd4913b0f82c7d00976d2e7","datavalue":{"value":{"entity-type":"item","numeric-id":3382811,"id":"Q3382811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$1603CE14-28DD-4E6B-B7F4-4B47BEA070D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5fd2421c0b9830a5368cacf5d87639027a60f94","datavalue":{"value":{"entity-type":"item","numeric-id":830379,"id":"Q830379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$AACA1F29-456F-42F7-B750-EC30D0CA1344","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11b47e427b41b4173e50108f0857c520d19a8b62","datavalue":{"value":{"entity-type":"item","numeric-id":3208629,"id":"Q3208629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$01404300-8A26-4474-8D52-1699052BB4D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"83f372f89de7bf317c3abd74c1ef99e85415014e","datavalue":{"value":{"entity-type":"item","numeric-id":3941377,"id":"Q3941377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2142064$C4109DE6-C50F-4817-9998-CA0F9F2C961B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2142064","badges":[]}}}}}