{"entities":{"Q4736397":{"pageid":6765977,"ns":120,"title":"Item:Q4736397","lastrevid":48312421,"modified":"2026-01-04T08:17:43Z","type":"item","id":"Q4736397","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2085173"}},"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":"Q4736397$DD7D3C54-BC28-4622-9ACE-039DCCA8D184","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c40789001153a0eb6674db1562b6ebc8dc21fe49","datavalue":{"value":"1062.03056","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736397$ACF5375A-78CB-460B-B097-B626FCC1CC76","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d96456414d6af50ce04ff076f3343376c47fba2e","datavalue":{"value":{"time":"+2004-08-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":"Q4736397$2CB0BC3E-4740-4175-9924-6A3D30D7E243","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ca2021dfd04a273af26de969556103dabf5a681","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2277/22770160.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4736397$AA3C9F28-EAD3-4DE5-A5AC-D521B8392A09","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"4cb4544bfd0397cd4a315ee326499c372f013de5","datavalue":{"value":"03F35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736397$71138468-A543-4778-B1EE-D6E8EAF79620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"48a2830216eefdc24b89ba9895c8f20366f6740d","datavalue":{"value":"03A05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736397$CE2A6E8B-6003-452D-BF66-A924CF1AC00D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736397$B638D4A0-8C7D-4A99-A3EB-6E5E79FCC8E6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3ffaa844531adcd1227079de24d9c5212bea0568","datavalue":{"value":"2085173","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4736397$6E4ED3A4-9988-4891-B9C2-D248166AF286","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736397$8ABA0649-A7E6-43D1-94C2-A499C90F688B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736397$FFF0114B-2E9E-4313-B44C-F6FB7958629A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ba29bc695092e1012b615eb49ec43774f5b5c42a","datavalue":{"value":"inductive definition","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736397$59BED9CD-692B-4701-8D5A-99F154E7EA5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"515f489e1c4167d4335af93072e509d3bdbd158a","datavalue":{"value":"Herbrand's proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4736397$925B3DC6-9199-4DF9-B0CF-D37183565A02","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":"Q4736397$3716702C-7C0C-48C9-A6FD-ABC0FA1E1E2B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03c3b74ff26c086a7988af4846b84322637129ef","datavalue":{"value":{"entity-type":"item","numeric-id":1868461,"id":"Q1868461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4736397$C680B2FC-8566-4F19-818F-FFB83DAEFF72","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99621acdd68b46f8a535d29a7d715eef70d38122","datavalue":{"value":{"entity-type":"item","numeric-id":3797149,"id":"Q3797149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acfc078276fddfe3d3a122968138267f24c04a22","datavalue":{"value":{"amount":"+0.708185613155365","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":"Q4736397$9EB0249F-8160-4C5E-835D-7EE54783F7A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10a1dc025efdc73af5c49f3a461f23b6cc2ef631","datavalue":{"value":{"entity-type":"item","numeric-id":2981258,"id":"Q2981258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e524e00c379dc289c9fcefef589b3c8770e0d1ea","datavalue":{"value":{"amount":"+0.6510362029075623","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":"Q4736397$0204ABC4-74A6-477A-B72F-55A28A7AC39F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ece3b5acb4262b3499597cba1ef2a42ecf01b718","datavalue":{"value":{"entity-type":"item","numeric-id":4250320,"id":"Q4250320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91a73391da3d27bcfd20482d2ae7081c54863ebf","datavalue":{"value":{"amount":"+0.6378861665725708","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":"Q4736397$EA481387-4FF1-4B31-A072-DDFF93BD8657","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"39f65778c659e2abf6ee01ebf10862737451be00","datavalue":{"value":{"entity-type":"item","numeric-id":3784052,"id":"Q3784052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7abfbc1d32038d28eab4741780d2e175ca13b03","datavalue":{"value":{"amount":"+0.6183333992958069","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":"Q4736397$7BA4D9FA-D6F9-40EC-990D-BF1BD3E6FB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f7022df94a5a4fec511d5eb399a99e4c5583cb5","datavalue":{"value":{"entity-type":"item","numeric-id":3466724,"id":"Q3466724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd24129c19fb6c33d73f021d6dcf1528fa4327bb","datavalue":{"value":{"amount":"+0.6128523945808411","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":"Q4736397$EA1E4EB9-D8DD-4398-B49A-C25D5DF79A22","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4736397","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4736397"}}}}}