{"entities":{"Q2870135":{"pageid":2880855,"ns":120,"title":"Item:Q2870135","lastrevid":44707122,"modified":"2025-11-25T09:07:46Z","type":"item","id":"Q2870135","labels":{"en":{"language":"en","value":"Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6247442"}},"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":"Q2870135$A9B300AC-1BE3-4FA1-8DA1-531A876AAA3C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"8a1ae7d4563b97720a0b3e7694eff28d194d5165","datavalue":{"value":{"text":"Zenon Modulo: When Achilles Outruns the Tortoise Using Deduction Modulo","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2870135$56313513-6AE9-4E81-A04A-221043EBA13B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"309f6ee8bc486ce5cb387039ab9588c68e6416e4","datavalue":{"value":"1406.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870135$61A01C2A-79D1-429A-9CEB-76D874C0F01B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8e7353fa1a3a918409d0d44de5829c384f0a47aa","datavalue":{"value":"10.1007/978-3-642-45221-5_20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870135$DF394F78-273A-4CD8-9473-C5E71620CFE7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"786f6c8f2a36da61e98b228bbd36b74e25ad6f92","datavalue":{"value":{"entity-type":"item","numeric-id":2104524,"id":"Q2104524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870135$F6642B04-95F7-416D-AD61-63F657205900","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cbf45ee236cadc75999be805a393271d5b567f30","datavalue":{"value":{"entity-type":"item","numeric-id":1868512,"id":"Q1868512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870135$25B49042-3021-454B-9660-CD50292A457F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af082694e27d923a4a44c00fdef3a3b60f4aa039","datavalue":{"value":{"entity-type":"item","numeric-id":1687740,"id":"Q1687740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870135$58BB23F6-D92F-44F7-B59C-9BB94025EFE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"83f4bf2e0e09104bc6b76128ac61c84eb78f79c4","datavalue":{"value":{"entity-type":"item","numeric-id":2209545,"id":"Q2209545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870135$0A5A0661-A384-4649-8FDF-5EBF3B998485","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c8810b28319eddf2176b081cd070119a2cf8c13","datavalue":{"value":{"entity-type":"item","numeric-id":281285,"id":"Q281285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870135$106EE505-A683-4833-A5A9-C68FE6567894","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870135$65CE965F-6411-4153-9A6C-4F488BA949DE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7cbcb8793fff212e9a1970116a64b7b67cfe92e5","datavalue":{"value":{"time":"+2014-01-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":"Q2870135$F5A34CDA-BE37-444F-96DE-FCED434FA369","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870135$C600F072-7E7C-4313-AB31-6C584178000B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"539533ddc9b635dc48b5729cc7727d090be064a1","datavalue":{"value":"6247442","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870135$02AE5FE7-E1FA-414A-AC1E-1FAE731F0D48","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870135$19064883-B0BC-4C70-B513-D63D5E95CB31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"908a412ea1d66c8c3e12f690543d47d72647ae57","datavalue":{"value":"deduction modulo","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870135$014FC593-DFBF-4F60-A67A-1377220C3B1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"476e70cc5d552d5cdc76575cc73d40a8bfb4b86e","datavalue":{"value":"rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870135$DB68E713-061A-4DFE-80AB-60CDFF513FCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870135$94B1957E-589B-44AC-A3EA-BA304063D886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4a614927b0caf638748bb51c0de92c1b49104311","datavalue":{"value":"proof checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870135$0F9A9065-6D95-415E-94A2-90B1A573A3CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"28123a0147c4696e26504aa90d2d325065e4032d","datavalue":{"value":"Zenon","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870135$B4AFA4FA-CD9F-4651-9792-98107FA32D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5c1e23f8e4f19689b4beca21c28903730de6f22","datavalue":{"value":"Dedukti","type":"string"},"datatype":"string"},"type":"statement","id":"Q2870135$9054B9CB-01D4-4F3B-B573-75A93C434BFD","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870135$159B11B3-08B9-4DD1-B57B-8F5F24B09922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a9535c02a1c0253894e545c7b8e64e868f51a5","datavalue":{"value":{"entity-type":"item","numeric-id":25577,"id":"Q25577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870135$A632FD8A-4D34-4697-B455-7E2B0E384A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"215d2b6d1a41d16324962359ed77fd383c2f9ef3","datavalue":{"value":{"entity-type":"item","numeric-id":22366,"id":"Q22366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2870135$865C6255-F5C2-4052-B326-B7ED2928705C","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":"Q2870135$D47EF23D-6A6B-4E4B-B04F-D06B34E3808F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2b8638c303f5cc419e581362772dd8b438273e5a","datavalue":{"value":"https://doi.org/10.1007/978-3-642-45221-5_20","type":"string"},"datatype":"url"},"type":"statement","id":"Q2870135$B5B27EFF-3275-4374-AF39-48D43F1172D0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8ff73ca4c1744a73c7fcd3115478d0a016548c52","datavalue":{"value":"W129696796","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2870135$865F4FE5-55C2-456B-BEDF-37892E95F7D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5fd73fb6c81b0bdaf5ea8acb9eb2013821898e01","datavalue":{"value":{"entity-type":"item","numeric-id":514610,"id":"Q514610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de99cf64bc1077d6b6dcf041fce61e17a5066d9a","datavalue":{"value":{"amount":"+0.7952261","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":"Q2870135$E0CDE4CC-947C-469A-A018-B9994032020A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9017ddbb5bd4737b531bfbefda31194fa163e022","datavalue":{"value":{"entity-type":"item","numeric-id":1274806,"id":"Q1274806"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a6f8fe97256e7b9ace82268b2546fa03d84849a","datavalue":{"value":{"amount":"+0.790168","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":"Q2870135$7A68EB84-6410-4B4F-90FC-7ED44DF67BB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d4dd0ee9c0dcadad78ee6723971f8aaf4b421e1c","datavalue":{"value":{"entity-type":"item","numeric-id":2849950,"id":"Q2849950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86dc33b39804296d7a601940c984c559a0bd4ff4","datavalue":{"value":{"amount":"+0.7718778","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":"Q2870135$77449964-1985-429A-A27A-B6338D273F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c2d089efda05ba2ab57063a42686799fefe3d98","datavalue":{"value":{"entity-type":"item","numeric-id":5892252,"id":"Q5892252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab9c5805242a40d1cba00c7a4cd287a21e7b008","datavalue":{"value":{"amount":"+0.7710291","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":"Q2870135$F84AAF8C-45CE-48EA-84E5-8E92750FFC01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4db36ec9fd0d0fc728360736708e154c4a258c23","datavalue":{"value":{"entity-type":"item","numeric-id":5906326,"id":"Q5906326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aab9c5805242a40d1cba00c7a4cd287a21e7b008","datavalue":{"value":{"amount":"+0.7710291","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":"Q2870135$7233AADD-82C5-4AD2-85AF-49A5AC79B018","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3355a6dad9b638db8321ac29cd7c77d08972389e","datavalue":{"value":{"entity-type":"item","numeric-id":6046173,"id":"Q6046173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"928873c0f707b8f76589199391b4c973710b7935","datavalue":{"value":{"amount":"+0.7613548","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":"Q2870135$144C7337-2EA1-4E46-BC1A-2DE23F9BB005","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b73316bc9293ca6098b85633ea043f8e1ae5b95","datavalue":{"value":{"entity-type":"item","numeric-id":5200022,"id":"Q5200022"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab57852b7e3e06ddfa21c1117f1e0052bb05e286","datavalue":{"value":{"amount":"+0.75747526","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":"Q2870135$890CE676-AA4D-4E63-A962-0C5AD014B18E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5b89d9c65c96bcb4fc81fea1c97b652c1967661","datavalue":{"value":{"entity-type":"item","numeric-id":3608434,"id":"Q3608434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"89c21a3742761bade82a8c71950a700505e09616","datavalue":{"value":{"amount":"+0.745656","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":"Q2870135$AA2A967F-3FF4-4C2D-8FFC-792F9979417E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24b6a36ee3c6d8d013e1e3d3a3034cad7b8a74f0","datavalue":{"value":{"entity-type":"item","numeric-id":4223003,"id":"Q4223003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84d7cc7513cc5fefa2419ddf7c2ab14769f8fb17","datavalue":{"value":{"amount":"+0.7451254","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":"Q2870135$5F0E76B8-2B90-4201-B88B-E0AE71E5DBD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4b4020c63d85779de73aba8fd5941c1d0be6cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3550109,"id":"Q3550109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"116aef0ed7ffc5e6fef79b5ffc132350fc2b7801","datavalue":{"value":{"amount":"+0.7385464","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":"Q2870135$1E5BC74A-A4A2-474A-8761-2373B3433042","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2870135","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2870135"}}}}}