{"entities":{"Q2720396":{"pageid":2731135,"ns":120,"title":"Item:Q2720396","lastrevid":41927499,"modified":"2025-05-16T08:53:24Z","type":"item","id":"Q2720396","labels":{"en":{"language":"en","value":"Revision sequences and computers with an infinite amount of time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1611140"}},"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":"Q2720396$995EC840-034F-47D6-BD19-74CCE13169F3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0a0b6b4b4e098daa48e8f38d29714f25954cce03","datavalue":{"value":"0989.03037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720396$F74ACDDB-F1D1-4D1B-998C-378F3C243853","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cac706b748d18db4c8ad233b94727176526ac6a7","datavalue":{"value":{"time":"+2002-07-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2720396$8E3328DE-4DB0-403C-A611-E803AE45A1CE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"edd82f3bac81456c5d732b8c628b9d9c7881f47e","datavalue":{"value":"https://semanticscholar.org/paper/b8b14007b452ba63b4012ada099acdcb054ced11","type":"string"},"datatype":"url"},"type":"statement","id":"Q2720396$33BB6514-BB0D-4D82-A103-932E7914D0C4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"33d9ad5fa3901c3c85d59a42af89ee043a9f83fb","datavalue":{"value":"03D10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720396$5A79A891-E009-42BC-9704-55C05ECFDDAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720396$EC9E8D9A-4EEA-4FFA-99A6-85EA8C085160","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f0b4c79f4de885d729c40ccdc89654b84198e6ab","datavalue":{"value":"1611140","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720396$67D94D09-CB79-499A-9676-4ECA07BD4F03","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ac3f30d773ef1894fb2eb52711e135b17d0158","datavalue":{"value":"definability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720396$DE365A6C-D2BD-4283-B55C-4E9BB5989065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b2518fecb1c0b57735793eae5817ca06057a14d","datavalue":{"value":"Turing machines","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720396$E0C059BA-8DAD-4AA6-B915-991502DCC43E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92a5df3c497c82d06309aad120a8dee7a2b43ba6","datavalue":{"value":"revision theory of truth","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720396$DF6EBD08-6825-489F-B650-6592C072C01C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1294aa2c1b7b8075353a8829fe6eed369d61b4a1","datavalue":{"value":{"entity-type":"item","numeric-id":1806279,"id":"Q1806279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720396$F2CEC4E6-532F-4DF6-B0C4-BC0CA42B9DF6","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":"Q2720396$26BAEB35-92B9-4C13-9D93-AAD6864AABFF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c6846882eebc9babe4385156cdbb34a12e29487","datavalue":{"value":"W2109974256","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720396$F43D938C-5712-4982-9BB2-C8189F41D0EF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1f385571c6ded82bcf5c988292f45a47676721d2","datavalue":{"value":"10.1093/LOGCOM/11.1.25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2720396$2B8BF329-C994-4395-9FF2-1898527FF712","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42a325048153d0eda150ac6154c75849d7fa65f0","datavalue":{"value":{"entity-type":"item","numeric-id":4530726,"id":"Q4530726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c5631658f982e69d4666606bc668157d8d900719","datavalue":{"value":{"amount":"+0.9999995","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":"Q2720396$B63F90FD-1688-4AC1-B559-2CE054D9A6A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba97f754b110d8c3e0d4b5f00359d4abb58f3f12","datavalue":{"value":{"entity-type":"item","numeric-id":4805392,"id":"Q4805392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed33aaf6e89174600a9c21ce3ad0a70d092f3284","datavalue":{"value":{"amount":"+0.85209715","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":"Q2720396$C182100E-0DE1-485E-BDC1-2A74913F5DB7","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":"c2e8cbead34b294ec1f552e98aa329e76c83e046","datavalue":{"value":{"amount":"+0.85209703","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":"Q2720396$0A1E7490-3805-472B-9B45-75459FFFB903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7694dc07b6af80f9dd3d8dce3f115cd459b0738d","datavalue":{"value":{"entity-type":"item","numeric-id":5717037,"id":"Q5717037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e682776fb21a2848a062208940010fdbbb8884","datavalue":{"value":{"amount":"+0.8452612","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":"Q2720396$EA9578AC-6547-4DC6-BA7A-53F1C022BBB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2146f2ba218b31da8f1d8ce62be7671351e18a31","datavalue":{"value":{"entity-type":"item","numeric-id":4487651,"id":"Q4487651"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"effc2ffc577be021003ccb9a3a2e44039421f1d3","datavalue":{"value":{"amount":"+0.8428748","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":"Q2720396$C8B89A7F-6DE4-4BBE-82C9-C5B2B7398659","rank":"normal"},{"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":"f34e0167388c5b43951f0e826e4358c9facf4cb0","datavalue":{"value":{"amount":"+0.82296765","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":"Q2720396$F7F24549-E5FD-46E0-AB03-E1D589E51D40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08f460360415634859e9363faa15e39b36c5cc0c","datavalue":{"value":{"entity-type":"item","numeric-id":1326948,"id":"Q1326948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9336763b1a91d79409bdd494ac47d8d5d1149af2","datavalue":{"value":{"amount":"+0.8228052","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":"Q2720396$FB148807-79D0-4ACB-9AD9-46E2CE733C98","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95931baa604efabf5dbf59b756b77be61776ce1c","datavalue":{"value":{"entity-type":"item","numeric-id":2720332,"id":"Q2720332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46bb19ce2b9857ca7c57fa63e5489e3c88a91ba4","datavalue":{"value":{"amount":"+0.8090961","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":"Q2720396$2D2F2940-9242-4789-AAEF-AA753E2F36AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"547d3599ea616c8d037b213c5c151bbc3430d426","datavalue":{"value":{"entity-type":"item","numeric-id":2390295,"id":"Q2390295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b3c6b3a339e97ebb83f7c81769de2dbf47606c11","datavalue":{"value":{"amount":"+0.80815595","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":"Q2720396$81E58B39-8B64-4AD7-AF5E-CBF593D56468","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"77a5be51e580d084f51bcd8bbb641018df379710","datavalue":{"value":{"entity-type":"item","numeric-id":2153830,"id":"Q2153830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d37125d02e2339029b3750d2a57cd0fb794ae91a","datavalue":{"value":{"amount":"+0.8072664","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":"Q2720396$C0FA6ED1-372A-40FC-A5EE-3041926F9883","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d630d06cecb66a41ec81393a123ed827599f74b","datavalue":{"value":{"text":"Revision sequences and computers with an infinite amount of time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2720396$DD3D60A1-8F03-4EA8-A44C-00637D0700E2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4e284497c1d95ed03031b32369f55bf404c9e002","datavalue":{"value":{"entity-type":"item","numeric-id":6768690,"id":"Q6768690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720396$8D2CC683-2360-4397-A133-879F5304190B","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"30a1a8ac6795fe3922d0a28e1b98ed701376c339","datavalue":{"value":"This interesting paper investigates in great detail the following question: What sets of natural numbers can be defined using a definition of Gupta-Belnap type? Recall that first-order definitions using the second-order induction scheme are neither sufficient for technical discourse (e.g., science) nor for technical applications using computers to check properties (e.g., the idea of connectedness for a finite graph is not first-order definable). In the investigative process, an applicable formal relation is developed between infinite-time Turing machines in the sense of Hamkins and Lewis and Revision Theory of Truth in the sense of Gupta and Belnap. As a result, complexity-theoretic concepts and results are applicable to the Revision Theory of Truth.","type":"string"},"datatype":"string"},"type":"statement","id":"Q2720396$FE29817A-EC87-4D6D-BA74-94C72BD9875F","rank":"normal"}],"P1447":[{"mainsnak":{"snaktype":"value","property":"P1447","hash":"ba7232f3f7ae68133198ecf25821b70a187e9eaa","datavalue":{"value":{"entity-type":"item","numeric-id":704043,"id":"Q704043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2720396$738740F0-263A-4079-B492-0E30C884D21D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2720396","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2720396"}}}}}