{"entities":{"Q4394887":{"pageid":6424486,"ns":120,"title":"Item:Q4394887","lastrevid":46927155,"modified":"2025-12-25T21:07:52Z","type":"item","id":"Q4394887","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1163362"}},"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":"Q4394887$75AF941B-F947-474E-849B-D182F135F85E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48f4a481d7ea9cfc8f9613b4dd2ca41f8591c5fd","datavalue":{"value":"0906.01021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394887$94F91740-582A-4AFA-80E3-92EA32A50B0A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"47bd6a3180dcdaf93a46787ec377750553ed6b63","datavalue":{"value":{"entity-type":"item","numeric-id":3852757,"id":"Q3852757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4394887$5EC09B32-AD6F-46EE-B599-47A49CFC734C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d7c4f0103c31dd03c07afd36e9597ef27a0e1e7e","datavalue":{"value":{"time":"+1998-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4394887$9C18784B-AB86-4F78-9600-0FB198570F19","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"855dfff3c52593115343606bc2418a3b17e5a003","datavalue":{"value":"01A60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394887$F76C72A7-F702-4B52-BCCE-3A843A24F41A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b4da9b168c6d02559646f950b704c1659b41949","datavalue":{"value":"1163362","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4394887$6129D4D8-DFCD-4B42-B0A3-83D72C0F9F8B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394887$743F1962-A35D-47A2-9726-ADADDC45E2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b4f58e48ca395ba8ef6f53040a02ed9789c603a5","datavalue":{"value":"recursion theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394887$B8E0858D-C2B8-489E-B0EB-34FD58308073","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a91b29c49694b6d4e9f377dfaf1a3599b4c0e18","datavalue":{"value":"axiomatization of natural numbers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394887$5519E3B4-69BE-4D81-9671-A6063F63E5BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfb78bb18f3a146f8ec0fba8087cdcd8dfdba88b","datavalue":{"value":"nonstandard models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4394887$62848736-9BF4-4065-9212-00100C0150B8","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":"Q4394887$935551EB-C331-4345-9099-A34D3E731BA1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415d96de2a8674bf1c33d76d4d5c204c72af227a","datavalue":{"value":{"entity-type":"item","numeric-id":3832558,"id":"Q3832558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128848dcd5d071d7a6d6c6736733d70d8b54f26d","datavalue":{"value":{"amount":"+0.7967212200164795","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":"Q4394887$75625573-709C-4781-8F5C-27567167A20D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14325243e16e39f6889a63231a3c61cec3d78ebb","datavalue":{"value":{"entity-type":"item","numeric-id":4792997,"id":"Q4792997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97e4d56f518a921cf3ad0e4475a521876bd66fe2","datavalue":{"value":{"amount":"+0.7716144323348999","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":"Q4394887$DE4C7B6D-3354-4C76-9C1E-00DD1FF3C3F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98b4ff1060535dc66217363430c03354ef336537","datavalue":{"value":{"entity-type":"item","numeric-id":1592020,"id":"Q1592020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faca10bb7bebf7893c591fc5a3c9c99782608bd6","datavalue":{"value":{"amount":"+0.7611607313156128","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":"Q4394887$B8F02435-5B7A-4E80-A2C9-959D636DD271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f38b971268d9094466c682a9017b1474707d250f","datavalue":{"value":{"entity-type":"item","numeric-id":4289809,"id":"Q4289809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eba368770a9dcee23a04cdd1cf3236ad7d184d04","datavalue":{"value":{"amount":"+0.7544534802436829","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":"Q4394887$9202565F-AA52-4C68-ACBF-FBC68646E03D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e684dbe2e4d6ab31dde3e6974b74fc8cd66677d0","datavalue":{"value":{"entity-type":"item","numeric-id":4354560,"id":"Q4354560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e8333d3fac6472fe387e645ecffa34d38bbeba5","datavalue":{"value":{"amount":"+0.7536343336105347","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":"Q4394887$DEBB6822-2B23-4E8F-9023-EB2F23F41525","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4394887","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4394887"}}}}}