{"entities":{"Q4731182":{"pageid":6760759,"ns":120,"title":"Item:Q4731182","lastrevid":49311238,"modified":"2026-01-06T22:53:31Z","type":"item","id":"Q4731182","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4116521"}},"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":"Q4731182$0B623244-0C17-459D-9110-8E64CDE2B278","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50fb91a91a55e5ba3443e26b60c1fcb2becd05ff","datavalue":{"value":"0682.03031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4731182$AB1C8C5C-4436-44A0-A87A-29BDC87DBF26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"82475c6f9e360d44c01301733e93d758c0e9e4ed","datavalue":{"value":{"entity-type":"item","numeric-id":190333,"id":"Q190333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4731182$6761DAEF-7657-4BB2-AC84-3C8B7C7E09E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4731182$755398FC-33C1-4A0F-B809-32FE5307D874","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cde05172e5f9c37cef740a3519be6dc5014d282e","datavalue":{"value":"03D70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4731182$C0B13480-5FF9-44AA-886E-67BBA7D300B6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a4ab5af232c705173e9e8223dc9a84633cf221c","datavalue":{"value":"4116521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4731182$89CE0AAF-2F3A-4B90-A6D1-CD52ECA684C8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01617985894317766645ac49fc2897e851061955","datavalue":{"value":"finitary inductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4731182$C17B609E-5522-4EDB-B702-48A0C410AD90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c181233b79a1ff244abd474971e385e8d8c034","datavalue":{"value":"inductive closure conditions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4731182$78F44B71-ECB7-4E07-BE07-42B2F611B9F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c8a3771d592253533a2e546c05e00722cd3a680","datavalue":{"value":"languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4731182$FCC89922-8E10-4582-B199-F914241508C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b2cf531807d1424e6515228822fe70f93a61e21d","datavalue":{"value":"axiomatic theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4731182$416520E0-0A00-4735-9714-02A7A690CAAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70539a876ba50440ec8150cfdc9e01f122f926c4","datavalue":{"value":"conservative extension of primitive recursive arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4731182$390D0A79-19F5-4521-B508-99DC6F3F4314","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a966af23592156087b1c150d4af3a65966a84a54","datavalue":{"value":"G\u00f6del's incompleteness theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4731182$3CA946C2-AE91-469C-94C7-A6803E0E295D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d40c02a672a964a7428aae91829cce961c05c7c8","datavalue":{"value":"formalization of metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4731182$7A44AC56-CEDD-4D64-B931-496B213B4BF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1aeaddcf7a68e5ced45c017b937626f8bd89e3bb","datavalue":{"value":"computer implementation of logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4731182$44DCDC8F-2D42-4C11-B8EA-DC9266EEC88E","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":"Q4731182$13BBE4D7-6695-4EC1-BE1F-F00159E247DF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c1d1832ad18b1377232f17d60cbfba4792cbd2d","datavalue":{"value":{"entity-type":"item","numeric-id":4698612,"id":"Q4698612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fd2432bb62abce93d8fcfafa5da9bb69856dede","datavalue":{"value":{"amount":"+0.7553638219833374","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":"Q4731182$342C6594-1B82-4948-909D-93C5723AB609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"90e609831f63c44202ca3170dd0548e6c4bad0d6","datavalue":{"value":{"entity-type":"item","numeric-id":3422019,"id":"Q3422019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da6d6f01298cc215711c69f6a7af4d43cb6ed7ad","datavalue":{"value":{"amount":"+0.7536957859992981","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":"Q4731182$E41CF68B-2FA1-4EA3-987D-9DC5F04FB452","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d90b3189154229a6e33a63e87c623676f20a584","datavalue":{"value":{"entity-type":"item","numeric-id":1101106,"id":"Q1101106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b2b88798db212c8c5b52f827c2b5121c091d427a","datavalue":{"value":{"amount":"+0.7452223300933838","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":"Q4731182$5F3C6276-841A-4BB6-93F6-2A43B563B39C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a5a010de29c213346cc8dbe730483ebdc673b65","datavalue":{"value":{"entity-type":"item","numeric-id":4893151,"id":"Q4893151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ad8bec22c463425c79545603b7738adac44a9193","datavalue":{"value":{"amount":"+0.7329573631286621","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":"Q4731182$6820C05C-CF20-4917-975B-2B242B5AE99B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f8610b4ec2c718863964a72f6a05e8f83cf4bff6","datavalue":{"value":{"entity-type":"item","numeric-id":4698613,"id":"Q4698613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"604f29b66a4edaca961b10612ee7ea1d3d45545f","datavalue":{"value":{"amount":"+0.7309064269065857","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":"Q4731182$EEB583DE-A6CF-4887-BCEE-FFE6E5471411","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4731182","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4731182"}}}}}