{"entities":{"Q4610314":{"pageid":6639897,"ns":120,"title":"Item:Q4610314","lastrevid":90508064,"modified":"2026-06-04T20:33:07Z","type":"item","id":"Q4610314","labels":{"en":{"language":"en","value":"Generalized tableau systems for intermediate propositional logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7002267"}},"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":"Q4610314$BD904AC3-7D7A-4097-837A-6B48E9909B97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10109d8c97943896b05fc23b449a29c06c0ffdb4","datavalue":{"value":{"text":"Generalized tableau systems for intermediate propositional logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4610314$BADB3D69-CC98-4043-ADAD-799F0D013BBE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0011d1432355375e59f6bb4fa9fed2898f6faf29","datavalue":{"value":"1415.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610314$9CD2F2C1-21ED-4B8D-A34C-D7E880B40815","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d9f71358bbdbd87e15f90c45b21f9769883d0dbe","datavalue":{"value":{"entity-type":"item","numeric-id":506822,"id":"Q506822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$017181E8-D77D-4CA8-9266-6139548648FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b1c3fa95c1005d09eff8ff2b881875054b11a800","datavalue":{"value":{"entity-type":"item","numeric-id":583193,"id":"Q583193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$47B17977-5D73-4495-9FB5-6C0B9FF1AB0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb24e71fa0848ff25aa538d02585705362e3fbd9","datavalue":{"value":{"entity-type":"item","numeric-id":583192,"id":"Q583192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$95466DD5-7C94-4374-9868-2B2E6685C368","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"87d8083e5daeb2aefc31d533bbd212fa0607d03b","datavalue":{"value":{"entity-type":"item","numeric-id":583194,"id":"Q583194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$E2D92643-4FB4-414C-8FB8-9DC4EA26368D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$1F03EF46-E23B-41DD-93C3-D108C4FE8609","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"250f083a2ef1e7a7df79afad0acdd22e5799ecf5","datavalue":{"value":{"time":"+2019-01-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4610314$2C1F5AEC-F870-4E36-897C-32769EF29D57","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610314$56984EEC-6257-404B-AF55-F73EF302F398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"87f66489f0c14f30094b654591a05fdd61321103","datavalue":{"value":"03B55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610314$AD82CB3E-A10E-44D5-9C89-CC0B92085BE3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bae954b25ab0f0787564e77bb4c6291db32e6dd1","datavalue":{"value":"7002267","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610314$96D36905-EADF-455D-AE81-70A89DCB83F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"844982ebebe88ce0efe8b7fb70d507804d83e99f","datavalue":{"value":"intermediate propositional logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610314$87C68292-E486-433E-A377-A8FC9193A1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96bbc11051e7df69761c0a9fe452d973e56df1e9","datavalue":{"value":"tableau systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610314$B07F403E-610C-4A30-9710-B3AB5EC45420","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c9f312c5e168e64ba70bf7f7f0684cf90f2a524","datavalue":{"value":"duplications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610314$A3A31DFD-707D-465E-84B9-1F4FCE3D9796","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9cbc53aa3ad4fa53671f951d6e243f6bd53c4445","datavalue":{"value":"filtration techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4610314$9134825E-95B3-4C6D-8824-BDA6FBD1F00E","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":"Q4610314$7BC9AF77-6A77-48E5-9686-B28CDB76B7FA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe4c1ea89bc5854f421d3a6b161146d5aecefa12","datavalue":{"value":{"entity-type":"item","numeric-id":4032862,"id":"Q4032862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$24D1B1A4-BB8E-49F8-804F-0B3C557D97B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a48f1b68aad73e06e77b38880e027ca0f791064","datavalue":{"value":{"entity-type":"item","numeric-id":4283073,"id":"Q4283073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$0057BECC-6CAE-4E9A-8761-7D7E44CFC802","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1af63bd8d72051e1344252b9875b47c288e2438d","datavalue":{"value":{"entity-type":"item","numeric-id":1902974,"id":"Q1902974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$0E58066B-2939-4B59-B5BC-CFB7632E844F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb4f453c65e52d42ef97810e35dc2ca57eaa0e5","datavalue":{"value":{"entity-type":"item","numeric-id":1902977,"id":"Q1902977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$80445E3C-CA79-4C4E-8FB6-1764643BBEB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b40211716e772b4a2f4dcb616dccc635488709a","datavalue":{"value":{"entity-type":"item","numeric-id":5582318,"id":"Q5582318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$F028C28D-BD2E-4765-9B48-143D0399E37C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"577776df3aa92f9f40afa80ef3e4a3f282cb55fb","datavalue":{"value":{"entity-type":"item","numeric-id":5635427,"id":"Q5635427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$49E07465-F30B-4598-A651-DF52E8256C61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5dfbc538077da75d332fb528c12551a8b230f68","datavalue":{"value":{"entity-type":"item","numeric-id":1148885,"id":"Q1148885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$23ACB89C-74AB-4FB4-8854-735EE1999032","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e2315a5bfee579bf47ae0bf7c08aecb76d3cf6","datavalue":{"value":{"entity-type":"item","numeric-id":4777279,"id":"Q4777279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$CB301443-667C-445E-8B80-DAA5A106BE00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b83592ffe861aca3198948b3c2b96ca5082aefc","datavalue":{"value":{"entity-type":"item","numeric-id":4272505,"id":"Q4272505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$3A0B2F3C-7166-4C2C-913F-0BC7631A3FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"06fb0b94e59c5adb31c73df20ec0bcc54d345cfb","datavalue":{"value":{"entity-type":"item","numeric-id":3246321,"id":"Q3246321"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$41578185-91CD-4A5A-BE69-BB12D7B31514","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb0e5926137f2781ab7f6959579a481f050fca5a","datavalue":{"value":{"entity-type":"item","numeric-id":5813911,"id":"Q5813911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$2CC7E104-6F3C-46BA-9BC7-A57EA7F97C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fa4ece8cae4388ab5c7e0e3e50d0d2293249835","datavalue":{"value":{"entity-type":"item","numeric-id":1204112,"id":"Q1204112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$E78CC3D7-2E46-4C94-B2CB-8A481616B0E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9c887b92614dbc292afd0634927cae92c216a18","datavalue":{"value":{"entity-type":"item","numeric-id":1344876,"id":"Q1344876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$14A8B82A-F2FA-40BA-979A-74AF91F7E205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca7ab1e9ab8ddfd18235a6bc75423962b3df766","datavalue":{"value":{"entity-type":"item","numeric-id":4340932,"id":"Q4340932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$3C5E739B-84AB-4C5C-A0B9-2F1249605572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"132418a05000e3a7f149bd52fa2b1e94f1dcbcd2","datavalue":{"value":{"entity-type":"item","numeric-id":5586223,"id":"Q5586223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$C4E942E1-9D7B-4C9C-9299-8254675B1843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d14d473b17b76e9069e2128d7a1079b30d8eac4","datavalue":{"value":{"entity-type":"item","numeric-id":2548955,"id":"Q2548955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$DF4C936A-7098-497A-BBF4-66E6BE193794","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73b3b091c105052a651fff1ffd3200db00fffa7a","datavalue":{"value":{"entity-type":"item","numeric-id":1208115,"id":"Q1208115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$033C2AA3-53B3-40F9-9962-0E3C2D14B4C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"384c88ee747368e498e55b1ebc22017816448ffc","datavalue":{"value":{"entity-type":"item","numeric-id":2265415,"id":"Q2265415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4610314$81AEB3C1-B224-49D3-BD62-C23F77B5ACC3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"81bf309ea091038ce99bf0f31af719a0e29190e7","datavalue":{"value":"10.1007/BFB0027404","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4610314$D7311BA9-95AB-4CC1-9643-84883660D228","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f854e3433d026fcec9e8c967d3336210eb0c9a34","datavalue":{"value":{"entity-type":"item","numeric-id":2721194,"id":"Q2721194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5c18526ccf81d4897a22c2131fc3a30d50b4430","datavalue":{"value":{"amount":"+0.7979027032852173","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":"Q4610314$005C6779-8958-488A-ABF4-CE6C831BD865","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f81cc5f4859fdf9ccbdadb8d68b3b38128a5822","datavalue":{"value":{"entity-type":"item","numeric-id":3312202,"id":"Q3312202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"add5517663f12a2c5644b12f0b73e46810327895","datavalue":{"value":{"amount":"+0.7846256494522095","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":"Q4610314$9973AD51-275F-48A8-8C4D-F788EC56364A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"02914676961ea20adba25e8af504c2bfc869aafc","datavalue":{"value":{"entity-type":"item","numeric-id":3340837,"id":"Q3340837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab56feb12c5c42d2ee9c85e60be53875760e4862","datavalue":{"value":{"amount":"+0.7838135361671448","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":"Q4610314$329BEE5D-1CBC-4338-8998-34AB5CE3A1A5","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":"22841f00a523caa7eb081f2e2084028cb1499add","datavalue":{"value":{"amount":"+0.7784616351127625","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":"Q4610314$AF065AD8-4546-45E7-8194-98872BF85E3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10eae33eaf2c4ca155a58a521974385515b69fb7","datavalue":{"value":{"entity-type":"item","numeric-id":1117920,"id":"Q1117920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"22841f00a523caa7eb081f2e2084028cb1499add","datavalue":{"value":{"amount":"+0.7784616351127625","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":"Q4610314$FEBE1222-4822-4043-91CC-E1E1FCF32C69","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized tableau systems for intermediate propositional logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_tableau_systems_for_intermediate_propositional_logics"}}}}}