{"entities":{"Q4796459":{"pageid":6826039,"ns":120,"title":"Item:Q4796459","lastrevid":48058720,"modified":"2026-01-03T12:29:04Z","type":"item","id":"Q4796459","labels":{"en":{"language":"en","value":"Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1876741"}},"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":"Q4796459$6F8678A2-685F-4E3A-8A2D-879867320860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95cce274182a5943c721c4696f3d462ac8b2169a","datavalue":{"value":{"text":"Space-efficient Decision Procedures for Three Interpolable Propositional Intermediate Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4796459$345C405A-66E7-4D12-ACD0-3792CC6154AB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4a94c18d787e32eb631dd331eee30801703c127","datavalue":{"value":"1020.03023","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796459$2F12736E-9B11-4994-854D-2DA96DE2FD5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"85a3322f7c395849201c201788891d980fbbf885","datavalue":{"value":{"entity-type":"item","numeric-id":230826,"id":"Q230826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796459$E8D70228-6DFC-4E73-8480-C586A1F671A0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"256127ee2676d4c7e996bb0b8b4f698f183a71c9","datavalue":{"value":{"time":"+2003-10-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4796459$F8680419-C4B0-4C62-A9D9-6420506E3AFA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3e7b2cab6fb908816a7c15a297aa7ffa1a9d48a","datavalue":{"value":"https://semanticscholar.org/paper/55cae736e9609f190c42d38b9a3ad2c2037f7200","type":"string"},"datatype":"url"},"type":"statement","id":"Q4796459$B03D8259-8D25-42B3-AA99-FE8721CCB0D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796459$E8CE0A79-CB76-401A-AE9C-4796B2A6438F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796459$2A7EE93E-D58E-466C-B706-2746655BCE1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796459$0FE656EA-6446-4C6C-82F0-F277F1D1E3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796459$8C70F5B9-9B8C-4076-928D-C9DBADB13B6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"26b107784a684da1fe374c71fe4275e623899b97","datavalue":{"value":"1876741","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796459$F3827928-5CC1-47A2-A8D1-7C9D6A62782C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d8e781ee061517c5ed411717a5016b92d780789","datavalue":{"value":"propositional intermediate logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796459$40E449B8-457A-4813-8534-6F1A870DB669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6e09ccf89b95a09409c25bf5426268f7d39fa8c5","datavalue":{"value":"duplication-free tableau calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796459$20EA0218-3AEB-4C55-9C9C-ACF500D8F04F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"72ec3bb68b9572fe17e6aab7462cd1e3fd698d6d","datavalue":{"value":"space-efficient decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4796459$4ADE52B3-50D9-41C2-A42C-681727C61309","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":"Q4796459$8E399FB6-6B33-414A-B37F-52DEC03FBCD7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"74abbf82009def513301872ef5cb444bca8d96e9","datavalue":{"value":"W2026661594","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796459$6DCC90E3-DD01-4C85-B7B6-CC239DA9E712","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8683ef012de3567583252a28f8fc213b065e1248","datavalue":{"value":"10.1093/LOGCOM/12.6.955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4796459$D8756071-AA55-41B2-B399-8A294D695059","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4796459$35FBA13A-B80F-49F3-B04E-BE63563E28F4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4690a5e49fe449eb2087010d35349e301628903f","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cb47304c30cefd23c66de22b9a4f44ee1892184","datavalue":{"value":{"amount":"+0.822917640209198","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":"Q4796459$211B3230-6991-438A-BF1F-3D7DAE01FAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1132362709d631dedda777384ec44f29c91cd6d6","datavalue":{"value":{"entity-type":"item","numeric-id":5956122,"id":"Q5956122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"661f38cef2a9ebd3da81c49f334c67b271ac2506","datavalue":{"value":{"amount":"+0.7854156494140625","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":"Q4796459$6EF1C145-EAE0-49E6-93F5-F9A8A930521A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67232ceff77abb9cd80825d5cae020f93df0effd","datavalue":{"value":{"entity-type":"item","numeric-id":4700536,"id":"Q4700536"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f05f2e3691aefe7ca26bf8977cced25f9b91e6e","datavalue":{"value":{"amount":"+0.7766767144203186","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":"Q4796459$FAE17084-9D37-4503-9C34-860459E617AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687c2a5c6256dd6cbca81f795852ca264521fc74","datavalue":{"value":{"entity-type":"item","numeric-id":3417780,"id":"Q3417780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f05f2e3691aefe7ca26bf8977cced25f9b91e6e","datavalue":{"value":{"amount":"+0.7766767144203186","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":"Q4796459$F444565A-1A6A-4D0B-8698-3D4FA84BE8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed22aa514468b02c06a6c5e261c465efcf07d35","datavalue":{"value":{"entity-type":"item","numeric-id":3647294,"id":"Q3647294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"60eaca49f50cece8895e2b78d007e834bafc5d14","datavalue":{"value":{"amount":"+0.76792311668396","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":"Q4796459$2627CEBF-A713-49DE-A8EF-46A6DBAB9773","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4796459","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4796459"}}}}}