{"entities":{"Q5384986":{"pageid":7414560,"ns":120,"title":"Item:Q5384986","lastrevid":58555659,"modified":"2026-04-05T17:53:27Z","type":"item","id":"Q5384986","labels":{"en":{"language":"en","value":"Infinite time computable model theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5269072"}},"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":"Q5384986$DEEBB813-B3BA-49C8-B191-E6963A1C92BB","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cf3e64480bf11023923a5c0fc8e110e5e27c231d","datavalue":{"value":"1149.03024","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384986$7483570C-3F04-42A6-8387-3F70DA16DC76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c237c0edc686c7e9971d10e201d8b8137b9a6f25","datavalue":{"value":{"entity-type":"item","numeric-id":167886,"id":"Q167886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384986$C6BA4C12-E20B-40CE-8928-815E8F5A1660","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cef267bc1b9ab6bb34391bb68e54c49ac7fc995e","datavalue":{"value":{"entity-type":"item","numeric-id":2720331,"id":"Q2720331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384986$B5B9EC04-80A1-4B54-BD5F-4FC95B1312F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5ed7bd7753d54991a69398b153857a4958ff30d","datavalue":{"value":{"entity-type":"item","numeric-id":1882562,"id":"Q1882562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384986$40C93BE0-9B3A-4AA4-A825-D3398156B0CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"33d3e97a4220276bcc217eca6e53eef203e9d2af","datavalue":{"value":{"entity-type":"item","numeric-id":1032631,"id":"Q1032631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5384986$CDC908C6-D933-4234-A7CA-53F9E106D74B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"556750df24c21153fcb785f7068c27ffbf372e44","datavalue":{"value":{"time":"+2008-04-29T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5384986$024F5CCE-4FFF-41EE-9B2A-2568B0D1AD39","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e3efae8a847c69e69809f6ad5b38df6b9aaf7c77","datavalue":{"value":"https://arxiv.org/abs/math/0602483","type":"string"},"datatype":"url"},"type":"statement","id":"Q5384986$A66D5026-3263-43C9-9164-0F6BE8E3EEB3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"51c3dc27e13e59ca92a9af5f9c02c332a8b9421a","datavalue":{"value":"03C57","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384986$D090BCC4-93BA-47C0-B863-414E72880B78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384986$394F8B85-D323-470B-8D70-0D46F81C1A80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384986$03E4BB7C-DDCC-461D-A801-A3241E12A64F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"89c762896725301b8562176226d132b8502bb08f","datavalue":{"value":"5269072","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5384986$02AC323C-323D-416C-93C1-DF997BC3085D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"569ab5cde5c25dcbfbed5b373d7e07e1d4960487","datavalue":{"value":"infinite time Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384986$0C7E07AE-FE45-4D63-BB41-B349E1383206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"669e1ab0be3b0e96a51a2ef7e433c212210f37a0","datavalue":{"value":"completeness theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5384986$34FB3D4C-009C-4C6D-B841-0B7948C027B0","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":"Q5384986$0AE7F529-F039-4328-8D57-965DE29065B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca517b2a3c837e9ed46f4d59a17df7078ed89872","datavalue":{"value":{"entity-type":"item","numeric-id":3608469,"id":"Q3608469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1d30e54c82beb52f4597740b68242217fa6144d","datavalue":{"value":{"amount":"+0.8297775387763977","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":"Q5384986$5E4AEA05-C220-4B0D-B977-3C5E5D2315AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e141f08d500c191a83f15ec3a2bedc9da49d7f6a","datavalue":{"value":{"entity-type":"item","numeric-id":4508248,"id":"Q4508248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a24d66dbe0891587d735fea4e7a2b17c3e26e733","datavalue":{"value":{"amount":"+0.8252981305122375","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":"Q5384986$4158A114-BBEB-412A-A7D1-BC8FCB127A69","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2eeb60db0e676ae325ced7fb17d53e7ef51173a5","datavalue":{"value":{"entity-type":"item","numeric-id":3464656,"id":"Q3464656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f00007123b3f536b655112f5b249d2044fc6bd5b","datavalue":{"value":{"amount":"+0.7874598503112793","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":"Q5384986$356F7ABC-3861-4ED2-B169-0F09DBB73D84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1771f37b2ea6714692813cc9251edb90a02ad66","datavalue":{"value":{"entity-type":"item","numeric-id":2364653,"id":"Q2364653"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96b0d7bf5a88319bf45031c043f6d09733b986e0","datavalue":{"value":{"amount":"+0.7844061851501465","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":"Q5384986$0E9F8AC4-002B-4FAF-9284-3C0AD3E6FAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d08cbdb04c87eef093dc1c7e9c4007d834dfc30","datavalue":{"value":{"entity-type":"item","numeric-id":5898830,"id":"Q5898830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2820da5161d7ec6a4eed8c680ff0da500f6cc7e6","datavalue":{"value":{"amount":"+0.7833291888237","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":"Q5384986$0B994164-6596-4F6F-8727-B81E4543EB1F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5384986","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5384986"}}}}}