{"entities":{"Q1709685":{"pageid":1720426,"ns":120,"title":"Item:Q1709685","lastrevid":72828537,"modified":"2026-04-14T08:06:51Z","type":"item","id":"Q1709685","labels":{"en":{"language":"en","value":"The completeness problem for modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6856635"}},"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":"Q1709685$97AC003C-1882-47EF-8BD0-9A86C287B881","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b36a31b46ebc918a0871fe52197ce2765b42d221","datavalue":{"value":{"text":"The completeness problem for modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1709685$E721B2E8-B0AB-435B-B327-77C932B838AE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a1d65fea0b61a6cdf2bb4ce4aac10c3b020119e","datavalue":{"value":"1443.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709685$E62DAFD6-D211-435C-8ECB-7994105DD221","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cdc4219044def3174930db37756ec3262f5a54b8","datavalue":{"value":"10.1007/978-3-319-72056-2_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709685$0D8EA707-1626-4352-965F-9B7DB47735E1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"11c8411560fc28b1b609a2591d5a543bf011c80b","datavalue":{"value":{"entity-type":"item","numeric-id":1652981,"id":"Q1652981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1709685$CF01DF07-B5D2-4A76-B3DD-769E0F6A284C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"903e104d255c76762b447f9c24b1eed2b1fc2c24","datavalue":{"value":{"time":"+2018-04-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1709685$855F5054-8C1B-4EB0-BEDF-6D15437FA7A9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"411610f5000e980bf776e9fdc8cc400bd32b3f69","datavalue":{"value":"https://arxiv.org/abs/1605.01004","type":"string"},"datatype":"url"},"type":"statement","id":"Q1709685$22E0E1EC-F681-4F7D-BA0E-89C0C8FA6316","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709685$EFF37286-E06B-4FD6-84A1-79655BB50241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709685$2A34581B-873B-4D57-8271-69A25286FA6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709685$EB347771-A6BD-4002-AF41-8F9D4E006E5C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2f8f2d542518a699f8eaef3ca1982531a7e58844","datavalue":{"value":"6856635","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709685$58D1F409-81B4-444B-9082-092CB4A7AA33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709685$262C1C6C-6B8D-4DE5-AB37-5D5C0968298C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6816fdf79dd11ac09d9af4886c02baab03d2cf9","datavalue":{"value":"completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709685$26EF42EA-3239-4B28-A025-109276EC84D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ba0cc3f7aaac8445724ef309c9eecb57f5a563d","datavalue":{"value":"computational complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709685$824AD9A9-1EE5-4177-8B41-2ED6ED3B37C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1709685$341A3283-0462-4464-AFAC-F8F70CD7E7F6","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":"Q1709685$E1E81AD0-8847-41F8-A1B7-C55346BD144F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ff68fa8a0e903043fb34b798d602aa1bd9d9470","datavalue":{"value":"W2963942981","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1709685$363DC38B-D913-459B-AEE8-A96755182302","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f556ceba7f8323c08165da8cdd4f0a442f1ce98c","datavalue":{"value":{"entity-type":"item","numeric-id":4501147,"id":"Q4501147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"621a75a5eb8c6aeecc18119cee7373860a5dbaad","datavalue":{"value":{"amount":"+0.94606084","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709685$FB4378C8-00D6-4EBE-A1A3-CA86A6FE2DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c60e0ea696c6200079d9ec80a0d7f6d3c20d267a","datavalue":{"value":{"entity-type":"item","numeric-id":2956098,"id":"Q2956098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1795059a855fffbe319ece77a30af5a184fb94b5","datavalue":{"value":{"amount":"+0.9354297","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709685$2D7A424C-E098-4F53-8E9C-6293C2A85A92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e670fad4f45ddff8f45ea405512465bd00634da","datavalue":{"value":{"entity-type":"item","numeric-id":1877094,"id":"Q1877094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad89f53d6433b1af88885548ec92a066b2af6190","datavalue":{"value":{"amount":"+0.934299","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709685$024CBAC1-3FAA-4EB8-9C7D-C6B3C6F3B50D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8768990d4b923390bd062bbc2d7212dad9300327","datavalue":{"value":{"entity-type":"item","numeric-id":4661992,"id":"Q4661992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c48dffb36fc94f662e691e652307122e108f3d2","datavalue":{"value":{"amount":"+0.93344176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709685$66725F81-C287-4CE4-9120-F70DCE2877C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"635e74a198d0cbadbba31ccbd28de35f95790c72","datavalue":{"value":{"entity-type":"item","numeric-id":2075284,"id":"Q2075284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1e7c001e5e658e34f86f544b85ab445a2a14b36e","datavalue":{"value":{"amount":"+0.93322176","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709685$8182EA44-ED43-42BD-A967-4DB2209C299F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58a230f0bbce46385ef435a7d5dd7cc009aed961","datavalue":{"value":{"entity-type":"item","numeric-id":3691637,"id":"Q3691637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af50d70aebc315b5aa787d4387f1571391ca0bfe","datavalue":{"value":{"amount":"+0.9322338","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709685$D3F30FD2-5F0B-4CAC-9938-5E3F38915F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a029b91876278cf14be7394fcd63a6ea694d1ca","datavalue":{"value":{"entity-type":"item","numeric-id":6099618,"id":"Q6099618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b50616cb5ce7065b9a375ac667b85b2604b47684","datavalue":{"value":{"amount":"+0.93111414","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709685$F9BB7472-ECBA-407E-8B9E-6BF0560CCEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cad6996a93c6065d1964776adf589e541b0005d1","datavalue":{"value":{"entity-type":"item","numeric-id":3509042,"id":"Q3509042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f4205c266b4367ff9594e8efde9e3646892943e","datavalue":{"value":{"amount":"+0.93019295","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709685$3CF3D501-D5F1-4413-9034-CBF4545D75E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29b793cdfc7e1cec03f9a5b24f79835c2cef1b0c","datavalue":{"value":{"entity-type":"item","numeric-id":3584876,"id":"Q3584876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11dd7d69a26087d7cd28ea471344719de447babf","datavalue":{"value":{"amount":"+0.9297761","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709685$DF2F038B-B9D0-47AA-AF6E-3B84DE8A126B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d586142d9eba98155d656562d6b8eeb8732d42b6","datavalue":{"value":{"entity-type":"item","numeric-id":1826934,"id":"Q1826934"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d111553c58915cf43bbd78caed2a7c44bc428de","datavalue":{"value":{"amount":"+0.92972183","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1709685$B5FE6754-42F5-408B-92A3-235314C14150","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The completeness problem for modal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_completeness_problem_for_modal_logic"}}}}}