{"entities":{"Q385799":{"pageid":387566,"ns":120,"title":"Item:Q385799","lastrevid":61446324,"modified":"2026-04-10T23:24:55Z","type":"item","id":"Q385799","labels":{"en":{"language":"en","value":"Super/rosy \\(L^k\\)-theories and classes of finite structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6237619"}},"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":"Q385799$AE97ED7E-8B73-4CFB-B1B5-87AF95A4E027","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a76d1be69b6504685e0f6b45ec3b1386f1978ba7","datavalue":{"value":{"text":"Super/rosy \\(L^k\\)-theories and classes of finite structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q385799$6135CFD5-A708-4863-A6F1-7DDC96775B30","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7586552d652a8de9e5fe1436d850f2c2df663175","datavalue":{"value":"1310.03046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385799$1236FA03-A1A2-47EC-94E9-FA9F1B04B8C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"22fda57e4b19c8c1f575e6a79dbcc50970671d11","datavalue":{"value":{"entity-type":"item","numeric-id":306574,"id":"Q306574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$58473517-A227-4809-885E-4D89BC40DDE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$D004CF0B-0343-48E9-A280-CAA17C47F8CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c4fe66de6d3b4034a482fd1741e73509403d666e","datavalue":{"value":{"time":"+2013-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q385799$22686C15-CD15-4A10-9549-124AC77C7F7C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385799$F2B145F1-7488-467C-A8D5-FBAD049FB672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b58df756e27df0e7b4d6d54dbbfd9015b563e63d","datavalue":{"value":"03C13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385799$538E44AD-CB14-472E-8FC8-F20B689BBD9C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6b6adf2be5462c902e97b3195a4f403b223daad3","datavalue":{"value":"6237619","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385799$2A5DB74C-46A2-4DC3-AF69-A6820CE55C20","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b06600d488c53087871260b7bd369c2f7aa158dc","datavalue":{"value":"rosy theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q385799$476F9E96-1111-4374-878D-08FD3F5661F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d62bf018b57c0df328170749a191e0c7d35f2c4","datavalue":{"value":"finite-variable logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q385799$0660E2B6-4302-4574-B360-08144354ECFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fa1f9cffd18fe4bc8fecd35eb209e3dd8c324b86","datavalue":{"value":"finite structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q385799$8A1AF102-20E2-4DC8-AD3F-FAEAB09C92D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"888dc88b9cfe659a584f5f98d91d3f140e2bff77","datavalue":{"value":"amalgamation","type":"string"},"datatype":"string"},"type":"statement","id":"Q385799$41791D0B-A549-41CC-9DBA-BD93E2A918B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ebc69a89acd7640cc7d28155528ccd434a43a0d","datavalue":{"value":"thorn-indpendence","type":"string"},"datatype":"string"},"type":"statement","id":"Q385799$D5C2D62A-B9C8-470E-A9AA-8DED1C44446D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcedfdfff8da6eed78d0ba38f14f58b7275d4d77","datavalue":{"value":"thorn-forking","type":"string"},"datatype":"string"},"type":"statement","id":"Q385799$B682C41D-5516-42D3-9D33-02C00EE4B75D","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":"Q385799$37B505FC-5BAF-4527-8DC9-C4031FD0D10E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"367adc514a0fc7916a8bde99d5c37ae0bf572ce1","datavalue":{"value":"https://doi.org/10.1016/j.apal.2013.04.003","type":"string"},"datatype":"url"},"type":"statement","id":"Q385799$3E5CC66F-438C-49C5-A244-C6BAA8A4B12F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5ff638425a9421bf9c091ea2df5e3bebe1fe2255","datavalue":{"value":"W2025073006","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385799$7E29A0C4-E727-4E80-ACC2-779DCCEA420A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e50f22a422673d39d6b1662c5cdb08746bc7648d","datavalue":{"value":{"entity-type":"item","numeric-id":1892224,"id":"Q1892224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$8753BD8F-5D85-4DD2-A582-9D1A50E0738D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0487db4ebe5ddb1e4d1c98152be23236f5480994","datavalue":{"value":{"entity-type":"item","numeric-id":3583036,"id":"Q3583036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$BFA15D5B-961D-4EF9-B73C-42E8D25013E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4f9e993d33b0cb36447d71853f917da07f9f332","datavalue":{"value":{"entity-type":"item","numeric-id":1407532,"id":"Q1407532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$C2FA5C26-0F95-46EE-A0A3-883FFA655B33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3c2b890256ce7de811963c9d36c9183c0b8f20f","datavalue":{"value":{"entity-type":"item","numeric-id":2747724,"id":"Q2747724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$836DA4C2-B3B7-4181-AA05-36DB428C073E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570dc96f69040a6ccdd58ffb073ce1cb15cde9c4","datavalue":{"value":{"entity-type":"item","numeric-id":3410676,"id":"Q3410676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$5015F831-D9E3-474C-BCB1-FB8D41F8C1CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b4086bed26ece6750ed38cadc6331b8ff12c68e","datavalue":{"value":{"entity-type":"item","numeric-id":5422310,"id":"Q5422310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$2875DB10-5329-48FF-92B4-F4D4B8DF0973","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94628c4cb34d521f0a50864eb259c5fe6da6e938","datavalue":{"value":{"entity-type":"item","numeric-id":2506492,"id":"Q2506492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$BFECA3D2-1F9E-41ED-8B93-79BA2EA55B9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aba04afdccd6b34131a2a52ae1c17a62c25c3af0","datavalue":{"value":{"entity-type":"item","numeric-id":1976880,"id":"Q1976880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$DA21F494-5FD6-4BEC-93C4-3501F58DFBB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3e58bac6208e0b257239f199b4609b34b8219a6","datavalue":{"value":{"entity-type":"item","numeric-id":703864,"id":"Q703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$C095A172-6160-4583-99BD-37EC70A56B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a914d93253bea3f8e31200d83de71bbf90134e18","datavalue":{"value":{"entity-type":"item","numeric-id":3172384,"id":"Q3172384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$04D43BAD-9BD4-432A-A21B-2F5E091B84AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd3599de328ec944d00c9596beb9caeefbe41c0f","datavalue":{"value":{"entity-type":"item","numeric-id":5477621,"id":"Q5477621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$B72612EF-A0A6-4C6C-8251-984EBF141707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3c2b34e461eab810df1a7feeb70aed6de9a712b5","datavalue":{"value":{"entity-type":"item","numeric-id":4332930,"id":"Q4332930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$5351AD07-520B-433D-B6E7-8A62FEC5F921","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f17915b630fcfc2056b24018b0d663ac30250141","datavalue":{"value":{"entity-type":"item","numeric-id":1361251,"id":"Q1361251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$C7F3882F-5FF8-40CD-82C1-D3111A3FF50F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a650084c2b01883133d78255ff6ff7f2916617","datavalue":{"value":{"entity-type":"item","numeric-id":4744254,"id":"Q4744254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$29592F7A-588D-414B-B62B-85C724984AEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb0d74c67dc2a310002c18dbbd07aa3d14ea2edc","datavalue":{"value":{"entity-type":"item","numeric-id":4159083,"id":"Q4159083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$A4E99246-7BFD-4DE1-B12E-4826F961CAF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d61d1baef4674683cb34a9397ac3a549e4f1af2","datavalue":{"value":{"entity-type":"item","numeric-id":4950412,"id":"Q4950412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q385799$9CEFA44E-42ED-4038-B955-49187256FD61","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"61beed2e6e56a4f3b2dd9ebffa7ad41156eb9dd9","datavalue":{"value":"10.1016/J.APAL.2013.04.003","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q385799$2CFD4A0C-6ABD-4888-9768-D519C7649E50","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7618553ad287da1a1e94e06c82697f995e2094ae","datavalue":{"value":{"entity-type":"item","numeric-id":5422310,"id":"Q5422310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e02732f5c057a30125e5d3ada0400d29b60fdea2","datavalue":{"value":{"amount":"+0.7495370507240295","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":"Q385799$27C9733E-9B75-4291-BD6F-4A3A64D27E06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3901a21536d1c9fd6e7fc8dbe74ddb7161d2c6c8","datavalue":{"value":{"entity-type":"item","numeric-id":386624,"id":"Q386624"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d066a56018c87d57913ed60c3e8b58b91d874ad","datavalue":{"value":{"amount":"+0.7487694025039673","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":"Q385799$5F11B2D2-EB38-4360-ACAF-79DAC2819901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd836f440d8166d2eb814afb4b8984cc0a0123c4","datavalue":{"value":{"entity-type":"item","numeric-id":5477621,"id":"Q5477621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5297c9f8ae3306c6fb79695f7ea23bd153e881","datavalue":{"value":{"amount":"+0.7370240092277527","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":"Q385799$378EC42D-239E-4660-BE4E-57FD448300DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c40f432d6b0a3c829b5553752c293ce31c3ca9ff","datavalue":{"value":{"entity-type":"item","numeric-id":3535696,"id":"Q3535696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0b92d9cb2753cad97e892eb34491019f241c171","datavalue":{"value":{"amount":"+0.7125198245048523","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":"Q385799$8F4F3C5A-B76A-4E77-B29B-B759A982089D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f61a702df68e4465e07e84e6727809ec097cea51","datavalue":{"value":{"entity-type":"item","numeric-id":306575,"id":"Q306575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"695318b32e8aac3bc67decd475f68ad13c71f30d","datavalue":{"value":{"amount":"+0.7115322351455688","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":"Q385799$B187CE98-3BB9-43F0-BF9E-27A59FA2078D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Super/rosy \\(L^k\\)-theories and classes of finite structures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Super/rosy_%5C(L%5Ek%5C)-theories_and_classes_of_finite_structures"}}}}}