{"entities":{"Q4922857":{"pageid":6952439,"ns":120,"title":"Item:Q4922857","lastrevid":51730547,"modified":"2026-01-19T17:49:30Z","type":"item","id":"Q4922857","labels":{"en":{"language":"en","value":"Relational dual tableau decision procedure for modal logic K"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6170374"}},"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":"Q4922857$0E98DE90-3A0A-41BA-8526-762B39D73355","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"602e181e49e0ed9df08d5fd95baa1f3bcbef74bc","datavalue":{"value":{"text":"Relational dual tableau decision procedure for modal logic K","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4922857$1E43DB49-B885-4CA2-BA74-855775A289FA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c446f6a9de769ec757038a6f9db7039520a541a","datavalue":{"value":"1264.03041","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922857$78F2450C-331A-4294-A730-B5DAB84C4D44","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd1f466985cf8143741f29cc3aa6e4e8a4f57c99","datavalue":{"value":{"entity-type":"item","numeric-id":284217,"id":"Q284217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922857$2F0821CC-E4C2-4E1E-8308-5D7E944B6A4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2822ecd71563ec0897253c83fa7ead655a842154","datavalue":{"value":{"entity-type":"item","numeric-id":313005,"id":"Q313005"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922857$9E015731-6CAA-40F5-81FE-10E4E0F0F96B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58abc92069fed4dc3f7e4169591eb1331ed2c79e","datavalue":{"value":{"entity-type":"item","numeric-id":4922856,"id":"Q4922856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922857$D9CC8C68-0F0B-4F8E-A535-0EAABEF40D37","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af9b62ac256232ff2c823523b8bf5580eae9c05a","datavalue":{"value":{"time":"+2013-06-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4922857$E538471E-EF9C-47D2-BA1A-A40102273EA2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922857$2986CD75-A1AC-4264-804A-F4F4EE2A25CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922857$B5F3A5AF-6140-4421-9247-BC1996FF44A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922857$94E726FA-2018-451A-A51F-A759B06D80F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922857$55638C71-9925-4132-B550-4DB4BF256F62","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a74a1fda6109701023fe534651601d1ee33d967f","datavalue":{"value":"6170374","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922857$B548FE8F-B7E5-4045-96D0-36735B09DFF6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4922857$2AAFD950-1D3B-4425-89CC-A76DC499E39E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed26029ddf9bcc00b2d826485f988af799761574","datavalue":{"value":"dual tableau methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q4922857$17D6AAA4-BA14-4201-8795-C0A456707775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4922857$63D64862-3488-4D67-995B-6A596C1EAC8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"55e2222c0fa20009ab9c271e80f975b2c0636eb5","datavalue":{"value":"relational proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4922857$6F8147EF-4315-4B66-9306-41C2CB851B33","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9291db8f6f24de7d39d503e17e069cd87b7516e8","datavalue":{"value":{"entity-type":"item","numeric-id":19701,"id":"Q19701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922857$8F6A241F-7E9E-464D-B821-5978EB28701D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba4b4de7488c666dfe3bcd7ca3c141ebd42a01f","datavalue":{"value":{"entity-type":"item","numeric-id":29521,"id":"Q29521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922857$CF630637-B8E2-4571-9965-382506ED991F","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":"Q4922857$7AAB219A-2A81-4B5D-9E9A-B74C72239522","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"36a8606109de22efc3445e09f15f31093fe11452","datavalue":{"value":"https://doi.org/10.1093/jigpal/jzr019","type":"string"},"datatype":"url"},"type":"statement","id":"Q4922857$614C5F76-6DBD-4947-B258-2E55EAE6EC55","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"79efc2a453549e6f68f37a3180c662735bee5976","datavalue":{"value":"W2059181950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922857$3D8C222A-63B4-4CE7-9CFC-8743550CC024","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"90f75f18764be6dc6a30df0da1b35e90188a31db","datavalue":{"value":"10.1093/JIGPAL/JZR019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4922857$530E2C62-5DFE-4A78-9A6F-0B839A486764","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2322a21df36f02b2b9c16a6174c764d5fc949009","datavalue":{"value":{"entity-type":"item","numeric-id":3061274,"id":"Q3061274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4922857$17311BFD-3DE5-4795-9E7D-DBAC7DD1EAD8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58e424bbfc2dd05b6325e468dab29ba060ed8b66","datavalue":{"value":{"entity-type":"item","numeric-id":386620,"id":"Q386620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71f7cac90a65e03996ef32fbd147f5e2c20bc796","datavalue":{"value":{"amount":"+0.8778399229049683","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":"Q4922857$6EAF3784-B733-4F58-BA00-675C69DB8A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59045bf5f66538f1e2231dee64e1237a30ab35d8","datavalue":{"value":{"entity-type":"item","numeric-id":710340,"id":"Q710340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"580fa15ceabb0db8a05b18c3dbdb694f4829c253","datavalue":{"value":{"amount":"+0.8772469758987427","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":"Q4922857$B5CC8933-533A-486D-B1A3-661E347EFCEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5da025574d6d3ac68997d14db720ee57b13f7791","datavalue":{"value":{"entity-type":"item","numeric-id":3008387,"id":"Q3008387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0315e21106c9507012a5ebdc2cb23108daa9c5da","datavalue":{"value":{"amount":"+0.8611462712287903","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":"Q4922857$BB191B33-AB64-4507-97E1-AF4C925ED1F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70bdd53bbdcb935e90b001a4b56e52e502e4e53b","datavalue":{"value":{"entity-type":"item","numeric-id":313007,"id":"Q313007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15a80de91022d37f712ebe8db65a6f14a593e2c5","datavalue":{"value":{"amount":"+0.8221455812454224","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":"Q4922857$4694C6F0-777F-451C-800F-3A4275EB252F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1e2215324f4340680468218b36aedfead4cea8f","datavalue":{"value":{"entity-type":"item","numeric-id":2901210,"id":"Q2901210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"567f3215aa872b2989d47a1b9d9fbf4172bd1e08","datavalue":{"value":{"amount":"+0.8045461773872375","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":"Q4922857$633A502A-35F6-4C2D-8897-0901F7CAED06","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4922857","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4922857"}}}}}