{"entities":{"Q6560176":{"pageid":14171331,"ns":120,"title":"Item:Q6560176","lastrevid":55692436,"modified":"2026-02-17T21:07:00Z","type":"item","id":"Q6560176","labels":{"en":{"language":"en","value":"Improved decision procedures for the modal logics K, T and S4"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7869532"}},"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":"Q6560176$A5B23F8F-8A95-4AC9-903D-EE78662CE962","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"54bd1a15e649ede4edc9c325d1f9d2d2a429f9ce","datavalue":{"value":{"text":"Improved decision procedures for the modal logics K, T and S4","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560176$9A50B67A-9127-440F-9150-4935F1FE378C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4ea17a2f4f4204f38b05ce2b1fca304996faa257","datavalue":{"value":"1540.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560176$44CDAB53-7823-4002-AB61-72C111FB136B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"82c794820c048ab7025b5e859597f9585702f3f6","datavalue":{"value":"10.1007/3-540-61377-3_46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560176$E2B076B1-5722-4E2B-829E-2B95C8F57F9E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7a074d5598a6623a5d37bab29d65c5ede3f76f6","datavalue":{"value":{"entity-type":"item","numeric-id":1204119,"id":"Q1204119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560176$477B6EEA-5CB6-4A9C-89EB-B36F281E5DD0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8f537c6f80ef2272fb77fcdfce306448ca22994d","datavalue":{"value":{"time":"+2024-06-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6560176$EF7573F7-9E46-4A4C-BEC6-16212E01A749","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560176$8B22DC05-3AC0-4D8A-8A80-57F9E001DACA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560176$C4E79767-5BCE-4064-A26F-71E8C11192FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ee31572430d84497e37a53b8472fe63f237650a9","datavalue":{"value":"7869532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560176$D285F1D1-3F0B-44EE-AB05-0CE53D0D45D8","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":"Q6560176$5BCE0B0E-4CD4-4093-90EE-0CFCB1E498A3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f66774e18bf6d9e857072576d53e1307dde765","datavalue":{"value":{"entity-type":"item","numeric-id":4149442,"id":"Q4149442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560176$BA49B7EE-988F-4C10-801F-24644711BB98","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":"Q6560176$113B69A7-B7C2-4370-921E-E7943F4EBF87","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":"Q6560176$96C9C739-FAA7-4005-AB8B-85FFF3FD5D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac6b6d2abb088971cc5dc238a83ba6251419b6c5","datavalue":{"value":{"entity-type":"item","numeric-id":1329742,"id":"Q1329742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560176$5E843DC5-9E62-4449-B2A8-5109CDCCDC8A","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":"Q6560176$02E8E9B5-8912-418C-B838-0C78FB2A9109","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"269af113feb3632279464e025fd9f9d59e022e9e","datavalue":{"value":{"entity-type":"item","numeric-id":1855229,"id":"Q1855229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560176$0AA48C4C-CE7D-4658-A840-78D752E73F37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"164d5958e5083b10f8e82ed42140727a0ef780a4","datavalue":{"value":{"entity-type":"item","numeric-id":3972527,"id":"Q3972527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560176$174CE94D-881D-41C7-B775-7547E231AE6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d26960fbad67a47fb78241cb8cbf2b682033c","datavalue":{"value":{"entity-type":"item","numeric-id":3999539,"id":"Q3999539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560176$9D9C2F5F-27D8-4DF4-9B08-8006F964AEDF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30beed1410737f28ed5f3206bd8813ad3f426e53","datavalue":{"value":{"entity-type":"item","numeric-id":4941911,"id":"Q4941911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2871a980f046d53e389f62a73a03cb72ecbf6457","datavalue":{"value":{"amount":"+0.8562616109848022","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":"Q6560176$E948BF87-8280-4331-B272-CF6D88A7B955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b6baa5c9206751fbce6780e371b15029265f6b","datavalue":{"value":{"entity-type":"item","numeric-id":5688801,"id":"Q5688801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6c05dbde6c4e039dd7294f46c76a373088f1ecc5","datavalue":{"value":{"amount":"+0.8522021770477295","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":"Q6560176$3841751B-495A-4359-B53E-0EAFC9054011","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"041c34fd35d00f388d0834e867f4d0b7353f27a4","datavalue":{"value":{"entity-type":"item","numeric-id":2271187,"id":"Q2271187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0842d72b30a043da48a05005d5879253ce37010","datavalue":{"value":{"amount":"+0.811381995677948","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":"Q6560176$76FC5BC4-0383-4BD2-8D79-B5947279FFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c04dd2745cd22ae7c3c1bd8b52fb2b169fae237c","datavalue":{"value":{"entity-type":"item","numeric-id":4329239,"id":"Q4329239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07be04cbbafaa3b06e1e9cc6765d7ab519900384","datavalue":{"value":{"amount":"+0.8034850358963013","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":"Q6560176$66ECB002-3346-4637-A2D8-0F5ACC757E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d641b6fdc9e60e9996f62e13b4d33379c5f0911","datavalue":{"value":{"entity-type":"item","numeric-id":1840651,"id":"Q1840651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"81e04bea2c6a7dee4a68d90fca6fe0a90f0fd005","datavalue":{"value":{"amount":"+0.7992807030677795","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":"Q6560176$B435EDE0-3FFE-4692-BEF4-9C5D0E40A8EC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560176","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560176"}}}}}