{"entities":{"Q3224003":{"pageid":3234711,"ns":120,"title":"Item:Q3224003","lastrevid":51432599,"modified":"2026-01-18T05:21:44Z","type":"item","id":"Q3224003","labels":{"en":{"language":"en","value":"\\(\\mathrm{SO}^F\\): a semantic restriction over second-order logic and its polynomial-time hierarchy"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013580"}},"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":"Q3224003$6F6D4D5E-D4CB-4980-8F3B-B52844C5BDC0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"53ced618eec8649b072adabe9080dd934757394a","datavalue":{"value":{"text":"SO F : A Semantic Restriction over Second-Order Logic and Its Polynomial-Time Hierarchy","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3224003$56ADE850-0116-45B1-83FC-6C21FCF45270","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"98e5498a77524d230d321808c9a2a75daa288230","datavalue":{"value":"1312.68094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224003$A51869E5-CB0B-4911-A760-0098AC7ABD0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"491938a17fac4eb3a5b8627a621fc2613ce7a629","datavalue":{"value":"10.1007/978-3-642-28279-9_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224003$E1DDC813-0EF5-4E61-94B6-EC97A7D7745C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd2f36aed3feb8a1267c72c5ee6cd3d734460033","datavalue":{"value":{"entity-type":"item","numeric-id":3224002,"id":"Q3224002"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$F05DB169-16BB-4E2D-976B-35BB10450590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5789e6ec676f3de7c8b9169157272f27d94414db","datavalue":{"value":{"entity-type":"item","numeric-id":186060,"id":"Q186060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$F81D5D97-7C89-4804-907B-E02C179AFB9C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e9d676e6d6520ddf86da4c0e0f7c4f19d2fbf3b","datavalue":{"value":{"entity-type":"item","numeric-id":3223992,"id":"Q3223992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$FADECAB5-DE1B-4B8C-A303-697EB88C4206","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3224003$B62F0BB0-6D2F-4E91-AF0C-6BA529B81496","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8b0f166240d9dc937c89dbc2241079deae14191f","datavalue":{"value":"68Q19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224003$9D788F78-8B90-4497-BDBE-5DBF954952E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224003$BF22FBE4-9637-4DBC-A932-320B95F26C0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a7dde57cbaf704d564d8f981ca98d6340e3d4aaf","datavalue":{"value":"68Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224003$A48984E8-1060-4519-9ACD-8D312E895307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224003$3C3BADD6-AEDA-4D93-ACF0-276C56609956","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"116a8b64ee66aa4b602c6d7b951bba6bd2af94a1","datavalue":{"value":"6013580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224003$BBF8DEDC-00B4-4EBC-867B-764A7CCBF9F9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0421a88d9599388a9af4b0e2102ab403f6c36e7f","datavalue":{"value":"finite model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224003$39B1F0ED-38B9-4551-B9EA-6172133BB075","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"420132b0a86bb9bedd0eeeab0b7b74055a6e96fb","datavalue":{"value":"descriptive complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224003$8020CB20-F2B3-4407-8522-18361A935334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a9f4c07ec0550d9ca6f55cb8f6abf47620734fc","datavalue":{"value":"relational machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q3224003$0EC27328-F18E-427D-B077-542A3CF1C995","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":"Q3224003$14E6CA0E-E8F4-43F3-AE9D-4EA1F0E74316","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"238e964e0415dd1259d1fce332c0eb508cb8db3d","datavalue":{"value":"https://doi.org/10.1007/978-3-642-28279-9_10","type":"string"},"datatype":"url"},"type":"statement","id":"Q3224003$4FCE77C1-1DD4-470D-A711-BDFE4AE1671D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5380e83806c81d4bc2d6a8009653f77cfaa05cbd","datavalue":{"value":"W168249864","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3224003$3AD4A652-A8FB-4486-8052-65C5252B666E","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b061c74acfe7ed299eeb2c95c750dc4bed6741a4","datavalue":{"value":{"entity-type":"item","numeric-id":1176285,"id":"Q1176285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$20EFD10F-72BC-4AC2-A999-25850995870F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d7e6768b22bc08e9e065fa04ec4a9f1dc4b3ccf","datavalue":{"value":{"entity-type":"item","numeric-id":1271559,"id":"Q1271559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$EF6883CA-1793-42AB-8A82-CF9D4ED141FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbbb66be219bb570b75137d9e23d2dfd1757911b","datavalue":{"value":{"entity-type":"item","numeric-id":3075228,"id":"Q3075228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$55734577-F50C-4CDB-8DD7-91E8DFE7FF63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30340f8251a7143091e0fd064c065a43f5cb9ed8","datavalue":{"value":{"entity-type":"item","numeric-id":5504578,"id":"Q5504578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$A20C01EB-5376-4E46-BF1B-CDEDE274EB23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ef49b996821a97bcaa60973838534abd2900e8","datavalue":{"value":{"entity-type":"item","numeric-id":4894726,"id":"Q4894726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$32707042-E0B3-49F1-89D6-C3E460BEDF56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a675fab4321817783597d6a1b8160efcb24c4ec","datavalue":{"value":{"entity-type":"item","numeric-id":3753525,"id":"Q3753525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$44B58A76-B89A-491C-BA19-6C108B570ACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fca97034e9eff6920b06a8f9cb612fa5d8889f95","datavalue":{"value":{"entity-type":"item","numeric-id":3974868,"id":"Q3974868"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$46211B1C-2CEC-442A-BCCF-B2F49D8B3403","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e92fa251a9028512ca3077887c6a4b6f77d124d0","datavalue":{"value":{"entity-type":"item","numeric-id":4247261,"id":"Q4247261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$137C411E-679E-4E54-8B18-4B0FA698C798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"666440284a477c836e1dc9673229eb9c31b3c47a","datavalue":{"value":{"entity-type":"item","numeric-id":1193591,"id":"Q1193591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$50016AB5-A992-4884-8385-1029DF7907FC","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":"Q3224003$74558ED5-CD16-4B99-8CD5-3469D9AD9DA5","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":"Q3224003$EAF226DE-637E-4DA2-9FEA-067F114BF61A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f8d7dbd84603c3c9326de1b77dd53016e6547a7","datavalue":{"value":{"entity-type":"item","numeric-id":2349826,"id":"Q2349826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3224003$4D7B9BA9-7CB8-4000-8509-BCB8F267119D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65b094e25b46c37862150cd2021aa1a3ca5614b9","datavalue":{"value":{"entity-type":"item","numeric-id":5504578,"id":"Q5504578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16f3c9886514b96fad761df5d2a13460500343bb","datavalue":{"value":{"amount":"+0.8350803256034851","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":"Q3224003$8BD1CB02-B526-40BC-BD9C-55C5A2358B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf1a1a66418cdfba2176dbf290188fc3c476cbee","datavalue":{"value":{"entity-type":"item","numeric-id":5082331,"id":"Q5082331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d355386dc657125f87907db268dc7e3fd087661","datavalue":{"value":{"amount":"+0.7960354089736938","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":"Q3224003$5124C2F8-9D7B-4F32-893D-AD9090F59D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16283ea476268ab8e1f7219fdbad16203d1cb881","datavalue":{"value":{"entity-type":"item","numeric-id":3458159,"id":"Q3458159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9081bd7a06205cfce2583e6045fc209e671cf766","datavalue":{"value":{"amount":"+0.7740049958229065","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":"Q3224003$6D784AC4-D38A-4DA5-BB81-87122A24F615","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dbf446e729c2ae15b32d7b70132cbb22d8715b07","datavalue":{"value":{"entity-type":"item","numeric-id":1193408,"id":"Q1193408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7751b11bc7031cb4713d504c7c5909d006736b6","datavalue":{"value":{"amount":"+0.7666174173355103","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":"Q3224003$78DD9FE1-4FD1-431A-8E5D-2994FBEF916D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5272fc7fb52d78b66eda99739ce924f6ed912bdf","datavalue":{"value":{"entity-type":"item","numeric-id":4915214,"id":"Q4915214"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a414dca3c91ce769c355972d4e7133a4ceb8d409","datavalue":{"value":{"amount":"+0.763933539390564","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":"Q3224003$06058D6B-6E5B-4D9D-A70A-9CBEAFBE7FC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3224003","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3224003"}}}}}