{"entities":{"Q799666":{"pageid":801514,"ns":120,"title":"Item:Q799666","lastrevid":48744454,"modified":"2026-01-05T18:38:33Z","type":"item","id":"Q799666","labels":{"en":{"language":"en","value":"Logical operations and iterated infinitely deep languages"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3873305"}},"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":"Q799666$C821B5C1-AB97-4865-8675-8414C4119D97","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5e749b0da136b521b6919a6be3366faddff561e1","datavalue":{"value":{"text":"Logical operations and iterated infinitely deep languages","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q799666$1761D7EA-882F-4D99-B9F6-833274EE011D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a7a9c538c7f8b733bc75281739d715d1f2676e73","datavalue":{"value":"0548.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799666$9D6FC26C-D29C-4336-8178-C3793F55B6C0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01c9d2ad80d200ec67f42779b3b655a6b06660af","datavalue":{"value":"10.1007/BF01063843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799666$A9CAAC1A-70E6-4EBE-A527-3B7FB9697D52","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5832f8876614de1887b6fff71a1066143db327e","datavalue":{"value":{"entity-type":"item","numeric-id":786129,"id":"Q786129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799666$15D11FAB-252E-47F2-B646-5A1C74ED9FC4","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":"Q799666$0732CCEB-A71C-4753-AE5C-7C0BC2FA5D6E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q799666$3EBB2613-67A4-4CC4-B0CC-2678DF9FF454","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"dc6d757c9ed772c2efe7d7448a50eaf5a6c5b1e9","datavalue":{"value":"We discuss an abstract notion of a logical operation and corresponding logics. It is shown that if all the logical operations considered are implicitly definable in a logic \\({\\mathcal L}^*\\), then the same holds also for the logic obtained from these operations. As an application we show that certain iterated forms of infinitely deep languages are implicitly definable in game quantifier languages. We consider also relations between structures and show that Karttunen's characterization of elementary equivalence for the ordinary infinitely deep languages can be generalized to hold for the iterated infinitely deep languages.","type":"string"},"datatype":"string"},"type":"statement","id":"Q799666$BADB902A-B292-4A31-A767-D1A630ACCAE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3ade5fcd6cabec4fdda8e76313f50d1161a44465","datavalue":{"value":"03C95","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799666$29FF0D07-095C-4AB1-8C76-79328A4AF1A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799666$46CC7187-D416-4950-8899-FC7BBCE9E289","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0e10ddf0bfc73859a56bc839162b3200ec561865","datavalue":{"value":"3873305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799666$53EF5B6E-9619-47C6-B64C-E792D483597B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af25f5aac3a96bf339f5b20908ca2b5b2ac1777d","datavalue":{"value":"logical operation","type":"string"},"datatype":"string"},"type":"statement","id":"Q799666$CB954EFD-634F-42B2-A9BD-0689E543A34D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c7895de2a4ba63e21cd2cbb4a58f27548e56573b","datavalue":{"value":"game quantifier languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q799666$DF78FC8E-ED1B-4E51-9D06-17D4CB263EFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4eb313d3005a5865e8a1b33f13a1c66f607feb6","datavalue":{"value":"elementary equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q799666$BD350315-66DC-4CBA-B853-3C5993F60264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21cc7bb6ba58d47830d6bcfecb693cc5df57b49c","datavalue":{"value":"iterated infinitely deep languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q799666$5C833172-425F-43C4-A473-66106391CF05","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":"Q799666$841440EF-AE4D-4EF3-A55F-564439DEE412","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799666$E9384A20-FEC2-429A-883F-CA6B8FB78876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4ea4c067afb18f14953d52bee74545fabb1e03","datavalue":{"value":{"entity-type":"item","numeric-id":4106159,"id":"Q4106159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799666$6108755F-224C-4A67-926D-9A025675EAC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e4ea418b33cc043a4b4a3aa22f59d413f2b9a2","datavalue":{"value":{"entity-type":"item","numeric-id":4200047,"id":"Q4200047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799666$70FB828C-A036-4474-9B57-8700F5CBF9D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9ae6f9c4bae423d3121fbd641589330337008fb5","datavalue":{"value":{"entity-type":"item","numeric-id":4115128,"id":"Q4115128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799666$3BB7F0B8-6219-44EC-8596-C81E8DCF631C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00417289212384cad340c9aabb993a564c6e75e","datavalue":{"value":{"entity-type":"item","numeric-id":4186295,"id":"Q4186295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799666$7E0A9E01-BD34-4FF8-895A-192F10B56181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05df44eb2b6eaf7838f4b918bf3552605b309541","datavalue":{"value":{"entity-type":"item","numeric-id":3869332,"id":"Q3869332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799666$A3676CDD-2B59-46E6-B2F3-C1811F8AF270","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2639dae825b8d1d8effa6ab13917597fc307cd3","datavalue":{"value":{"entity-type":"item","numeric-id":3942941,"id":"Q3942941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q799666$0D00792F-86EB-4879-B8BF-E3ECBA0041A4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6ccaa9f5292e473bc195abd138e02672feacaaa","datavalue":{"value":"https://doi.org/10.1007/bf01063843","type":"string"},"datatype":"url"},"type":"statement","id":"Q799666$4AD4F216-2CE7-46EB-A27F-6F64A7E47117","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"da3c40c841b072996b709958faf02a814606fbdd","datavalue":{"value":"W2072023625","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q799666$1BC59402-F92C-4D2D-88F2-A43C6591DB79","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"edbcd4349d24c6c79e5c6fd92252782c4cd5f67f","datavalue":{"value":{"entity-type":"item","numeric-id":3141083,"id":"Q3141083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca8f945c72223dcd4082a839164b69dde5da4142","datavalue":{"value":{"amount":"+0.7408779263496399","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":"Q799666$D82D4D3B-1EBB-40EC-A090-5B0D0305261D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb4cc8f2289db859d0d8855dbf7f281d52e68143","datavalue":{"value":{"entity-type":"item","numeric-id":861521,"id":"Q861521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f43120e4dd9c7d57edd6ee2db36556a9e0b0e30","datavalue":{"value":{"amount":"+0.7397112250328064","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":"Q799666$057FEC6B-EF3C-4C5C-8392-D3EFA41DD5AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"860b1dfc0e250d8b1cb9909300639e9fda3295c4","datavalue":{"value":{"entity-type":"item","numeric-id":1060213,"id":"Q1060213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7131833191920783c246cfff9a960d38d84269fe","datavalue":{"value":{"amount":"+0.7312467694282532","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":"Q799666$35473C4F-C9D6-4E47-A79D-FD59B5C826D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ab682587f386ecf6d5a533e3549ef35b5956d8b","datavalue":{"value":{"entity-type":"item","numeric-id":3684110,"id":"Q3684110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99f783d4ce14f49e10ed732da53847e00fa1046f","datavalue":{"value":{"amount":"+0.721019983291626","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":"Q799666$41964601-371E-4A26-BAE7-3684E4CB78D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"705fd68aa19068b3ee3de2691e2d16f0a78f829c","datavalue":{"value":{"entity-type":"item","numeric-id":3360169,"id":"Q3360169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"730c4694f89a18717153e83c5cdd9f5355369578","datavalue":{"value":{"amount":"+0.7068198323249817","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":"Q799666$F2EFBA5F-1DF8-467C-A0C6-CCD8AF48D232","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:799666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:799666"}}}}}