{"entities":{"Q1005932":{"pageid":1007780,"ns":120,"title":"Item:Q1005932","lastrevid":66565905,"modified":"2026-04-12T10:59:00Z","type":"item","id":"Q1005932","labels":{"en":{"language":"en","value":"Categoricity of computable infinitary theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5529381"}},"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":"Q1005932$32CCC29E-3D92-4C99-B0DD-27C75E76D26E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"65fbc2ecd745337f009125f22a1ddde2c509e38c","datavalue":{"value":{"text":"Categoricity of computable infinitary theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1005932$15B97D31-38B1-40E5-BCAD-8F624EBD53BA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"10d835eaed52ee2bc4ae8abe8904ed72c1a6efa6","datavalue":{"value":"1161.03020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005932$6786B5D4-069D-4514-9F4D-2422C6A5A94D","rank":"normal"}],"P16":[{"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":"Q1005932$8EA25FC1-75BE-47E2-AADB-5BB1B5775A13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fcbed9db4f374cfb27354223a9f337ca20808b8f","datavalue":{"value":{"entity-type":"item","numeric-id":1005931,"id":"Q1005931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$9B211E2B-6109-4786-8F74-0319648D5237","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7e826ed4f399daa696f96135b2223a3156a548d9","datavalue":{"value":{"entity-type":"item","numeric-id":541223,"id":"Q541223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$DEAB1B77-C681-43CC-9D3A-3A26B24DB30C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bfee629fa3f6313e36a8128edc940eba1a6d8bf","datavalue":{"value":{"entity-type":"item","numeric-id":1407592,"id":"Q1407592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$2B6945EB-0818-44F1-B77A-123EFB5F8FAE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a0a7cd28a9f85b9c6ad57bd5bb1ae477bfe37846","datavalue":{"value":{"entity-type":"item","numeric-id":114337,"id":"Q114337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$BF84301E-B0AD-4D84-946D-468F38B893D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"17814350209354c715cbf2c1580c94a27df99545","datavalue":{"value":{"time":"+2009-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1005932$F33E6034-B882-439F-8257-DB2F09ADBC02","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005932$2BE08E29-33A2-4C07-B636-60729B6F7A8D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c300142c7fceb30d9840fb6ad81f4e6d23de330","datavalue":{"value":"5529381","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005932$17796DE6-9BF9-42A6-9462-FB46C58C885A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1972ba718f4ad2fb7fd6b7afb932489e10f77e60","datavalue":{"value":"Scott rank","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005932$3479C74D-BD7D-4DAC-B01B-38FF0C9B4BAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b9523b81abac7dcf2946305ecf06ced9bb8e7c3","datavalue":{"value":"structural complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005932$29441743-60FC-40C3-8363-1CB149C625C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4dd25beaeabfa03f5d90870d14683d3377f6f74","datavalue":{"value":"computable infinitary theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005932$AD68B498-BE71-40A2-BD45-119ACD66A171","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f84459e32fe6e8af51205469091c89643497426d","datavalue":{"value":"computable structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005932$EE3C485B-BDBD-46D4-8A35-8B908E25DF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9a3b417213f1366c965da801b8e017a31000b8ab","datavalue":{"value":"categoricity","type":"string"},"datatype":"string"},"type":"statement","id":"Q1005932$C5402AF0-A588-43FA-B5A7-013E349A4E15","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":"Q1005932$11977308-25A8-44D7-AED4-A30689D308AC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b03ec9fea21cac1ccd727ba78b9be66a24529907","datavalue":{"value":"https://doi.org/10.1007/s00153-008-0117-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q1005932$4A1E37AA-CAC0-4D49-8536-C970144B73F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3757ddaae7dc6e0cddd6b8455d31ade70f1b4d9d","datavalue":{"value":"W2031595317","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005932$08122A3E-0A1E-4ECD-BEF6-DF54757591D3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82ff914103cf834f53d4f9760c3dcb83475d582","datavalue":{"value":{"entity-type":"item","numeric-id":5295697,"id":"Q5295697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$A42142F6-07C9-4866-940B-48DE50B7A7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72b448de436258af78ec7f61208c16ab776fca1a","datavalue":{"value":{"entity-type":"item","numeric-id":5477636,"id":"Q5477636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$92045946-D850-4D1F-A76C-53C03C947E51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eabd751e70e7d5404934ad698e57469fca0d22e1","datavalue":{"value":{"entity-type":"item","numeric-id":3033746,"id":"Q3033746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$6FD23284-9E16-4931-B605-16D25BA1D490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee171677b43fa68303b692e7fe0e72572beda659","datavalue":{"value":{"entity-type":"item","numeric-id":5311742,"id":"Q5311742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$FB6691A3-DC88-42FD-9DCE-6E7B62F071E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1402b5e1e9f50633f916c3d2fa802da9d602a90e","datavalue":{"value":{"entity-type":"item","numeric-id":5579489,"id":"Q5579489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$87413CD5-0FC2-4353-8305-6278CA908C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d7ac602eca84627cafb1e3bf842bbac0bee8b346","datavalue":{"value":{"entity-type":"item","numeric-id":1612482,"id":"Q1612482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$49156271-3BAD-4FCE-910C-31B2336636BD","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":"Q1005932$3F8CBCFC-2F14-4148-9A64-5D6E34B6326E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d3b2af209524297ca969f856343f961d6ee62e5","datavalue":{"value":{"entity-type":"item","numeric-id":3966113,"id":"Q3966113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$11BCA40C-2A13-45FF-8C04-8B5F5BDE8FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$5FBA733A-CE28-4DD0-9E8A-51C8BFF19952","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b032c53028378e2bbb4aa5fc19ff46b65311cbb","datavalue":{"value":{"entity-type":"item","numeric-id":952493,"id":"Q952493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$69A5F754-3862-49BB-A6A9-9933A56810EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e22c17c675f398a659b1f67080facc9871d4b8b","datavalue":{"value":{"entity-type":"item","numeric-id":4055986,"id":"Q4055986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$336F7A1F-AC91-4085-85B3-AA71BC1872DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f2ecf5f7fa24f7656528e34b2871e036ade5639","datavalue":{"value":{"entity-type":"item","numeric-id":5687410,"id":"Q5687410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1005932$97B8AB4A-2C82-4C6B-B65F-E206D9C7F7CD","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"cd30609e76d569f4f3473ced97f75e95335ba764","datavalue":{"value":"10.1007/S00153-008-0117-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1005932$AD729E17-E738-41CA-A83C-A23252A48827","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"953d551e8defa7cc04d962ff23d081a4af96252d","datavalue":{"value":{"entity-type":"item","numeric-id":4636764,"id":"Q4636764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d864287695d5bd276f473394dc960771b4ecad","datavalue":{"value":{"amount":"+0.8324058055877686","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":"Q1005932$26D39476-42FB-4F4F-890E-483572697B74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2ea25f0441cd0b2921c1273a14c985766ec5497","datavalue":{"value":{"entity-type":"item","numeric-id":3094353,"id":"Q3094353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"940569ac529ff52b7c93bffb3cbd610ab5a484c3","datavalue":{"value":{"amount":"+0.8068640232086182","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":"Q1005932$2227C124-DFF9-4F13-8381-037EDF045153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6235334719a1b58e3d2f9a680d85440a04e9277","datavalue":{"value":{"entity-type":"item","numeric-id":471691,"id":"Q471691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1559ffcaf84cc37f2bda3c68b1381a2fbff3d258","datavalue":{"value":{"amount":"+0.8056014776229858","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":"Q1005932$0F2BA6F1-3070-49FF-96D5-8FC93446A7B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56b1efeb0264c931483480d3307c25d2a952358f","datavalue":{"value":{"entity-type":"item","numeric-id":1740457,"id":"Q1740457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8b388a6842bbb5751eee15aff562909bb3acc03","datavalue":{"value":{"amount":"+0.8030270338058472","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":"Q1005932$A9DFF07A-83BF-4FF2-AE5A-7F80EA8B495F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4c0bf7da6ffc03e78fb9043e025649081ea1a4b","datavalue":{"value":{"entity-type":"item","numeric-id":5295697,"id":"Q5295697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35391798cbf171bb331784b346ccb53bc3aaf015","datavalue":{"value":{"amount":"+0.7949965000152588","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":"Q1005932$D5EBD813-BDFC-45A3-BC85-D5C474F5CD82","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categoricity of computable infinitary theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categoricity_of_computable_infinitary_theories"}}}}}