{"entities":{"Q4304155":{"pageid":6333756,"ns":120,"title":"Item:Q4304155","lastrevid":41134437,"modified":"2025-04-18T10:52:15Z","type":"item","id":"Q4304155","labels":{"en":{"language":"en","value":"Universal Induction and True Universal Arithmetic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 636015"}},"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":"Q4304155$EE4081D3-6B68-4392-B835-0ABF6423DFA6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7761abdb0ee985c88ebbb21f90d22f3977b0a58a","datavalue":{"value":{"text":"Universal Induction and True Universal Arithmetic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4304155$80D454F4-29AE-45ED-B5A6-B00628FEF27A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f2309b70728958ab3ea6a2f53328273639e21c32","datavalue":{"value":"0805.03026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304155$C6B2F9A5-E837-4C4C-8F4B-B4B68453A9F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b77dffe6a94cd67fe4eb72872d94c92814c83997","datavalue":{"value":{"entity-type":"item","numeric-id":2732284,"id":"Q2732284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304155$9E7469DE-B1C4-4BCE-A4B8-76F798F432B8","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4304155$C3ED06C2-2697-4CD3-8B63-85509F611DA5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e514884e342a09a97a054d635d30bb831dc95e4b","datavalue":{"value":{"time":"+1994-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4304155$2B3DD594-FFF6-4D46-B5FD-2CD34D2EE19D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304155$67CDFAC9-6EFE-462D-89C4-757675B7A760","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0be1021a7a79bad7f42faebf0ea8669a0dfc25a5","datavalue":{"value":"636015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304155$9997DA69-0CE7-4F34-8B3E-6BCBD53FC598","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"acd10635d2a6860c0577f558a30d98f40176c353","datavalue":{"value":"finitely generated model for induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304155$7215858F-5EAE-431F-A63D-CF40CEEB0D71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6d8631d219a1949fbc545829c367d1b7637ce7b3","datavalue":{"value":"universal induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304155$61F9D145-E7A7-46CF-A307-F75CCE791467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b96754603e9924f61b6b95ccca1f488e38167c5","datavalue":{"value":"true universal arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4304155$3FBEF704-F2D9-4031-AB45-146D1D2EAB97","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":"Q4304155$1798E972-A865-4B6D-9F6B-207335CE1A84","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb96ab149b322dd80f91213ed83961ca70be6303","datavalue":{"value":"https://doi.org/10.1002/malq.19940400114","type":"string"},"datatype":"url"},"type":"statement","id":"Q4304155$508042BB-4AAE-4087-8D0A-92EC6641D1C6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1f7dee19379651e1af6fa64ad1fe4d4cd3093fc","datavalue":{"value":"W2003974596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304155$CF1A2B7D-6433-4C10-BB14-7A5DB29C6A64","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d08a1a63e740299bc0c671d9227f2d0410e3105b","datavalue":{"value":"10.1002/MALQ.19940400114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4304155$DAB7511F-3B1A-4EF5-8C84-13E3B167743D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2c3a28ecd953cd559af193624cc38c7a08e6ae6","datavalue":{"value":{"entity-type":"item","numeric-id":4394887,"id":"Q4394887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a15df38d2e246400df26cbe7c790a90253c21fcd","datavalue":{"value":{"amount":"+0.9051851","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":"Q4304155$103FD843-4EC8-433A-B71D-1416333FB3DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9eb0177bd1a505a17db8c215cb324500d641386","datavalue":{"value":{"entity-type":"item","numeric-id":456884,"id":"Q456884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4490f4a74707bb05f4d45b4935e05f26f97482d8","datavalue":{"value":{"amount":"+0.9043462","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":"Q4304155$1F45675C-D7EB-4269-B9CD-DEFB355179B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87860066152037bfb69a424280040f94a8699c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1679774,"id":"Q1679774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3856dd5d921303ce2cd151a869f794d0bec4a9f3","datavalue":{"value":{"amount":"+0.89206356","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":"Q4304155$14E202A6-4B88-4A37-8D17-97A60FDB6A74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"92e709cb3aebdca9ab7358cfa2110e74f854a466","datavalue":{"value":{"entity-type":"item","numeric-id":2805447,"id":"Q2805447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47768a5d8eebdd64597678393cfe4790efb32557","datavalue":{"value":{"amount":"+0.87411714","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":"Q4304155$1576BEAA-DC19-4E7A-91FE-BD09D048BB18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51cc5b3c52376e8beaa36270fa41c761d3a29eb0","datavalue":{"value":{"entity-type":"item","numeric-id":2309507,"id":"Q2309507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e882fd4d5972c57c2715927a1b215d814bbab56","datavalue":{"value":{"amount":"+0.87326354","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":"Q4304155$858D61D8-8E8F-48FD-873E-8C12092D69E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eed61c411ec4b693d6d36608c97770795414f4f1","datavalue":{"value":{"entity-type":"item","numeric-id":1071019,"id":"Q1071019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2f7f6162e2687938c5370bdce6281079f97fc7a","datavalue":{"value":{"amount":"+0.8714413","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":"Q4304155$8B543A39-E7A8-4FFB-B5F8-78513353B50B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6764101ed84dfb67960bd5445555b4a54a86815","datavalue":{"value":{"entity-type":"item","numeric-id":3720563,"id":"Q3720563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4453aca25ea797b0957a76d24ac3448d7875c19","datavalue":{"value":{"amount":"+0.8695934","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":"Q4304155$99A35FCA-6798-4DD2-852C-1F07B98A9CAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"53464fe7062b7899f2178a31102927db92a9632f","datavalue":{"value":{"entity-type":"item","numeric-id":2193977,"id":"Q2193977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d505cc697f6edbcb3127665d5588eaaca97f0a2","datavalue":{"value":{"amount":"+0.8694033","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":"Q4304155$6279288A-0873-48DA-A7A8-497C04D4D0CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4304155","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4304155"}}}}}