{"entities":{"Q4566145":{"pageid":6595734,"ns":120,"title":"Item:Q4566145","lastrevid":89777966,"modified":"2026-06-04T18:14:30Z","type":"item","id":"Q4566145","labels":{"en":{"language":"en","value":"Undecidability of modal logics of unary predicate"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6889598"}},"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":"Q4566145$495C6FCF-22D6-4304-AABE-34914AB7226E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c85007e54bd844307340211d785c169be5447d31","datavalue":{"value":{"text":"\u041d\u0435\u0440\u0430\u0437\u0440\u0435\u0448\u0438\u043c\u043e\u0441\u0442\u044c \u043c\u043e\u0434\u0430\u043b\u044c\u043d\u044b\u0445 \u043b\u043e\u0433\u0438\u043a \u043e\u0434\u043d\u043e\u043c\u0435\u0441\u0442\u043d\u043e\u0433\u043e \u043f\u0440\u0435\u0434\u0438\u043a\u0430\u0442\u0430","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4566145$3DD9AAEC-8317-4087-A327-48CF919464F2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"415a174435af7f441ee051611a19a3db38fd33fc","datavalue":{"value":"1420.03040","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4566145$75368A6F-D11B-435C-ABEF-048F970B0E08","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0b6501c06cbb28679b865955c262ad331c6d11f1","datavalue":{"value":"10.21146/2074-1472-2017-23-2-60-75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4566145$B3738487-A66D-46C1-B240-089E1810FDC3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"30feb3836a21b69361e192b6f271605be3d90179","datavalue":{"value":{"entity-type":"item","numeric-id":1623148,"id":"Q1623148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4566145$24714EB3-1DBD-4CAD-8492-ABCED7F142CE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"419a39ba736b850fef44044ed2847be5eb6b6cc4","datavalue":{"value":{"entity-type":"item","numeric-id":2981227,"id":"Q2981227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4566145$24898EA5-1A62-4B28-B140-32D38C397D81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8b559bb800700d5ba2a45f57085de6ba33131f78","datavalue":{"value":{"time":"+2018-06-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":"Q4566145$E6A17C94-AF0D-488D-BC85-36BF76943709","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4566145$AE2E46BC-B1B0-4BFE-9839-05C2323BF4BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4566145$5049FFE4-FC6F-4ADD-B7D8-8F2AD6EBBCC9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55c529a403c395494af0b8c20040351e2a872089","datavalue":{"value":"6889598","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4566145$CCB77F85-3E31-4CD0-B8D5-955B68443BDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4566145$F397A034-DB3D-4E83-A63A-AF9A466DB617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4566145$509DBEE8-AA2C-472B-87C0-7B3F1CCF6C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4566145$5D3FA2CE-616A-417A-BA23-CE0E6399CEE0","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":"Q4566145$B45C5BDF-CBA4-4355-B39C-294C5598DAB1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"56e33e8853930a223766465d600cc6e2d61f60e9","datavalue":{"value":"https://doi.org/10.21146/2074-1472-2017-23-2-60-75","type":"string"},"datatype":"url"},"type":"statement","id":"Q4566145$1E27E010-0499-4145-AA5F-E80773D58235","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c9331f5a6b184035c6bb15c43ff1d0f212bb2098","datavalue":{"value":"W2950126052","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4566145$125C598F-AC36-4DDA-8A28-D1B0B95D2FA4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeb158dd7973414d14e61278870445c0f264b0c2","datavalue":{"value":{"entity-type":"item","numeric-id":4276022,"id":"Q4276022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5750f2b758019efc6a436c935ce86aeb5ffac896","datavalue":{"value":{"amount":"+0.8196344375610352","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":"Q4566145$49D68465-C2B9-4033-B3F0-755932705380","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7df027df34ee8a2e80a6642b4e10220217250986","datavalue":{"value":{"entity-type":"item","numeric-id":4440792,"id":"Q4440792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9d93f86c59d9cd24f7a793dde068663c155ef57","datavalue":{"value":{"amount":"+0.8176426291465759","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":"Q4566145$57FFDA96-5838-4D02-9B7E-68BAB58FF6AD","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":"2af9132f605a24402eef199b226a9d63ffc87d48","datavalue":{"value":{"amount":"+0.8084505200386047","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":"Q4566145$C742BED3-155B-4873-9EE0-D9E3ED518584","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1baf0e8b09720f765e34340f8ed24c658f1f3acf","datavalue":{"value":{"entity-type":"item","numeric-id":3370616,"id":"Q3370616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a0d97468187311510a0f37e1a5b8cd5aa107dc0","datavalue":{"value":{"amount":"+0.7916478514671326","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":"Q4566145$0DD89FD4-1EAC-4A60-923A-A195ECAA6D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77481dc0e163751b459dcc60095d3bf3418a30b8","datavalue":{"value":{"entity-type":"item","numeric-id":1909606,"id":"Q1909606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98abdb677159785780d17eb6c57853d9002f513e","datavalue":{"value":{"amount":"+0.791364312171936","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":"Q4566145$3B3F3929-EE28-44B9-BA6A-F2A7093ACFFC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Undecidability of modal logics of unary predicate","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Undecidability_of_modal_logics_of_unary_predicate"}}}}}