{"entities":{"Q2758067":{"pageid":2768806,"ns":120,"title":"Item:Q2758067","lastrevid":83135132,"modified":"2026-05-07T06:15:52Z","type":"item","id":"Q2758067","labels":{"en":{"language":"en","value":"Decidable fragments of first-order modal logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1679340"}},"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":"Q2758067$53DF1CE5-6DF6-4B41-897F-8C68CCC3B798","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b157c0404a7070ec9ca823bfda667eb74f2d3977","datavalue":{"value":{"text":"Decidable fragments of first-order modal logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2758067$0A13C216-A3CA-4290-AD59-1AF87EDFF681","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c60666ca09b1f963957445ee7c212136d6537c4d","datavalue":{"value":"0996.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758067$FD236E60-A0DF-41D2-A5F9-4151A4394299","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cbf1c51d4c91f7d3707204cfb72a9a4d71848925","datavalue":{"value":"10.2307/2695115","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758067$9A61C20F-CD57-4C92-9F73-7D32956F2889","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76722ee993ef1bba5eff4ce8b9dbe5e1d07862be","datavalue":{"value":{"entity-type":"item","numeric-id":239516,"id":"Q239516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$B11B74A8-E90A-4EDB-BEDA-BFCFC68DA9EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6a400f63fb65fdbb9cd5ac7576d054d4b1a7834c","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$136C0A7F-5EE7-4A5A-A98A-50A3DE2689F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c08f14a616a88a4c5909efb80b5d497ec301efdd","datavalue":{"value":{"time":"+2002-03-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2758067$9E480446-74CD-43E2-B010-A5F434FD07AF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad68c756ac71c41d555602aa51809d71884f4eb9","datavalue":{"value":"http://citeseerx.ist.psu.edu/viewdoc/summary?doi=10.1.1.33.1752","type":"string"},"datatype":"url"},"type":"statement","id":"Q2758067$B9C83871-1D8F-4DA0-A50E-3739D8D3AC2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758067$A53538E2-51F1-4468-A628-04C781BB98B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758067$046AD4DC-4ED3-4E12-93F2-D7B41DF05C5F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ce7ad53471166f2fe9040fa4aba56b9372887126","datavalue":{"value":"1679340","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758067$58AD3FFB-40E1-4F61-880F-8C2CD0DEE3DD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"229d67327ec2ac43eb2a02649c93ff9dfd05a4db","datavalue":{"value":"first-order modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758067$2585FE74-40E8-4E1E-9A16-B3BB92B12073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2758067$335FAF28-F4A8-4E3A-9091-B6DE10BE3DE7","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":"Q2758067$FE971985-0BF3-4FC1-9087-A92F18B940BE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"abbec8634c99cda9219dbc0f85119741764c8eb3","datavalue":{"value":"W2138126349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2758067$6E500522-C31E-439E-91E4-2CC73EDB6421","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f72c6e6f4ce6722d395e819cddc203e8d1adeec","datavalue":{"value":{"entity-type":"item","numeric-id":3128959,"id":"Q3128959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$00C61CFA-10AA-4034-879E-49D464B0E83B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$5EDB162A-8EDF-4FC5-8352-D131B1FE2095","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570f9bb6e8727d3e369d07dcbff78755f5d7d468","datavalue":{"value":{"entity-type":"item","numeric-id":4868227,"id":"Q4868227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$71267CDB-41CE-488B-AC3A-E9148A6A0C1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd51f1c6280ee563c7d7711ba8b53a0f27185742","datavalue":{"value":{"entity-type":"item","numeric-id":749235,"id":"Q749235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$788679D2-C5ED-435A-9113-582D3B6688A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a49b20b1506647b1c87e6ed6310fb943dc6407f8","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$26C52DF6-6850-44BB-A478-AF29CB05FB1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"edf96fd313efea8fcdd4baf3f82e7012dac99f22","datavalue":{"value":{"entity-type":"item","numeric-id":4110975,"id":"Q4110975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$9E012E35-DD08-4D4E-A39B-A9C38F2229EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1b075c925610a1136f6897af3c23ae2fda0cd16","datavalue":{"value":{"entity-type":"item","numeric-id":4242586,"id":"Q4242586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$584E2363-53C6-4E6A-AA44-689FFE5C81EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68beb758483bc11fdcbf81a9d0b08ca173df35df","datavalue":{"value":{"entity-type":"item","numeric-id":3848194,"id":"Q3848194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$3C9365A9-5301-45EB-9F90-14F8C07CF9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$BA7A8B3A-5DEC-407E-A6E7-3174530892C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f144c40fe3a1847d11917e0d6609f6f9818cf1d8","datavalue":{"value":{"entity-type":"item","numeric-id":583187,"id":"Q583187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$FD840FE2-8613-4331-85A7-2AA9F1029743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c81c210aa51b53d004ca3564c20b46519be31e0","datavalue":{"value":{"entity-type":"item","numeric-id":4948538,"id":"Q4948538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$0ECEFC56-DFD1-4EC6-A3A1-B9670DD6CF06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"579023570065d038507c5e845b3bfb596f30e954","datavalue":{"value":{"entity-type":"item","numeric-id":4753173,"id":"Q4753173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$CC2F8149-AB33-42FE-BDDB-1DECA024C4D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b45af815584b281446704023f9f4c0865a4d4836","datavalue":{"value":{"entity-type":"item","numeric-id":4380448,"id":"Q4380448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$DB7B0EC4-9FF0-4B92-B4A2-E4FB411635CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"772b2382f4add161c3830c55f431a966343e4cfc","datavalue":{"value":{"entity-type":"item","numeric-id":3122692,"id":"Q3122692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$E6E5D5BD-60E0-441B-B523-959619C86D44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90947c7ce47766a127d7aac2ad60fe05870443e6","datavalue":{"value":{"entity-type":"item","numeric-id":1249166,"id":"Q1249166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$2CECDE90-730B-4CDE-986D-316053EDD736","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cd9ebe56ec423ec5335930a0b1a45ca7ae3b5c0f","datavalue":{"value":{"entity-type":"item","numeric-id":6768298,"id":"Q6768298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2758067$31E9661A-1C83-4429-B9B0-B09D31E09017","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3541bdc54273d257e700ed4d7d4954bcdc84cd3","datavalue":{"value":{"entity-type":"item","numeric-id":4860647,"id":"Q4860647"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4668b1ec84ea689d38c74e37d5684141521bcd0","datavalue":{"value":{"amount":"+0.7988543510437012","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":"Q2758067$DE294579-7F6F-4B89-8917-003959645619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b1e986817c9395337ea09381cad7944d529303a","datavalue":{"value":{"entity-type":"item","numeric-id":4250042,"id":"Q4250042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abc93ed2b303078ceb27357be72ca282ba15b68","datavalue":{"value":{"amount":"+0.7890175580978394","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":"Q2758067$C8E566DF-EC0B-42BF-BB16-8393E56C024C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e25039c55287227dc2573012f2691c42453ac433","datavalue":{"value":{"entity-type":"item","numeric-id":4215599,"id":"Q4215599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6abc93ed2b303078ceb27357be72ca282ba15b68","datavalue":{"value":{"amount":"+0.7890175580978394","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":"Q2758067$8286B7AE-62EC-4CAE-A144-26802FB8BFA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14831d2027db8a13d78a2961dc6bb1f3a733e9eb","datavalue":{"value":{"entity-type":"item","numeric-id":1267082,"id":"Q1267082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3db162c61bd5f15fe6089bbbd530ba1865cc86c","datavalue":{"value":{"amount":"+0.7867613434791565","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":"Q2758067$9AC7DCA4-73E2-4793-AC5C-0700C26F4F02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63f79898ee459935eba972eed08296ee37c90f89","datavalue":{"value":{"entity-type":"item","numeric-id":5277903,"id":"Q5277903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d2a33f89383b9db1a612512389dc490b89342ef","datavalue":{"value":{"amount":"+0.7853547930717468","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":"Q2758067$FEB746D6-629C-480F-82AE-C2BC41BC57EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Decidable fragments of first-order modal logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Decidable_fragments_of_first-order_modal_logics"}}}}}