{"entities":{"Q4586217":{"pageid":6615802,"ns":120,"title":"Item:Q4586217","lastrevid":89561183,"modified":"2026-06-04T17:41:00Z","type":"item","id":"Q4586217","labels":{"en":{"language":"en","value":"Definability in the class of all KD45-frames -- computability and complexity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6935713"}},"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":"Q4586217$8F76D2BE-46A4-40CF-8C4C-3310A1D7F5BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e34b9bfa5f4ea875112e1468bdf1047324dd4697","datavalue":{"value":{"text":"Definability in the class of all -frames \u2013 computability and complexity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4586217$D5007227-75B4-4B76-B843-601B5ADF37A6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6eb2a3d500e76d390d538abd01082023f55aff53","datavalue":{"value":"1398.03093","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586217$A51E7FEB-B38D-4FB0-97B0-CB348E5AE979","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d723e23e45cb3629670e0b6b4cc7d1944c4d6f74","datavalue":{"value":"10.1080/11663081.2017.1354498","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586217$699DD74C-12F5-4F08-9A80-468915E304A0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c67b46fa9da9477a99d4e7235559475684fc1843","datavalue":{"value":{"entity-type":"item","numeric-id":3595665,"id":"Q3595665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$322DB252-6A66-43D1-9F1D-F41749EEE14D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$5DAF55DE-91A0-4139-8A43-AA43F21A9615","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"655dac8f5dda40a8d093e159bbdfdcfade2b2927","datavalue":{"value":{"time":"+2018-09-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4586217$1814D2D0-EA16-43D1-BCE0-A65BF5714ED1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586217$63796994-85A4-46E9-AE1E-6366B367C392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586217$24432EC2-D3DE-49EB-AD8E-027492C972E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586217$B7155DE1-5F31-4520-A1C6-E798C3F30533","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"25293a8ed232dad026b4f5f20731bb0920ee49e6","datavalue":{"value":"6935713","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586217$8E186752-2B35-4207-9B0E-BA3CAC479938","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1dda010537b7b36bd45151721146f720815706e","datavalue":{"value":"modal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586217$2CD87A67-1DBD-4A21-ABC5-79339A38B731","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f736d02e86573c887541b685d4ac9ad40d12259b","datavalue":{"value":"first-order definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586217$BFDDADF0-EC41-4AF2-9C36-3A5937181FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70f5b9a72352813886c2d3109abe393975fbf408","datavalue":{"value":"modal definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586217$A97CA3E4-09BB-4ED1-803C-573CAF5B0BDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4586217$5304B211-44B6-491C-AC76-6492BCF3F941","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":"Q4586217$03A598C9-63DA-4771-9248-E043A6528B5E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ce6dff2b5157a7b9f0a36bc8ce08b4d27d855d5d","datavalue":{"value":"https://doi.org/10.1080/11663081.2017.1354498","type":"string"},"datatype":"url"},"type":"statement","id":"Q4586217$DF0620C8-37B5-4C25-A887-7ECEA083D822","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c34889901b8f94dbb3887b56107055bf49353257","datavalue":{"value":"W2738171453","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4586217$8CF1D9B7-81DC-4675-9A99-4A5199319D2E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b362304071be33fd36c76329c45c0c955200dd4a","datavalue":{"value":{"entity-type":"item","numeric-id":3431961,"id":"Q3431961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$45CEE187-F660-470A-A789-BE7628724239","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb011dea49e8a50b803d5add419b48f5d051dbca","datavalue":{"value":{"entity-type":"item","numeric-id":2983400,"id":"Q2983400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$5A0BF97D-F9C4-4BC0-AD8A-C9A7F772D2D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"527743805b0a5e4b0bad88c3d39b8bd63f4da751","datavalue":{"value":{"entity-type":"item","numeric-id":4787880,"id":"Q4787880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$330F2C6B-B512-4B19-878D-A567249274CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adc87194f53a9552766b22cbe3fffae4e25dcae6","datavalue":{"value":{"entity-type":"item","numeric-id":2744124,"id":"Q2744124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$8B6B3D48-9B21-4542-AB2D-7C2E79FD2EDE","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":"Q4586217$75743724-4057-48B1-84F9-7BAF37040061","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f834c77610979cd5da856c65cc21a74c5bb1848e","datavalue":{"value":{"entity-type":"item","numeric-id":1908859,"id":"Q1908859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$91C6001E-F823-46C6-98EB-E4BB126F0DEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76de451e4dcadc3488dd89e8fbdad3660ee9ea61","datavalue":{"value":{"entity-type":"item","numeric-id":3509049,"id":"Q3509049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$A9BE249F-11C8-454D-867F-6025BD31F98E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8323fb531e0e2e7c2417b5923686d60e873f6a0","datavalue":{"value":{"entity-type":"item","numeric-id":5436708,"id":"Q5436708"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$7E35E787-D454-4824-B876-64FDA5ED4B64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbd46e00e025849b54a0892b5e385ef0d563478f","datavalue":{"value":{"entity-type":"item","numeric-id":1393228,"id":"Q1393228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$783CC644-D80E-48FA-ADAE-9BD9D73C5272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d2c32b298b09103f7cc9eabedf752dc67f406d3","datavalue":{"value":{"entity-type":"item","numeric-id":4850061,"id":"Q4850061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$BF6F7D05-C7BE-4A5E-A73F-0898863CF491","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf1aae49eb6b5d7cf3c74c68e06df16ab076f84f","datavalue":{"value":{"entity-type":"item","numeric-id":2753601,"id":"Q2753601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$4E542D25-04E2-4CBF-B3FD-C4688B7022A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e8692698e912424588919ccbdb87259269ae9d2","datavalue":{"value":{"entity-type":"item","numeric-id":1193476,"id":"Q1193476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$85C91B4F-3163-4DE0-9BEE-00F6265D146E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5e68c98acab8a44b19d60726ea8d37c3a5068ee","datavalue":{"value":{"entity-type":"item","numeric-id":2971689,"id":"Q2971689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$716E3984-157A-40A3-8C70-5D25C476B484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"174e3f2701a2bacd196e2d244539c0776079d382","datavalue":{"value":{"entity-type":"item","numeric-id":4858037,"id":"Q4858037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$27B56ABC-FAD8-44CB-B338-F7F728B89518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4265f7d9bf08322ca753ba60b0421a7fd79af8e","datavalue":{"value":{"entity-type":"item","numeric-id":3927209,"id":"Q3927209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$6F36B618-5BFF-4938-8327-F59F519CBDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc609a3fa4e4dfcdb73d9d6f8570a5dc1eb983f7","datavalue":{"value":{"entity-type":"item","numeric-id":3712313,"id":"Q3712313"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$20680519-6530-43EA-9BC3-5450CD247997","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3479b1b8ce1eb8a8699c52a172d26d4d947366b0","datavalue":{"value":{"entity-type":"item","numeric-id":4298260,"id":"Q4298260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$29B2E867-B11F-4C96-BDD6-3A3B1A4E6ACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2fd709fceb1a281d06cb76545caa5d47b309722f","datavalue":{"value":{"entity-type":"item","numeric-id":4081211,"id":"Q4081211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$73D9861E-07DF-4E4E-AF78-EB87192F9D15","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":"Q4586217$61553A1B-6CBC-4D74-A83D-B9615FF5662C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f40bcaa8d311e4db512eab174f3dec9cd00f54c","datavalue":{"value":{"entity-type":"item","numeric-id":5537599,"id":"Q5537599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$6EE803DE-B3C9-463F-8A42-4E9C212A927D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4751cb99cfb27abec44f2378f8165a3a9a6376a","datavalue":{"value":{"entity-type":"item","numeric-id":1236109,"id":"Q1236109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$5D738FB2-3D78-481A-BC34-5ED82BDDB7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8510bf8d385867652fe1ff910f60e49509ddb12","datavalue":{"value":{"entity-type":"item","numeric-id":4342096,"id":"Q4342096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$2D5EFF86-E984-40A3-8C13-B69D529B6FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311016c634a3083228e5a83a69e6ef73a98e8630","datavalue":{"value":{"entity-type":"item","numeric-id":4276179,"id":"Q4276179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4586217$AB27E433-0488-4D26-B2C1-3CD5F55E7602","rank":"normal"}],"P1643":[{"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":"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":"Q4586217$60A4EB25-B718-4AE5-ABCB-FD96C7D13192","rank":"normal"},{"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":"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":"Q4586217$C54D73EB-DAC2-424B-9CE8-46CDF611697B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"761ec275852a84ba06fb42a5bf3d2852d01ec311","datavalue":{"value":{"entity-type":"item","numeric-id":5170729,"id":"Q5170729"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13c9532fe41ff4b21def53cb73bfc65ed7f15a3e","datavalue":{"value":{"amount":"+0.8021624684333801","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":"Q4586217$F0A77A47-709E-4A77-8430-F4B602A6E83D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b005e914d0a2e0c8ad820d5af12a3b7e4edecb37","datavalue":{"value":{"entity-type":"item","numeric-id":5200467,"id":"Q5200467"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cdba76d3c7ca9a3434e755fed6c49046f1c22f8e","datavalue":{"value":{"amount":"+0.7710012793540955","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":"Q4586217$7365F26D-9FF2-4D99-9364-7774D0E4EC9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ca294ce0b7f757f8bd547e7007a86da10d96b3e","datavalue":{"value":{"entity-type":"item","numeric-id":4684354,"id":"Q4684354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f30123d713aa16e55882bfd059cf20077706a387","datavalue":{"value":{"amount":"+0.7658559679985046","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":"Q4586217$A22A4A29-9707-4131-A9A1-483D25F3002C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Definability in the class of all KD45-frames -- computability and complexity","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Definability_in_the_class_of_all_KD45-frames_--_computability_and_complexity"}}}}}