{"entities":{"Q3718681":{"pageid":5748587,"ns":120,"title":"Item:Q3718681","lastrevid":50655581,"modified":"2026-01-14T17:09:35Z","type":"item","id":"Q3718681","labels":{"en":{"language":"en","value":"An incomplete decidable modal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3948226"}},"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":"Q3718681$5F5002C9-8FAA-4A25-B1DF-8D120622DC44","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f33d6af99ea4aa8ef432c7f78c1b410d03c5aa4c","datavalue":{"value":{"text":"An incomplete decidable modal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3718681$E27A4B8D-3C1B-4B11-9D1C-8C4E649759E2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d2b786049a14fd1bf73503a9f256c380dd1134a5","datavalue":{"value":"0591.03006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718681$89085822-2AE7-4DF8-B536-8840FCD6C36F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0dd1a928a6030cf7ff7598afa5bcb59292135049","datavalue":{"value":"10.2307/2274183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718681$DF82A8CE-DC5C-46DD-8515-FFBA4AC48D26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa282e821b812e4d17511e7ea2ea3bb995433a21","datavalue":{"value":{"entity-type":"item","numeric-id":516413,"id":"Q516413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718681$A64E3960-7502-47F3-BE91-98B265ECE71C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6218d42f0175ef35f91c4900eb5db86484a9463d","datavalue":{"value":{"entity-type":"item","numeric-id":2710590,"id":"Q2710590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718681$109F565A-3792-4A56-AD31-C3344D3B9ED0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ee0f220147ae8bc749a64db56839865dbc4f127","datavalue":{"value":{"time":"+1984-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3718681$FB1313C9-A4C4-46AC-A8CE-87B2FE6B9531","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718681$ED681C13-DF73-41EB-BCA3-CFB2598698C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718681$2B60C9ED-DAFF-42C9-9A5A-FB91971BD663","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2c758b71f06b281e3cae1e783c470be44c863f33","datavalue":{"value":"3948226","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718681$54BF0759-8D15-4D02-AB00-2C1F1BD9E51E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c2ac2883b93bc6d38f9b54353e42de243081356","datavalue":{"value":"propositional modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718681$7EDC32FA-BF82-452F-93E6-18E884CFF87B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"096c574d2506f4e5978090a7389ea8ee40a8baca","datavalue":{"value":"incomplete modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718681$32C3A093-DFD5-433A-BD8E-0C837B510F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c96c670cb5bb3f93d571a5f56f1e88c84388368c","datavalue":{"value":"validity problem","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718681$AAA694BC-74A9-4117-B36F-6CE176096F04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e4ce748dee65327450207dc74fbd72ab3c737af","datavalue":{"value":"Rabin's second-order theory of two successor functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718681$1194231A-6C50-4EC0-8AD6-8A838EA3DAF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c9f263efca6f2b9c9dd11d28bf51589a8c81dbd5","datavalue":{"value":"finite axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q3718681$0D270BF4-6376-4FFA-9D97-88AD759B741B","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":"Q3718681$0EEAF8CE-E425-4E8A-B272-36F99CA31D7E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dc31f9f8c28428c395e34a322b718637261f025b","datavalue":{"value":"https://doi.org/10.2307/2274183","type":"string"},"datatype":"url"},"type":"statement","id":"Q3718681$640B40E3-7241-42DA-878E-6CFF47EE83C9","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"40e9fca2953ce50ba16ca5b945a0fda25a677f49","datavalue":{"value":"W2054793991","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3718681$73C82885-BD80-4DEB-8599-6827CE27891C","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"61b82f9b29fdf1d516bb2cc7fb83ab9fb762475b","datavalue":{"value":{"entity-type":"item","numeric-id":1245214,"id":"Q1245214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718681$EFEE5F66-289B-4DDD-9EA7-12236E791116","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a8a5b2b7a4c59f90e7b48dd811b8f4de9cc5390","datavalue":{"value":{"entity-type":"item","numeric-id":4773679,"id":"Q4773679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718681$15A4FF1B-4C41-4486-9AEE-2FE6A8C00090","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48e510c2576a7fa7c6774930adc1ac0cd05e0cbd","datavalue":{"value":{"entity-type":"item","numeric-id":4773680,"id":"Q4773680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718681$A1D01579-D6B2-4DA3-902C-E8A95D51467E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e7deb7cbb7cd9c19da86f917c77d45ea86fa652","datavalue":{"value":{"entity-type":"item","numeric-id":4068699,"id":"Q4068699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718681$9A6306D9-36F0-437E-BB35-6153E21ED941","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e17da60b7f6b4e22bbe7045d12697c8bb0702b06","datavalue":{"value":{"entity-type":"item","numeric-id":5604443,"id":"Q5604443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3718681$9F318380-BBD8-4233-A7E2-61DC5E11AD9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5abd5760cc2f4c6046a9826b2e7520edcd74361","datavalue":{"value":{"entity-type":"item","numeric-id":3509056,"id":"Q3509056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13f7b95a95a7481cd2e3d76c1b089d6139e3e055","datavalue":{"value":{"amount":"+0.9489484","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":"Q3718681$A03AEF8B-C354-4D2D-BF26-D6FAFA06FAF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e1b3582ee0e78a27d6b75a3b8c66c636310addce","datavalue":{"value":{"entity-type":"item","numeric-id":1976399,"id":"Q1976399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"53505812503ff8b81f7c64c64621cbc416de0914","datavalue":{"value":{"amount":"+0.9442386","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":"Q3718681$F31CE0A8-3C9A-40F5-A642-D432C0B68CF7","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":"307da5a5ba536d2464acc990516a8cd012785cbd","datavalue":{"value":{"amount":"+0.9432245","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":"Q3718681$26E51EDB-FD10-46D0-8BE2-1E447432B28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"742793c0c0680243556b20a84b177d1654bf22b6","datavalue":{"value":{"entity-type":"item","numeric-id":1073780,"id":"Q1073780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5e8afe0091a155ba9d229199fd3631eb0aced9e","datavalue":{"value":{"amount":"+0.94202906","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":"Q3718681$8299A5E8-3784-47D9-9AF4-B39ABA4C6C41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c6df409f01aabcef2a75ff642540b8e435089d","datavalue":{"value":{"entity-type":"item","numeric-id":2735848,"id":"Q2735848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a72e35db528ec31b11e92980729fd2b9192697d","datavalue":{"value":{"amount":"+0.9369935","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":"Q3718681$E824B5FD-6D88-4088-AC6B-3E92FCC97198","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438f73a434dbf1f324dec0aeccc9df05cd1548e0","datavalue":{"value":{"entity-type":"item","numeric-id":3793781,"id":"Q3793781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"305e5191cad79ba38d6c46e890c674bcdf99c58f","datavalue":{"value":{"amount":"+0.9276659","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":"Q3718681$3544D8B2-0780-49BF-9CAC-4B8FEF9EFF42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3a07c9712f59fa6d965aeb3d830723db6ecacc63","datavalue":{"value":{"entity-type":"item","numeric-id":1873248,"id":"Q1873248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7f7031074ef2e18fbcd3b10ef820fe352ff3bbf","datavalue":{"value":{"amount":"+0.923749","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":"Q3718681$00994699-D9A5-4D21-BD89-F08043725141","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ad0825deab8d47566ca914b391681f4bd5b08c56","datavalue":{"value":{"entity-type":"item","numeric-id":2956244,"id":"Q2956244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"398752c9f8c3708fae80cf69482577721e454d6f","datavalue":{"value":{"amount":"+0.9207262","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":"Q3718681$AB05F505-EC74-4E3A-BAB1-DBA3B7CDE503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a65dba3d324fd296089ad0561845cdead9cafce","datavalue":{"value":{"entity-type":"item","numeric-id":1709685,"id":"Q1709685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7052dcc02d6331fd0f9ca7e121b86f1e33fea2ba","datavalue":{"value":{"amount":"+0.91710824","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":"Q3718681$BBF53C28-B566-4014-98D0-0079DFE8816D","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":"b1b1c6abf738ed30df9139aafdb96351e4b40357","datavalue":{"value":{"amount":"+0.9153538","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":"Q3718681$48AE9F08-027C-4680-BA01-ED50A84FE7AE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3718681","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3718681"}}}}}