{"entities":{"Q4246946":{"pageid":6276547,"ns":120,"title":"Item:Q4246946","lastrevid":46833537,"modified":"2025-12-25T16:45:52Z","type":"item","id":"Q4246946","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1301733"}},"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":"Q4246946$BC858CDD-F286-4931-B9B8-E3A54D4DCB12","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5ce863383e15e199c36e431f7c970671aad93116","datavalue":{"value":"0927.03080","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246946$445F12E7-702F-4903-9C84-15BDA35D8068","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"55e641319c011b54f0c69b6edb09640a3dbb847a","datavalue":{"value":{"entity-type":"item","numeric-id":1744422,"id":"Q1744422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4246946$C848265C-773B-4495-9DF7-336943F55677","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2c35fb8a8597468e70992cceb470233a004c261","datavalue":{"value":{"time":"+1999-12-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4246946$C1593CB9-1F7E-4963-A2C7-EB7FF5C7E928","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246946$393D50EA-9D1A-4B5E-B432-0537FB08FEBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246946$4132E3B8-CE4B-4D62-9D16-3776652DC1D8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac88ee05cd4e20c376f5e7436eba19cf863bdf8c","datavalue":{"value":"1301733","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4246946$632981E9-3362-4480-8FB6-AB65FCCC36B1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d39209d488652367428ee47b9a50e6491f07de09","datavalue":{"value":"Higman's lemma","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246946$A665B132-AB34-4B82-BAA1-67AEB9939A22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdc6a02331857ea785781e787230c8aae534e458","datavalue":{"value":"type-theoretic proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246946$97617BFB-01B7-49CF-9E9D-0099EC7F05BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246946$3CEE4861-E6D5-4897-96EB-9074BD78D9E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0051fa7bc7f16a45c398b2aa7da1d79c7c51e142","datavalue":{"value":"fan theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246946$59291589-AB83-45F4-9529-D7FB694A930A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"459bec42b17ec11c660be8df9263264e5e78596c","datavalue":{"value":"Ramsey theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246946$9CFEF83A-2825-4117-86D4-0EF22A054043","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33775f26030d071074f6e677c78b2fdd4159a0c9","datavalue":{"value":"Martin-L\u00f6f's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246946$EF67A5E4-41E2-471E-973E-CDEF64E2C1F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"67f06f5bc2afc9b240b30a97b5802b3d17b952dc","datavalue":{"value":"proof editor ALF","type":"string"},"datatype":"string"},"type":"statement","id":"Q4246946$B83D3767-FD67-46C4-9DD7-6F783AF2BA3B","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":"Q4246946$F362FB42-275D-4CC9-9A7D-205383E9B497","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fffdb80b08a4eeb186813621408a53ad1eea90a","datavalue":{"value":{"entity-type":"item","numeric-id":3305561,"id":"Q3305561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0387d2df1985156f8e9e42dbece8183e23643763","datavalue":{"value":{"amount":"+0.854796826839447","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":"Q4246946$5F7FB6C9-2A75-4EB4-B3A8-CAA348D86619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f27065c7611ec1a3b474989cc0983f124878d9e","datavalue":{"value":{"entity-type":"item","numeric-id":438550,"id":"Q438550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"334375a6733997c68068c08c7237c0aa249a4ed4","datavalue":{"value":{"amount":"+0.8332772254943848","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":"Q4246946$A9F855BE-B87D-47D3-9B6C-4290976BFCEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74fcf341e56eb6ee74155d07e9b0e438d2a5b766","datavalue":{"value":{"entity-type":"item","numeric-id":5477667,"id":"Q5477667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555d1cdf2c34dd5bb057c7c77f0280aa3a43161c","datavalue":{"value":{"amount":"+0.814876139163971","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":"Q4246946$1A0EDB7B-2558-4902-9556-EA56EA24A743","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce93b36fbb93578ad5ecba2c0a0680a8f43e366","datavalue":{"value":{"entity-type":"item","numeric-id":5712322,"id":"Q5712322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c2a1d7f1da92ad2ad2549f99a979c68d28767f","datavalue":{"value":{"amount":"+0.8042392134666443","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":"Q4246946$7FC35AFC-329E-4F27-B4F8-023D458044BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22b2fc97ba370de2d5a2b94665da59dda50e8153","datavalue":{"value":{"entity-type":"item","numeric-id":4736401,"id":"Q4736401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71fe83589623eaf2087245d27d1bb81e15372123","datavalue":{"value":{"amount":"+0.7623535394668579","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":"Q4246946$324C65D0-F80F-4FDE-9EC4-C34F72619CF4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4246946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4246946"}}}}}