{"entities":{"Q2983400":{"pageid":2994125,"ns":120,"title":"Item:Q2983400","lastrevid":85729604,"modified":"2026-06-03T11:18:48Z","type":"item","id":"Q2983400","labels":{"en":{"language":"en","value":"Undecidable problems for modal definability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6718441"}},"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":"Q2983400$075EFC39-734B-48D5-B048-81CCDDCC97EB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"08899a1cdeb37991244bf6c46933299925f56bb8","datavalue":{"value":{"text":"Undecidable problems for modal definability: Table 1.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2983400$911DCA64-5EF1-424F-BE92-F31F68B82E4A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"41f57c68d86950910c17d71ef1c3726679f68ef1","datavalue":{"value":"1444.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983400$FBE16A27-384D-4AFE-93C5-87F475AC57EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63dee52c4cdb2debf8acf919407058239105a5f","datavalue":{"value":{"entity-type":"item","numeric-id":301365,"id":"Q301365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983400$6780A8F2-9B68-4D70-901A-5047E16A967C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2491a851057e6ca7600156e437800ff9f139cabd","datavalue":{"value":{"entity-type":"item","numeric-id":604450,"id":"Q604450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983400$FD256C37-F4D4-44A4-9D9C-E3C3C8F05CC0","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"41be8a7ccb30ef6453be136c830247d17a0d171d","datavalue":{"value":{"time":"+2017-05-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2983400$C532C8E9-1821-4E6B-81DD-4289798C49F9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983400$E08648B3-AC5F-4EF9-99B3-C58150FB3A2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983400$BC688917-2B8A-418B-942E-85FD3D434446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a27f9f06d965be24ec50f61065e06d2029a566a7","datavalue":{"value":"03D35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983400$12A5D01C-EA8E-43E8-BE35-562BAB91034C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b74a7d4091de7975107411e86fe6c266f4e4925","datavalue":{"value":"6718441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983400$4EA3D219-8ABA-4584-AA1E-E9D523264218","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983400$2CE600E2-3683-41E8-8010-84469013507B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983400$6B6F3CC0-26D8-47B6-A26D-01162EDF3851","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f5b9a72352813886c2d3109abe393975fbf408","datavalue":{"value":"modal definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983400$18CB77B3-7389-46CA-8619-ACEB5C01B9CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b26be04a2ea1c87bc900025987132223bb252fdb","datavalue":{"value":"Chagrova's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983400$A4C96A21-77A3-41DF-ABAE-16E59ACEC9B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2983400$B87F14D1-C7AD-42F2-A2B1-60C8878C888F","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":"Q2983400$E4F9A74A-82BD-4206-94D5-D695B85B654B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"3e60a75058d76880937580e0414f85cbfdef64f6","datavalue":{"value":"https://doi.org/10.1093/logcom/exv094","type":"string"},"datatype":"url"},"type":"statement","id":"Q2983400$993E0D17-F532-4E51-8299-D9E34409B3FF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d20f2811b7c21d3aaa2fb353a7a47bffb18c0b35","datavalue":{"value":"W2589822456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983400$EBF4A48C-00B0-4422-BB3B-CAA5BE012AB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b6d72f2e80b24c5522b22e6523d4b78b1aa14944","datavalue":{"value":"10.1093/LOGCOM/EXV094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2983400$E1E6C0A0-E72A-4194-9786-8AE51B15C855","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"9e6aedf3faf6964e0bbb1663882629f007284aa9","datavalue":{"value":{"entity-type":"item","numeric-id":2983390,"id":"Q2983390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2983400$B779CD1C-F517-4515-A830-044EE30A3B2A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"687c8a0ea1cf91e7f10fac7fc217b2a4dd1a591f","datavalue":{"value":{"entity-type":"item","numeric-id":1908859,"id":"Q1908859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46738f20f8ecb7056e8ee09ae7d9eae315aa0d53","datavalue":{"value":{"amount":"+0.8603851795196533","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":"Q2983400$B5D57497-EE6F-482D-846E-C742B113A030","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1335a39a203d2f829a1556081582ee45991eddfa","datavalue":{"value":{"entity-type":"item","numeric-id":3509049,"id":"Q3509049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a09331d3956f7fa8317d66e8680df11fc5daea85","datavalue":{"value":{"amount":"+0.8426619172096252","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":"Q2983400$BA7A740D-C132-4B4A-B13D-DDEA237120DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee45634b184c2f38d4fa4f92055319783d975af","datavalue":{"value":{"entity-type":"item","numeric-id":4586217,"id":"Q4586217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1047e94fa872910f8b77849cb019270ee0aafab0","datavalue":{"value":{"amount":"+0.8233196139335632","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":"Q2983400$179D89E8-756B-4F39-95E1-8E60DD0672A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0452109311234cd29251b5a9b7f9c4980bf493bd","datavalue":{"value":{"entity-type":"item","numeric-id":5436708,"id":"Q5436708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19cc99fdffed7480b2034855aee250ed65faee13","datavalue":{"value":{"amount":"+0.7882344722747803","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":"Q2983400$9492F790-80B4-4929-B541-BFB4734C4EB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41815b184538d7c0c6d12b845b8c0e3587da8df3","datavalue":{"value":{"entity-type":"item","numeric-id":3088054,"id":"Q3088054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7677f139b8f0db6b95bab9a37cd998df9bd3820","datavalue":{"value":{"amount":"+0.7857586145401001","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":"Q2983400$DA637E70-C3E8-4B81-B55B-5C925192E38B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidable problems for modal definability","badges":[]}}}}}