{"entities":{"Q580331":{"pageid":582098,"ns":120,"title":"Item:Q580331","lastrevid":62921928,"modified":"2026-04-11T09:00:25Z","type":"item","id":"Q580331","labels":{"en":{"language":"en","value":"The number of computable indexations of finite classes of constructive models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4016879"}},"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":"Q580331$6F6980E8-3C62-462B-94ED-ABD778785B34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f74db88753d0e57bc23bb83aee2576ef42d1a81c","datavalue":{"value":{"text":"The number of computable indexations of finite classes of constructive models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q580331$97C0EDBA-0419-401D-A9B1-EEE582C02F85","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c20ab195cda8aaaaca25c75e03d04f440fa4b631","datavalue":{"value":"0626.03028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580331$D3BC628C-54D9-4508-8E92-D3E8490C47A4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e7ae13e8731b5d6421d3767d405db420cd7b43c8","datavalue":{"value":"10.1007/BF01159572","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580331$D4674305-4A72-41D9-905D-DFCB2AED29EE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1b4277d37189b43b84fb041f9c89ea1503a9168","datavalue":{"value":{"entity-type":"item","numeric-id":580330,"id":"Q580330"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580331$2B1BC48A-D997-40F7-B206-61CA1F6A200A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580331$A888291F-2DB4-4D50-83DE-4A5EAF12AC55","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-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":"Q580331$4C0AED3C-E964-4DF8-A2BF-6A3C5B8948CE","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"20c6944cc6b2632c34d6dfae0f9ce54b3b66f566","datavalue":{"value":"In this paper we show that a computable class with finitely many constructive models can have either a unique computable indexation (up to equivalence) or infinitely many of them.","type":"string"},"datatype":"string"},"type":"statement","id":"Q580331$29074EB2-F737-476F-A5AE-04C026F2B499","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580331$033A1E88-39CE-4663-870C-FF9ABBC5BB99","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b21ecde1bd51de934081b1fa5966722550b367f","datavalue":{"value":"4016879","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q580331$6689E4D7-DAB6-46B5-B243-BE129781FFBD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3270d801ba8c61e7b0b17ad593756098d2e5a08d","datavalue":{"value":"computable class","type":"string"},"datatype":"string"},"type":"statement","id":"Q580331$EA2CF6F0-EBCC-4723-8172-A952D9DD9A08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"65fb337149b07dd19e74ca938e6cabc1fdb8a608","datavalue":{"value":"finitely many constructive models","type":"string"},"datatype":"string"},"type":"statement","id":"Q580331$498E47BD-E2AC-476E-AE41-0F0EA9394532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"960886c4ce23c6d83cdf51d24fcad5faae1d9a39","datavalue":{"value":"computable indexation","type":"string"},"datatype":"string"},"type":"statement","id":"Q580331$91018685-25C0-4E49-987D-B5DD8206E49E","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":"Q580331$BEBE99B6-5C88-42D3-8774-8D3A9F12F96F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bee85f15db819554c5cddfac8ba3f64f52efb0bd","datavalue":{"value":{"entity-type":"item","numeric-id":3958432,"id":"Q3958432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580331$D666AD8A-1FE7-4179-8BF6-6D8DD17BF852","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9635365b0780328d7ae22bc69b462e7144999d03","datavalue":{"value":{"entity-type":"item","numeric-id":5573961,"id":"Q5573961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q580331$7DE23FFE-BF59-4740-B170-92D2FA5E5DEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac12d497c991e072b2cda4a43d3b2d489708927b","datavalue":{"value":{"entity-type":"item","numeric-id":1898525,"id":"Q1898525"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43b92bcd57803bd520a2a20374b61b86486909e9","datavalue":{"value":{"amount":"+0.9516394","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":"Q580331$93E2AF1D-2929-43E5-9CAE-970FAA625917","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e5dacca69cc342756c2cebca157666a73c8067c","datavalue":{"value":{"entity-type":"item","numeric-id":1812730,"id":"Q1812730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"819422dd5a4ff9a12c942d9790ba647c104d8101","datavalue":{"value":{"amount":"+0.94907975","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":"Q580331$B1B5949F-D864-45E9-9DE2-9DCE22959A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b979166e877adb08f72ee2e2d03cb71bdaaa62d0","datavalue":{"value":{"entity-type":"item","numeric-id":3789547,"id":"Q3789547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c02eda1ada748af3f852b4c7023d29e39579ecbc","datavalue":{"value":{"amount":"+0.9396598","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":"Q580331$099B961B-CAFA-4A05-9BE1-B65CB148E8EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b943946b84404a16450a14e9ece144a04d09af01","datavalue":{"value":{"entity-type":"item","numeric-id":3826539,"id":"Q3826539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1135519ec0810c0df0544c4906bc03e996eee9bc","datavalue":{"value":{"amount":"+0.93154836","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":"Q580331$7B544E1C-15C1-4CD2-854F-A29899E40C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6b3230b9f6d5f153a5fb28f2150395ae89f5641","datavalue":{"value":{"entity-type":"item","numeric-id":1114679,"id":"Q1114679"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"39f60e8a82e0ed649305ce945c198edf13de1237","datavalue":{"value":{"amount":"+0.93124396","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":"Q580331$116CA6DD-D9F9-43B4-8E89-45E948F6184D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dba0b6852bbaee9c11e8e466f4ea9171e131bcfc","datavalue":{"value":{"entity-type":"item","numeric-id":1897964,"id":"Q1897964"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a7aa360ca86ea7cb3bc6d244944db1cee044ff2","datavalue":{"value":{"amount":"+0.9286332","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":"Q580331$272F8225-1627-413A-B904-BB1BFE3D9515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d634f30a1624881615c795247ca7d61ccabcff5","datavalue":{"value":{"entity-type":"item","numeric-id":1096621,"id":"Q1096621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331a6e55b4f298b12ecbde0400c8f6047fae0add","datavalue":{"value":{"amount":"+0.922747","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":"Q580331$1BC24330-1907-44D6-B53A-E7286C91B7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb49ab97a910d675730f9a2bdba7ae6c08889ed8","datavalue":{"value":{"entity-type":"item","numeric-id":1335930,"id":"Q1335930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b144ee53e1e3c0680823c16db689503563949543","datavalue":{"value":{"amount":"+0.9212966","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":"Q580331$CA0A4587-FFDE-4165-A320-B0B90E468A8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae00d31493d513287b07cd74a9f00fb6d3b4b846","datavalue":{"value":{"entity-type":"item","numeric-id":3973232,"id":"Q3973232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88772ab591a4be017d410f09c8d31edff5d51c47","datavalue":{"value":{"amount":"+0.9203159","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":"Q580331$071E30CC-2EA8-492D-93C0-3A9A45E971FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a3d361184aec8b245dfb57eb91792248fe70c217","datavalue":{"value":{"entity-type":"item","numeric-id":3322080,"id":"Q3322080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97036b61f10c9897c9220e9a0421e7b1325b4ce2","datavalue":{"value":{"amount":"+0.9202505","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":"Q580331$7E447857-9755-4F11-9872-BFDB385EFB91","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"The number of computable indexations of finite classes of constructive models","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/The_number_of_computable_indexations_of_finite_classes_of_constructive_models"}}}}}