{"entities":{"Q4885911":{"pageid":6915490,"ns":120,"title":"Item:Q4885911","lastrevid":46395774,"modified":"2025-12-24T17:05:40Z","type":"item","id":"Q4885911","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 910749"}},"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":"Q4885911$B700F250-2593-433F-83D1-082320555D60","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7d8a25ad0eab85c9254ff34f73ef1bf4ae59d8ec","datavalue":{"value":"0855.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885911$DA52685C-B2DD-46C5-87EF-D98D9293A6D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"318018faae3560d6874b4d183002bf8aee67c872","datavalue":{"value":{"entity-type":"item","numeric-id":185618,"id":"Q185618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4885911$93FE6A01-A449-48EC-9B30-E0DAD48464CE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"86ade7a0e2f056e6d29d57a4f609e00b7e7d8593","datavalue":{"value":{"time":"+1997-02-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4885911$7CA71135-B34A-406F-B5C1-F2B9FC7F4514","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885911$893E8F76-AB7E-42A2-BF01-81A1320ECE8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a22eb1f642cbb79777784e33676c61b720925aab","datavalue":{"value":"03H15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885911$61AB6469-44C9-44A2-94B7-622FA9D1E8AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4346faa01bb5fb0576370374d6456afd58d5666","datavalue":{"value":"68Q15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885911$2546EA8B-7B82-4304-B201-178BA17DFE50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885911$D5F7454E-6698-45DA-8CA1-C8C83BDB71F5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b6b0171cc715dd250bcba5319127d33d2cad0a61","datavalue":{"value":"910749","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4885911$1E0A3DA8-CDBB-45E0-89E1-38C0D391A72D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be402c81f454fee58996997920b03b64b0bbe54e","datavalue":{"value":"lengths of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885911$1DF9BEC7-8BC2-4451-8539-FBB506AD4442","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"215f27b602bb66eec3bed257831841f9f8cfa925","datavalue":{"value":"finite consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885911$87A3D35F-E8E0-4425-A611-E71FB66DD77C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"947e57fe715e22170666b45c8e8842ed373a810d","datavalue":{"value":"speed-up of proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885911$F6D5E9E6-17A0-4D0A-8CEC-56ED99AEB210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe06f3b9be5f7e305e8ec856037321ae8135c4d3","datavalue":{"value":"non-standard models of arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885911$7ADA8F3E-D75D-45D9-8758-7B4B81F98F78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7861d405a9971345694c1f3f0657d2fb86fbb667","datavalue":{"value":"incompleteness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885911$50C070EF-2E89-4B3D-B413-7E9894AE85BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"598e772e6c9bd0ca4d67614aebd45d2839a5ee87","datavalue":{"value":"Herbrand consistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4885911$2E05E709-78A7-4DE4-80B2-35792F35047B","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":"Q4885911$362994F3-7CCD-4A46-BB7E-59209ACD1D90","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c337efea67e5435cf48bf44e721e7c8f08a8852","datavalue":{"value":{"entity-type":"item","numeric-id":3755452,"id":"Q3755452"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8989b2618b374879b6edc543bb7a89096a91bcec","datavalue":{"value":{"amount":"+0.8706261515617371","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":"Q4885911$FA708DDE-C15B-4F68-934C-7FE87724C398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"388764d1dd686f8a74d5c9ad5f8d94f2f48037bb","datavalue":{"value":{"entity-type":"item","numeric-id":2176406,"id":"Q2176406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db12bced669bce5330dbc7cad0b43c471ae49be6","datavalue":{"value":{"amount":"+0.827445924282074","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":"Q4885911$575A2103-F723-46F6-8226-8670806A9EE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28f8fd270751bf3a13b219adc57837e3285e79a4","datavalue":{"value":{"entity-type":"item","numeric-id":3773878,"id":"Q3773878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5e729ff54be2a05dcad4862259351ff44fa74155","datavalue":{"value":{"amount":"+0.8261638879776001","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":"Q4885911$A5ADEFFE-F357-44D1-BDC7-0C62C713442B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d99375d9af310691fe93cef97a2d130b782c085","datavalue":{"value":{"entity-type":"item","numeric-id":3472096,"id":"Q3472096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd4c52056fba96f95b6e0deb8f420db3f5cefd26","datavalue":{"value":{"amount":"+0.8080014586448669","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":"Q4885911$02B7ADBE-7761-4098-81CE-5665988065E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4885911","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4885911"}}}}}