{"entities":{"Q4293477":{"pageid":6323078,"ns":120,"title":"Item:Q4293477","lastrevid":46329402,"modified":"2025-12-24T14:14:35Z","type":"item","id":"Q4293477","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 575914"}},"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":"Q4293477$EE5A91F3-68F2-4785-A499-A71E61704356","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64b10e4426e9543b3e08325133311324325f744f","datavalue":{"value":"0803.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4293477$A7311CBE-9AD3-4EB4-8E76-772E7C122607","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b41f9d7f7d5de70cd5eeccd67a5d46d526eaff00","datavalue":{"value":{"entity-type":"item","numeric-id":1896753,"id":"Q1896753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4293477$4A5902B8-2028-4673-A652-A6583EC48C8E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"474438facc06fb671d8e5448a17e8dde14fde7a6","datavalue":{"value":{"time":"+1995-01-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4293477$5B4ACCB9-2B1F-45D1-ABD9-BE018447FE3B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4293477$1811FFFF-A9F2-4269-AF88-239AA70E7CA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4293477$4F18DE09-3CC2-4510-8BB5-2ED1230CCEB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"31eb4b2fe460225d8220386b6d12b964cafd1ca3","datavalue":{"value":"03C62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4293477$7974B23F-D266-49AD-B882-7A010B7B4E56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9b4b247d964a1dee887efa0f156281a47fde4ee1","datavalue":{"value":"575914","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4293477$5618496B-105B-4EF0-901E-1FAAF19F902B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7cffd2300ff0a37d121c73f6bbf429786b0a194","datavalue":{"value":"expansion of Robinson's arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293477$AC5B04AC-2702-4AAF-9390-C9AD7C89F4A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"86883f625eb9ea1d0f9d5e4e00110dbc1e213e44","datavalue":{"value":"conservative extension","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293477$DE522309-F2FB-4163-B6DD-036FA67AC640","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51d92bf773f0048d069da0c7bd7d51a9ab84fb2b","datavalue":{"value":"constructive proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293477$5D7E9F91-4DB2-452B-99C1-27C5ACE4CAE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0432d965a31cea7acbf98425becf9815c9633902","datavalue":{"value":"Boolean-valued models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293477$AB5E1662-EB87-4CEE-8A4B-387FBDD8374D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed494dd41ae0c628e83b2f342ba076f92280caeb","datavalue":{"value":"recursive family of 0-1 sequences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293477$6F8AFE59-244B-41E5-A405-F899263DCD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48ddf43eca498c7e7087cd696beb82ea63925320","datavalue":{"value":"algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4293477$A59A6991-5455-427B-93A3-03A2470D2978","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":"Q4293477$93ADF25E-F69C-478D-873E-C885F13327FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e62cbae9c859bfc29952f7f5d5c0dd1371cb5694","datavalue":{"value":{"entity-type":"item","numeric-id":1128177,"id":"Q1128177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"115aba73fb17bcbd186ad028754b6faf6eac8e4b","datavalue":{"value":{"amount":"+0.7736132740974426","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":"Q4293477$24A81B26-9433-43F8-956D-1774C13D730C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3888535a4eee201430e4d9663aa780bedad8f193","datavalue":{"value":{"entity-type":"item","numeric-id":4371039,"id":"Q4371039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"789a71b17b749c5c2bfea261e66ca61d9864c16e","datavalue":{"value":{"amount":"+0.7337539792060852","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":"Q4293477$147D724A-5C86-4C04-8F50-85C10D02CA58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5591ee9bd2e4145e27f6d1283bb0ec07170ba158","datavalue":{"value":{"entity-type":"item","numeric-id":1896754,"id":"Q1896754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47f79051ce5b749394edaeb01be6a5590d4cd89a","datavalue":{"value":{"amount":"+0.7251036763191223","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":"Q4293477$AFFF321F-DC6C-4B77-AD19-78B6C8577ECA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cf14a7d97251139c6e3ea177e9a45e6e49fd2827","datavalue":{"value":{"entity-type":"item","numeric-id":5202185,"id":"Q5202185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"865097b8b5e959f9fef4b418a2b1444508992faa","datavalue":{"value":{"amount":"+0.7232709527015686","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":"Q4293477$5E292920-B31B-4A9B-81F4-56DE023AC4D7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4293477","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4293477"}}}}}