{"entities":{"Q1977576":{"pageid":1988318,"ns":120,"title":"Item:Q1977576","lastrevid":46899288,"modified":"2025-12-25T19:51:30Z","type":"item","id":"Q1977576","labels":{"en":{"language":"en","value":"Single step tableaux for modal logics. Computational properties, complexity and methodology"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1448650"}},"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":"Q1977576$92749B3E-9BF1-4840-8FAD-6CB495666CCC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"66dd749fab0dcbdb8190be2fa5ad30e5ef326944","datavalue":{"value":{"text":"Single step tableaux for modal logics. Computational properties, complexity and methodology","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1977576$E535BC70-F97E-43A7-9AF5-11ABA53B4378","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9fbd753d49290cbc4e748516dc52f99cb33d4c79","datavalue":{"value":"0951.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977576$580C18E3-1320-4218-BB6F-760873994819","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"879fbb10095cfba9fc9372a14d17cf68047ef3f2","datavalue":{"value":"10.1023/A:1006155811656","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977576$24A6E7D4-570F-42FD-9892-A0DF8B44B30C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd8358f34fdd94323fe17d3e8928b2b07a4e9975","datavalue":{"value":{"entity-type":"item","numeric-id":861697,"id":"Q861697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977576$B99DA8E5-25EB-46A1-AA42-92BF8D908D51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1977576$44CFBBA4-1DA5-4DF2-8BF7-CE7D30FA1336","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ab51f0da63d563b6d8e1e1f2adfc1cb2e4c22ff6","datavalue":{"value":{"time":"+2000-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1977576$65A39709-1E86-4858-AA95-B45668ABD1FB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977576$6B80D7E3-38B2-4AC3-AE15-5A31809FADA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977576$F26480B9-328E-4A7A-8251-57FAFC9C7E2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977576$EF7CD49F-9E1A-4049-9141-299B4A14C874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977576$E637F4D3-A16D-48DD-8388-E3308592E3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977576$4A955D14-F341-4885-BCBC-0D9CE18DEBCD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"50952dc86ca6a9ee8bcbe54d237e13a71e758bed","datavalue":{"value":"1448650","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977576$D0D514B8-A04C-481C-97A5-CE1C6163089A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08e890444e524ff8f95704980b947c79f0eb7782","datavalue":{"value":"prefixed tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$7FC63EC1-58E8-46D9-9760-65099E13006C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$D01AA5F7-7092-4272-BAE7-0A98ACDE164D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64e7d1a60c27c76b7a771c613121cb7b9c41adda","datavalue":{"value":"single step tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$51023B44-D9D7-4F62-91E7-7711E8B90272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b38049d159af5d6c62de79db7ea882fef0c299bd","datavalue":{"value":"confluence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$7B23C506-8D1D-42A2-88CB-3C8204757E25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$58F3EEE9-09C7-4364-ACEB-62D5846EAE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fc59007b2b1960a263350309435ca1e06e896b5","datavalue":{"value":"space complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$3D79B40B-DE7E-4060-B8DE-DA86C8EFF198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de7b85c4a93615f621aeed7bf65aeaf693dbddf4","datavalue":{"value":"modularity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$A48172B8-EC06-4B90-AB70-A840648BD8D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14a6728e50cbaca75cf287bc48ae14f636315ae3","datavalue":{"value":"translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$BF1BEE09-6E56-4AFD-92DE-DBEA9721F2EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64b0079f826515421fca34e4e1bf1e96b9103a05","datavalue":{"value":"modal resolution","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$AAC1CE4F-0DB8-47CE-BFAF-CB3BBC48FDD5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccf95eec66543b50e8b9177f882936f052e90654","datavalue":{"value":"Gentzen-type tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$95CC1CC0-C868-4A10-A20A-47FD7B41D57C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1977576$AE362C66-E946-45AD-AB73-8B6A6B608DF9","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":"Q1977576$11CFA159-1C08-4418-B55A-0C2720EA8852","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e09a4c72e422757a3c5858ede5b35ec325436208","datavalue":{"value":"https://doi.org/10.1023/a:1006155811656","type":"string"},"datatype":"url"},"type":"statement","id":"Q1977576$A7109E3C-6AD6-4BA2-8167-AFFB0D957FB2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8d5f5575967552cb448fabd6baa3abc8119c6702","datavalue":{"value":"W1601452436","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1977576$0A15CE62-9841-4451-831F-D5EA91A4C5F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6498ca5d5ff8f33058a986addfe62fa2638ae7f","datavalue":{"value":{"entity-type":"item","numeric-id":3541702,"id":"Q3541702"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c04112bc4614f04f692b912603422e382eef294c","datavalue":{"value":{"amount":"+0.7752552628517151","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":"Q1977576$80C3E120-C264-47E4-A4CE-14987D9CF4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a22106a3347722ff447633be5ecd41dc1716c09a","datavalue":{"value":{"entity-type":"item","numeric-id":5955622,"id":"Q5955622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"806b4ca66799c84ae6c0abcb29c422cf9bce0266","datavalue":{"value":{"amount":"+0.7741650342941284","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":"Q1977576$F26DB0FE-F7DB-4AF5-8928-92DC8EB8018B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4b15022e34355f7fa0b7bec63329ad827c2ff435","datavalue":{"value":{"entity-type":"item","numeric-id":2843911,"id":"Q2843911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f87106f5dffa829b0fedef34d674af7264089c5","datavalue":{"value":{"amount":"+0.7660771608352661","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":"Q1977576$DCB7964A-B5CD-490E-9627-D6FA82CACE38","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":"23424d7c95bcc4207c96875ca50e5d3597c026ec","datavalue":{"value":{"amount":"+0.7636846303939819","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":"Q1977576$9359AA75-64CD-4EDA-853D-CAE6C4732E89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce20faa85abaadd0590ef2b07949ebf865b12b04","datavalue":{"value":{"entity-type":"item","numeric-id":4247692,"id":"Q4247692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faf5dbcc52139b0d02c8f02f5be19c718827482d","datavalue":{"value":{"amount":"+0.7600151300430298","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":"Q1977576$489648C8-424B-48AB-A15C-11F086710CE5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1977576","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1977576"}}}}}