{"entities":{"Q4835516":{"pageid":6865096,"ns":120,"title":"Item:Q4835516","lastrevid":91422059,"modified":"2026-06-04T23:07:42Z","type":"item","id":"Q4835516","labels":{"en":{"language":"en","value":"Uniform and non uniform strategies for tableaux calculi for modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 761096"}},"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":"Q4835516$DEA9E61D-9DD4-44F9-96ED-7F25E090B860","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"520d673f84e56b632eaff24e3938a60145c847e9","datavalue":{"value":{"text":"Uniform and non uniform strategies for tableaux calculi for modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4835516$3B054AEC-FAED-4D5F-8C38-9F5A0966CD3E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8f3bbba95c52881e0f88211cc0bfa4a44c4c450","datavalue":{"value":"0826.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835516$745DC46A-0FE4-48AC-B262-6E8C67E394D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"10c6c1941ee132659b7de582bcc362418e6eaee8","datavalue":{"value":"10.1080/11663081.1995.10510844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835516$E6D9B60B-C57D-408D-9B09-6439E61FC0E0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"487657d41a3727080d9cf416d12bed060ca6cc64","datavalue":{"value":{"entity-type":"item","numeric-id":213235,"id":"Q213235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$848B449A-FF6F-4718-87D8-FEA160A7917A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$C48A15FF-1C3B-4020-815E-4F47E5E97F4E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bc3f5466e9c88a7c802540ef52e7255943d06ade","datavalue":{"value":{"time":"+1995-11-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4835516$B5656F8D-3B46-43D9-B679-A87A18AF036C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835516$47F170AB-90C8-43A8-A14C-63A6F4A0A232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835516$C1E7D268-93BB-4429-939D-4919079AA9BE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"dc694cb0b629db2afa9a0a64adfdd4b34f87640a","datavalue":{"value":"761096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835516$C66E740A-7FE0-46E4-B92E-FC26FBE2F3A0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f641bd239fe6f0d5fb2cc0d2b3f89cbc609bab87","datavalue":{"value":"heuristic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835516$7FF2CCCD-5A08-4166-8389-E8F12F4BF0A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"80b391bb68e28d3b98cf5ce4f679571ce80c4a73","datavalue":{"value":"tableaux systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835516$90062194-FD54-4708-9B52-1609F6902E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1ca1042868ff4f694776e4b2c62ec66638c4ef91","datavalue":{"value":"automated reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835516$04CA9423-1744-491A-9EC9-F069C8E326FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835516$EBA82063-6537-4C51-8A41-E519E53268EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e8fe75ecdeef7e0425c4bb1338f9134c5adf0be","datavalue":{"value":"backtracking","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835516$595E9F53-B9F4-420E-84AE-642F65C028C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"56a2bc4117b8a348a4002f315a8e0f810c1dc326","datavalue":{"value":"ordering strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q4835516$12F6EFBE-921E-4F8F-BB1B-20901C23E3DD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"4537f7d656c7b9a2943b06f677a4df75bae4161c","datavalue":{"value":{"entity-type":"item","numeric-id":42138,"id":"Q42138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$731E509A-A294-4975-82C7-EF1CBA383C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$2C6C666C-5EDB-4DED-AF6D-DE7F40E7686C","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":"Q4835516$3A4E3E99-77C2-44CC-873B-C13E35CC5464","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f77778d748ab6f1cffedb3459f6e34f029d8807d","datavalue":{"value":"https://doi.org/10.1080/11663081.1995.10510844","type":"string"},"datatype":"url"},"type":"statement","id":"Q4835516$EB13E59D-AC88-4311-B967-CBE1A3F4EEE8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9752bffa294f65e56bb4b806b50901bfc223abc8","datavalue":{"value":"W2005146745","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4835516$0DD3DC9E-164B-4C0F-AA35-1E313CDB88E5","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d4bd75352dca632f26b876b87c98f2ab5b926a7","datavalue":{"value":{"entity-type":"item","numeric-id":920970,"id":"Q920970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$CD6C0299-E1B5-4290-B933-3000F43C83CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6821d8bf92570a1265d30079b71046c8a303a664","datavalue":{"value":{"entity-type":"item","numeric-id":3327746,"id":"Q3327746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$43800219-FBBD-4A79-A941-D6EAEAB9F9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"925f5ecfa5a7f28801d04e2a0a5dc023244c9dab","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$63E0B641-D7F6-4B87-9B80-B28CE4A765BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aaa788232f974bc5396481c46998b860ec3e6d1b","datavalue":{"value":{"entity-type":"item","numeric-id":1056744,"id":"Q1056744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$AB43DC68-FAE5-4527-9558-8057C8234983","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84e5b36bc29ceed97d7f7df9301741351cda0737","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$A56260FF-13DC-4ED5-B4EB-018F2DDF7664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$D4382378-4C71-4B5C-B2F4-ADA6BE6DA5B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5490edff7e86b453cd1c3cbf6a6a3668c1ee3881","datavalue":{"value":{"entity-type":"item","numeric-id":3992823,"id":"Q3992823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$CC4A9CD9-F8B2-46E2-B341-2EDEC4E4D590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b008c640b2d8061e30defcaaf98e0ace1773df","datavalue":{"value":{"entity-type":"item","numeric-id":5339289,"id":"Q5339289"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$014C7AD0-1116-44A6-AFAE-5D5E6E99F479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1aa9e8bb4ef37ec285d6c238c3f5aa5ed5c9a38","datavalue":{"value":{"entity-type":"item","numeric-id":4139711,"id":"Q4139711"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$8A96B1B0-CD65-4C5F-8B57-EC4EEF2D8B5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3e02d29430008b8218b9011946a6795368aa597","datavalue":{"value":{"entity-type":"item","numeric-id":2537122,"id":"Q2537122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$F40F74D3-D0D9-47D0-93F5-5EDC41A3EC81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94855211e231eaafec4a6b9936fa50c3f6c921ce","datavalue":{"value":{"entity-type":"item","numeric-id":3933791,"id":"Q3933791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$FD79CA43-8F3F-47CC-AE40-60AEADCDD6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c0f5d8160663dcf3896a10288f16c979160b94d","datavalue":{"value":{"entity-type":"item","numeric-id":4095908,"id":"Q4095908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$8C093AD9-4380-4A7C-8A2A-C1DF4D5A084D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$B90CBC50-F7A0-4176-B7DE-D1623F2EEAB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f513e7b690bf8dc357938bb3234af45e4790627","datavalue":{"value":{"entity-type":"item","numeric-id":1329745,"id":"Q1329745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$612F2CD3-532B-4F5D-B28F-1E66CB79E20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5c43073869ad19af3d7d3c84c26c1451c29bbbd","datavalue":{"value":{"entity-type":"item","numeric-id":1150592,"id":"Q1150592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$F0F61E10-69F6-4565-83A3-907893BBB64A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51d60697a31a720ca3818e290670745c2871f117","datavalue":{"value":{"entity-type":"item","numeric-id":798647,"id":"Q798647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$2CCF1D22-FEB8-4B1B-BCD2-B15236D38712","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":"Q4835516$C7EB7D2F-3B55-497E-AFF7-52EB3D39204B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dacd2480d91f4c5108aeb9814c4e49918de0706","datavalue":{"value":{"entity-type":"item","numeric-id":2537123,"id":"Q2537123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4835516$6A0AC875-A3DA-4CB0-A106-5664AE6172E2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5110c1f6048b30999bb309585478b358cec7aa1","datavalue":{"value":{"entity-type":"item","numeric-id":4537437,"id":"Q4537437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e749121a42c5973dbfd3b5f2f1cf2548f94440c2","datavalue":{"value":{"amount":"+0.856692910194397","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":"Q4835516$CF528BE4-A249-497E-ABF6-F7A3204AEA6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ee590fc7e4e96baf110a09e808de8be714afffc","datavalue":{"value":{"entity-type":"item","numeric-id":1181709,"id":"Q1181709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea605fb5554792c2c0bfe7125598f356add92d3d","datavalue":{"value":{"amount":"+0.8153699040412903","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":"Q4835516$FD389328-D63B-4026-8DD1-38C70FE94492","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5effd6306ddf204712b9671753107db3b7dbd0a7","datavalue":{"value":{"entity-type":"item","numeric-id":5235255,"id":"Q5235255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bf93cacf5cf2619b45953b624640f70c310c429","datavalue":{"value":{"amount":"+0.8145379424095154","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":"Q4835516$A0545415-79FA-4850-AF29-8F2213A87AA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e41072e861f72b3f62d9e622b3f1127307a419c","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2cdcd679ac34006c7460c1928b95d6f3c2214fee","datavalue":{"value":{"amount":"+0.8039810061454773","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":"Q4835516$1C2AAAA8-5D9F-471E-953E-5765EA30584D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb3819977d2e0ef3c395a79aee2d363a095a3226","datavalue":{"value":{"entity-type":"item","numeric-id":1104913,"id":"Q1104913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea0a66c3ccfbef54f56dd755b3903218b04da065","datavalue":{"value":{"amount":"+0.7901560664176941","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":"Q4835516$114A14F9-5A35-4118-B9A8-0A4936F99205","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Uniform and non uniform strategies for tableaux calculi for modal logics","badges":[]}}}}}