{"entities":{"Q1908859":{"pageid":1919601,"ns":120,"title":"Item:Q1908859","lastrevid":69432204,"modified":"2026-04-13T06:57:53Z","type":"item","id":"Q1908859","labels":{"en":{"language":"en","value":"Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 851969"}},"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":"Q1908859$96323E58-F5DA-4C4A-979E-7AF86E4B8A38","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b0f1c1c0dfe2e5c29ed572b3b2fdaa503f691d07","datavalue":{"value":{"text":"Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1908859$8AF3A3FA-64A9-4127-A755-9005FC7C24B9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"910b2f0e2bc3044972c548ba3c3079634f44e493","datavalue":{"value":"0844.03007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908859$44BF6C4C-0B44-458B-A725-FE02A73C8D97","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31b7e12cc7b9b5c96a7bfad608d3439f7601ae8a","datavalue":{"value":"10.1007/BF01057806","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908859$A16326EE-C993-47CB-A006-9ED594B34888","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ed889b222252dbfedb15b33d0c3bd360c9dfd495","datavalue":{"value":{"entity-type":"item","numeric-id":1337511,"id":"Q1337511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$F505D214-614E-4627-8CA3-2BB392CB0667","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9766154da8868329ab713f56377e5e5d3217fc5","datavalue":{"value":{"entity-type":"item","numeric-id":1181480,"id":"Q1181480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$AAC0DC0C-547F-4D81-B39D-0C2251236498","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e34236ca73b92c6ee0bc17431d03c3537a7f0792","datavalue":{"value":{"entity-type":"item","numeric-id":195358,"id":"Q195358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$A1AB0EFA-8C6F-4E52-9534-700A7F93120B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5bfc915913f56bda83b8f5a217ba51a7f0094c41","datavalue":{"value":{"time":"+1996-08-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1908859$F9E8ABC3-C768-443F-8320-5675B166D7C8","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"cc5b5c7ec329d32de25faf71847f7be2d7efb1dc","datavalue":{"value":"It is proved that no algorithm is capable of deciding whether an arbitrary given modal formula is (globally or locally) first-order definable on the class of finite frames. It is also shown that the (local as well as global) semantical consequence relation on finite frames is undecidable too.","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908859$A6760980-C34E-43EA-82BC-B3DE8FF06685","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908859$E09AD93D-32CE-4D9D-B30B-6D8B96B50BEB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"985696ad31c3e167c19c6cbed5ec9991e9ef12e2","datavalue":{"value":"851969","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1908859$F02F320D-597E-4CC2-BE72-D6114E9E7C8F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908859$A336FBDF-91D7-44B4-AAE6-5F801C3B0330","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a813fd0e4aef1fda5e8e7d4b77b02104337d96e6","datavalue":{"value":"undecidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908859$836A41D6-21D1-4CC6-B9D3-ADB292A7BEED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f2713ede852356bf1545d89ac52ee0ae6e9caa4","datavalue":{"value":"finite frames","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908859$C2EA3D16-5F52-4DBE-A35D-8BC79E16FF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0abee90446729156eee547feaae811bdc6ae1309","datavalue":{"value":"semantical consequence","type":"string"},"datatype":"string"},"type":"statement","id":"Q1908859$16EAB518-13E6-43F1-9E41-5823B9B75083","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"603f9ee8942cd3c164aaecde91e2743415201170","datavalue":{"value":{"entity-type":"item","numeric-id":1181481,"id":"Q1181481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$F7274C9B-8B26-4D7B-B78B-55C8652219C7","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":"Q1908859$0D1E3254-0C24-466F-8820-EA07EE59FDAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f8cc16e281ce4159d16a36a879ae497debfa582","datavalue":{"value":{"entity-type":"item","numeric-id":3781066,"id":"Q3781066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$83471E22-168C-4F15-B705-44234051E72C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"729c2ec17fa9f49c7528dd87082ebda380ea7ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1119622,"id":"Q1119622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$AEBED131-3AE6-4018-B4CD-B58E2BFBF9C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b00b5d333d7b3113d197f0e9b1c66fcdf5582e","datavalue":{"value":{"entity-type":"item","numeric-id":805607,"id":"Q805607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$3F2ED45D-247F-4CEB-8C8D-8690EFD7C92A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"588537aaa1a7cffa5feee1c6395d04946bc49ba8","datavalue":{"value":{"entity-type":"item","numeric-id":757339,"id":"Q757339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$22F5274B-79BB-409C-9BDE-EA14F82440A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16f3b899aaf802e75d09cb6e9d44c6c7a4e056cc","datavalue":{"value":{"entity-type":"item","numeric-id":4276033,"id":"Q4276033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$DEFED360-2D3D-41A6-9B4F-D4B57B2A25B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eac50fc561b33a34acc066243ca0f2a392895e0a","datavalue":{"value":{"entity-type":"item","numeric-id":3984404,"id":"Q3984404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$B4251847-3723-494A-8CA8-A04145923622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$80CF1CF3-DB8B-4E96-A315-3826CA7B81AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e89b483200a7d036cee9a4183206659625b1cbda","datavalue":{"value":{"entity-type":"item","numeric-id":4068700,"id":"Q4068700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$64536437-A99C-41BC-BC12-C559900F139A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ebbd9d381e447bcccdb18b95a6c975407a91cadd","datavalue":{"value":{"entity-type":"item","numeric-id":4172036,"id":"Q4172036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1908859$9835177D-AB89-4CF9-9A1F-8A6A91AC611C","rank":"normal"}],"P1643":[{"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":"864667e83cb155bc806c12aa119d96f7761f3cdf","datavalue":{"value":{"amount":"+0.864486575126648","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":"Q1908859$5541930B-D02D-4FE7-9694-5F4B9912C882","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"00564346ac40c200b8164eb264a1493be2a4a5ce","datavalue":{"value":{"entity-type":"item","numeric-id":2983400,"id":"Q2983400"},"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":"Q1908859$4F4BF7D9-C319-40FE-860F-9425094E5B67","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":"e504e47cc7d9449cfc04b4f21250a2a6ca4e4e8b","datavalue":{"value":{"amount":"+0.8470491170883179","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":"Q1908859$7C44E5E0-55B7-4960-92AD-4CEF7A5F87C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f520fc8bc53df5ce4ecd3af41dfec2bcb08404b","datavalue":{"value":{"entity-type":"item","numeric-id":5692444,"id":"Q5692444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"212b433ea248727384123b639142f35a1ba6785d","datavalue":{"value":{"amount":"+0.8308133482933044","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":"Q1908859$77B5C2D7-FB93-4AEA-A906-560648474E30","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":"4d442ff06a380735b6784bbd70edeedb782e7b96","datavalue":{"value":{"amount":"+0.8180466890335083","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":"Q1908859$F92DADF4-DF0D-45E2-B3C8-8853EB1D40D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic problems concerning first-order definability of modal formulas on the class of all finite frames","badges":[]}}}}}