{"entities":{"Q1854375":{"pageid":1865117,"ns":120,"title":"Item:Q1854375","lastrevid":71505015,"modified":"2026-04-13T22:42:23Z","type":"item","id":"Q1854375","labels":{"en":{"language":"en","value":"Building decision procedures for modal logics from propositional decision procedures: The case study of modal \\(K(m)\\)."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853128"}},"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":"Q1854375$8C245FBA-8920-4823-83B2-6BC93E7FF610","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"193c4a84927276b5ec4a53418c1854a3def2ab66","datavalue":{"value":{"text":"Building decision procedures for modal logics from propositional decision procedures: The case study of modal \\(K(m)\\).","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854375$39270C2B-053A-4845-AD96-104A54008890","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3681abb44012e35c72b3c5294eb1f68142288f8","datavalue":{"value":"1033.03509","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854375$8A56E08F-71A9-403F-8A55-74D3A174E9A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99809ed495e654999be3f275423a0ba7027d3b10","datavalue":{"value":{"entity-type":"item","numeric-id":219437,"id":"Q219437"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$E889A3B2-DB20-4EC3-A156-104A4D43627A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4fd5a076641129df5baba24779caed9dec893447","datavalue":{"value":{"entity-type":"item","numeric-id":511776,"id":"Q511776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$615D2762-D67B-4F78-BA5B-EFDEB8D3945F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$B8869587-9D43-4791-92B8-DE91BA4F00F4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854375$47029980-F562-4EE7-83DF-8ADECDC0B4CB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854375$E08C5DD9-5413-48EA-886B-2A68C3D107B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854375$A358DEA6-ED67-4B46-A71E-0CDAC4F23676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854375$2108BA2A-1072-4CEC-8DEF-420E8F59179D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854375$FB9A35A8-BCE5-4CA1-AFE1-197AB72DB334","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cdda14e949111e604df1519c37b9cea898c862a","datavalue":{"value":"1853128","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854375$9001074B-DD3D-42BE-BEB7-A673AC509B12","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfd2ae52b3325778b0c72742b08c947a3c4a2c65","datavalue":{"value":"decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854375$7456BB3A-172E-4F06-91DA-390EE420FC77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7c4a8e37fec5aea07aa61139ada7babfcdbe852","datavalue":{"value":"propositional modal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854375$FA6CD1CB-D127-4C8F-BB75-CBC427B02CD1","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":"Q1854375$C29B9087-F4CE-4196-8332-4C75238949AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8bc0b9356436e3bc893fede7446d74f2ee4bac67","datavalue":{"value":"https://doi.org/10.1006/inco.1999.2850","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854375$B6413F40-CB76-412C-870E-2AB8B054067E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"612e2790b8c3342126fb3e827b03a513a515f384","datavalue":{"value":"W2021025450","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854375$F1745DFB-B1F6-4491-8098-B1FC9696005C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8fb9366cf73138dfce57da59b48de3e7493c00d","datavalue":{"value":{"entity-type":"item","numeric-id":1353946,"id":"Q1353946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$5554A29D-39A4-4F8F-834C-EFE90E7C8F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62cff4d07ffcb71b5bb9f399ad2347b51931f095","datavalue":{"value":{"entity-type":"item","numeric-id":5621961,"id":"Q5621961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$F273CDA6-8378-4249-B1EF-96CF9008E710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19a13d21f909bc5d01ac054faba1d283210dbc5","datavalue":{"value":{"entity-type":"item","numeric-id":4304496,"id":"Q4304496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$CE475523-36FD-4C1A-9BAB-D9EEC64948CF","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":"Q1854375$1E577375-58BB-43C0-80B7-BCCD98CFBC8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e15ad9c46137b3d63c9c98171e0bb2b809aed0","datavalue":{"value":{"entity-type":"item","numeric-id":1313954,"id":"Q1313954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$9E582DF7-BC69-4FDE-90B8-798E7D1F2E1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$F462F4ED-215C-4E79-90F4-13D3661CCB9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8699f899d3d9ead3546ea31dca3cd85bdb091db7","datavalue":{"value":{"entity-type":"item","numeric-id":5210808,"id":"Q5210808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$462200A5-C2A9-43A2-8A3C-2E057F5FFD9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f23df7f56f01b2df4bfd8ae9a6bfb1bee9fd30e","datavalue":{"value":{"entity-type":"item","numeric-id":4012244,"id":"Q4012244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$A1C7B579-B9D1-4880-BEDA-66CFDF5192DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98e9cad968c84cdbf2d5746b8263eac8534e41f8","datavalue":{"value":{"entity-type":"item","numeric-id":4386960,"id":"Q4386960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$5E8F0EFB-277C-4A27-98C8-639ABA435928","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7b7519aefa4dda7e919ee4a80b4ac0ff9a83e620","datavalue":{"value":{"entity-type":"item","numeric-id":5096299,"id":"Q5096299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$02D789C8-4474-460F-AAD9-66E1575DB28E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"144c5dbf0f002f6663b3a18704ada90d96d5cf46","datavalue":{"value":{"entity-type":"item","numeric-id":1342216,"id":"Q1342216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854375$2723213A-E149-4509-ABF0-41E67294E194","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"72bb49f65ee40b2dac9eca49be758fa8492b55ec","datavalue":{"value":"10.1006/INCO.1999.2850","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854375$823E40FB-8B0C-43A7-9923-0EB970902974","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"961b0f31bd62392ce3a17b7af6f85a3593277879","datavalue":{"value":{"entity-type":"item","numeric-id":4647549,"id":"Q4647549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4517a3fef74002d6836365577a1346ca5063f10","datavalue":{"value":{"amount":"+0.9652405381202698","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":"Q1854375$4B722228-1620-432D-9491-E60E6A4A0B4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e272ad52d0da9b56c44c773fba787faafb475454","datavalue":{"value":{"entity-type":"item","numeric-id":1610668,"id":"Q1610668"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7b4b7134c87fd29f42b37377c80a97c553d260af","datavalue":{"value":{"amount":"+0.8649172186851501","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":"Q1854375$FFA96327-8843-4012-B056-490C4E298C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60e310abea70f73e79039b5e1ede2952ded454c4","datavalue":{"value":{"entity-type":"item","numeric-id":2751043,"id":"Q2751043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0dbcfd21794d712352dde33e2df8c19e1dabf01","datavalue":{"value":{"amount":"+0.8642451167106628","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":"Q1854375$44035BD5-AAE1-40E6-A807-4EB1672DB6E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"020c54d6c6bb01cf77a353201542ebcfc84eabce","datavalue":{"value":{"entity-type":"item","numeric-id":5256336,"id":"Q5256336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d376ef5f157a062a3e62fa70d242f85353d25e","datavalue":{"value":{"amount":"+0.8532070517539978","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":"Q1854375$2E1462C0-69CE-4FF8-A927-FB727B70CEA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18dd60e57dfc1f26dac213ff2121d626f4d8d30f","datavalue":{"value":{"entity-type":"item","numeric-id":4443408,"id":"Q4443408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27dc89e1a344d7f169744a72cfe65c674b6053b8","datavalue":{"value":{"amount":"+0.8481093049049377","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":"Q1854375$34514C13-03D7-4D51-9DCE-525888F9752F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Building decision procedures for modal logics from propositional decision procedures: The case study of modal \\(K(m)\\).","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Building_decision_procedures_for_modal_logics_from_propositional_decision_procedures:_The_case_study_of_modal_%5C(K(m)%5C)."}}}}}