{"entities":{"Q3659778":{"pageid":5689684,"ns":120,"title":"Item:Q3659778","lastrevid":49858570,"modified":"2026-01-11T09:17:53Z","type":"item","id":"Q3659778","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3811561"}},"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":"Q3659778$90315F3F-C068-40FC-A6DF-D0D9574EDA0C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b7fa7c2d098e27009b732a7493f3a90bb3d3c64a","datavalue":{"value":"0514.03035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659778$93D8A954-5426-4B4F-BE6A-EC14BF926E11","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cdd19df90689677c5397c0740db5d3f48f7a8b48","datavalue":{"value":{"entity-type":"item","numeric-id":235608,"id":"Q235608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3659778$04BBC973-8268-4E21-AB20-4ED26299967F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q3659778$A807551B-DA22-4412-83A7-989AFE17ED7A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659778$1918E603-E212-4E55-9D81-12F05C8B1BA0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d11b6806345ebe7eb00fc343cb5629ad5ca02a20","datavalue":{"value":"3811561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659778$12111197-9F9D-47EA-B830-CA2818E14EAE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83d5dcaa7aef3dc9ddc3eab92a7db35d53442c07","datavalue":{"value":"proof theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659778$265929E9-5DB4-499D-873E-4EAEF715ABB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5830bc9df856ae2559fe681dc92cebe9ada5b3da","datavalue":{"value":"constructive mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659778$87A38FDB-54E5-45CE-89A7-72DB3E5A7F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d73122b8c0e19b3cb1c6428bb0fe2bc558f12c77","datavalue":{"value":"derived rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659778$ABD89E0E-093B-4068-8A2A-D048CC83D696","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c02ce6b3579a631a444035eeb14a574f63c6dd0a","datavalue":{"value":"metamathematics of constructive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659778$DC42817A-67EC-4C18-8244-1FAEE7339E81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ecd18eca3fc9713df6a82ddda202d74f024f012","datavalue":{"value":"bar induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659778$BCA52DCF-B163-4103-B452-4FCEBEF0ED80","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":"Q3659778$BFDD1919-D626-4D01-BFF8-6EBA122C0AF0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3659778","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3659778"}}}}}