{"entities":{"Q5146417":{"pageid":7175988,"ns":120,"title":"Item:Q5146417","lastrevid":58442760,"modified":"2026-04-05T06:05:58Z","type":"item","id":"Q5146417","labels":{"en":{"language":"en","value":"Complexity of Scott sentences"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7301036"}},"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":"Q5146417$659DC83A-E49B-4EBF-8B63-303FB1FC8B8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"11e15f9741445ee60d6c8e25d58366cdbeec6fcd","datavalue":{"value":{"text":"Complexity of Scott sentences","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5146417$71E9E74C-D3DF-43CE-91D4-7A1D66CF7119","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"335a3e93211d72f139b1c066f8ad3231e5a9d852","datavalue":{"value":"1485.03103","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146417$0E077CE1-BFF6-4957-9C21-2BA76E49E1C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d50dc58dae9c758e8641fde23637523cf3232b89","datavalue":{"value":{"entity-type":"item","numeric-id":5021935,"id":"Q5021935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$C69A7D04-FCE6-4EEC-A37F-844DB01D2E6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4f9a5a7fe5f3608c5a324a0df8b3ced4c3c5092b","datavalue":{"value":{"entity-type":"item","numeric-id":5146416,"id":"Q5146416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$BFACA017-DD53-4970-859B-C8D7DDFEF579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6fa8e092697f26e8493ed1bdb5b6bbe79c6f36bf","datavalue":{"value":{"entity-type":"item","numeric-id":494651,"id":"Q494651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$9C2D6E31-8FCB-40FE-AAE2-FB3DD1197FA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5797d223f34682fa810388331056bbf163f31972","datavalue":{"value":{"entity-type":"item","numeric-id":559381,"id":"Q559381"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$E88CFF7B-4E8A-4466-96F3-945BE24FF31F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c0827198be489c99d5ba6559ec16692e838cc43b","datavalue":{"value":{"time":"+2021-01-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5146417$ECF0CB0F-542E-4DA0-AB33-74F6DF17ECB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e7d7c13adca9fc3ddc794dd6b1f08418fdb8458f","datavalue":{"value":"https://arxiv.org/abs/1807.02715","type":"string"},"datatype":"url"},"type":"statement","id":"Q5146417$29A4A5AB-07A7-45A7-91FF-F42EBDD7EAD6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146417$C533A20C-F14D-42A9-AABC-E96BE8D291E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3bc35ecc3144ff65e9737745f556c5739e048b08","datavalue":{"value":"03C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146417$72760587-DAF0-4D91-A98D-C08FA34FE0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146417$C81B86E7-2165-413F-ADB4-91536392D3D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"60aff4ec049e7bddfd3ab712aca062e578ba642a","datavalue":{"value":"7301036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146417$1E1FD252-B074-40D5-A62A-904A7F80C3F3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbf537dbec71095f9e06a79b6d427b8aa7fcfd79","datavalue":{"value":"infinitary logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146417$DFA7BB43-7936-4A3B-9CF9-0E0ACDF14B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b56d5bb4e9ae08172a2273d4b9e0aa766b5afac7","datavalue":{"value":"Scott sentence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146417$9CE504FB-5FA2-4BA6-8B81-DC21D13C987E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af47dd0d79a1f58f2e4b3e8819f78e985cf685b3","datavalue":{"value":"Borel hierarchy","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146417$20CEAAAD-B1F6-4684-AF34-CC7A2789A915","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"542470d6f63fefcd2ae937cc78d1c833a1db112c","datavalue":{"value":"finitely generated groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146417$65DA2E18-66AB-4599-9839-22E6E050FBF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc33b11f68ed1c9582db5d152ab677e4b6854f8a","datavalue":{"value":"computable structure theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5146417$0AF721E5-E3A6-4251-8BA6-968D558A3A4F","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":"Q5146417$E9F714A4-419D-4197-9A0A-CDE085C7F1B0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"87ffc3bb02d582825f7d500bca03a42cb4aca879","datavalue":{"value":"W3041425964","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146417$1830B9CC-4621-40F8-B4BC-01E16D0A4E00","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e4536c763145bafc953ff8d1e052ba993634142","datavalue":{"value":{"entity-type":"item","numeric-id":1572657,"id":"Q1572657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$4D48AD09-272B-449E-B2A1-6EB3E405A399","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6bf45c4c054a8ab7e566f730898265054e749e8a","datavalue":{"value":{"entity-type":"item","numeric-id":1254245,"id":"Q1254245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$8185DF32-7E8B-4FF0-9B31-79934273BF8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8885779bfe72f2c4c53b6d592a2d743c115345fc","datavalue":{"value":{"entity-type":"item","numeric-id":2844726,"id":"Q2844726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$81E55FEB-0015-4D40-B2FD-0CEEE6C72FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44e6499ea9f5dc37e7ecdd61855ec70456583aac","datavalue":{"value":{"entity-type":"item","numeric-id":3177855,"id":"Q3177855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$C2D5446F-DEE1-41FF-9523-58D165DA63BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3077adb948afafff8ed80ab15bd37156369b5233","datavalue":{"value":{"entity-type":"item","numeric-id":2964051,"id":"Q2964051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$4C43464F-C96D-45C8-978B-C00D60414FEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d1739c2b55475dfd43cc45c16cc81ebdb6214ea","datavalue":{"value":{"entity-type":"item","numeric-id":2547549,"id":"Q2547549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$15F12DE0-0344-463D-95CA-8D5E1FC44AAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4b5c24856177e39ef00cd0ce7fba1609f9c13de","datavalue":{"value":{"entity-type":"item","numeric-id":4678932,"id":"Q4678932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$59236231-60D2-450F-8321-0C87D235CBBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d9d610b39e62f52868aba5db2d6692a4034d615","datavalue":{"value":{"entity-type":"item","numeric-id":1745362,"id":"Q1745362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$9F4A00F1-35ED-416E-A433-78CB6B2C9D52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca202c06536035b3bae36951e60f10af4693335","datavalue":{"value":{"entity-type":"item","numeric-id":3188067,"id":"Q3188067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$1C4B90D1-E95B-4AE0-81D8-E1B24309342A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8123a37e169da1d8349828b3942a90914f2e9c68","datavalue":{"value":{"entity-type":"item","numeric-id":1165233,"id":"Q1165233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$F1FF15FC-D3C9-4B75-8E0E-E2B9C7CA87FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b6013c18664415d35f8c2a3c1c9c4eecf08e58da","datavalue":{"value":{"entity-type":"item","numeric-id":4196416,"id":"Q4196416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$C8879DA4-B3AA-44EB-86F2-24DD628B2219","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b428216a2a0549667dfdda8bf2d36d6f883c1d7","datavalue":{"value":{"entity-type":"item","numeric-id":3450085,"id":"Q3450085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$8208D37A-E178-4B48-96A4-43E94958C41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a66aca149d54d7dff0ef6032122ab7db2b935e","datavalue":{"value":{"entity-type":"item","numeric-id":5551146,"id":"Q5551146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$2BCAF732-BD38-4157-9C6D-2312348CB7A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d5b434fca54764dd4546bf11d53cdabf899b65b","datavalue":{"value":{"entity-type":"item","numeric-id":5310190,"id":"Q5310190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5146417$F48D3F8A-FCCE-49CE-8E1A-B9712C7276CF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1fa47f24bd73a1b6adf70f5ac9eb7f35747053b8","datavalue":{"value":"10.4064/FM865-6-2020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5146417$A0FEAEEA-8D25-4079-87FF-D5140D06676A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"870e2d95420833dddc7abdbf0ca82fa5e44264b1","datavalue":{"value":{"entity-type":"item","numeric-id":5855748,"id":"Q5855748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ec3c6d855886622326f583a5a6cfc51d8a379a3","datavalue":{"value":{"amount":"+0.8418855","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146417$4CD6E8B5-7CC5-4A2E-ABD6-570D3D2F5397","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"634de4093925b65c9f6d2b28046f87b16f76113c","datavalue":{"value":{"entity-type":"item","numeric-id":2962068,"id":"Q2962068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b96abae506dc8cdc0bedbf18b8df16f4552e7981","datavalue":{"value":{"amount":"+0.83394146","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146417$49675F8C-1518-40DB-A4A6-267E122F24A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7921d1d9ad94f28b29f1ca475085de52ed2aed03","datavalue":{"value":{"entity-type":"item","numeric-id":2309506,"id":"Q2309506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f9f013efea4360acf7e644a51d87398bdaa2ddf","datavalue":{"value":{"amount":"+0.8294487","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146417$BB8FBCC1-14EA-4831-A35F-DA7430872156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24268fa3f87c841d7ae922a7e13048a13454ffee","datavalue":{"value":{"entity-type":"item","numeric-id":4691703,"id":"Q4691703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a84ff02c0a1d8565b03637c2d62d0199acb818a6","datavalue":{"value":{"amount":"+0.8276981","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146417$296BE756-87CB-405C-AA3B-A8F6C38D48D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"01ddc8f0d3bb61245799168483e57ebb8e3eca68","datavalue":{"value":{"entity-type":"item","numeric-id":1892719,"id":"Q1892719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39292adc1e947d46b9f5b22885abf16284a805c8","datavalue":{"value":{"amount":"+0.82203305","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146417$EFD92B94-7867-427F-A246-8F7162E49913","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4c51565e33afb153f7b876731ecf77279cc432c","datavalue":{"value":{"entity-type":"item","numeric-id":5348072,"id":"Q5348072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"59e4bc1e5cee290f4efd1c9d3a454376da5f620c","datavalue":{"value":{"amount":"+0.8191081","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146417$8C0722CD-FB4A-4E9A-8D54-496FC09D05BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb5202e37442a3d940d7d77e3dff40be6f86e45b","datavalue":{"value":{"entity-type":"item","numeric-id":3204439,"id":"Q3204439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db2f87a7929716aac9b80f5fb80c392b0228995e","datavalue":{"value":{"amount":"+0.7847316","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146417$F9F605D9-2E2F-41F2-9358-2E1973845320","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15e0836354777ee7679de66eb6832645e80664a3","datavalue":{"value":{"entity-type":"item","numeric-id":403398,"id":"Q403398"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09920376dd10980097a9f21d58779ac25aaea4f8","datavalue":{"value":{"amount":"+0.779284","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146417$2F5A049D-0A7C-4F78-AA88-4680DD62D43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33677a5c41b7edc634bbf7da9997aee0f8f6dbce","datavalue":{"value":{"entity-type":"item","numeric-id":1286369,"id":"Q1286369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1bdef645321d2eab8de7f13059f44bff6906e13","datavalue":{"value":{"amount":"+0.7780837","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5146417$BE21AA7A-651E-4CAE-B188-9FDBAE7F6537","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5146417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5146417"}}}}}