{"entities":{"Q3879417":{"pageid":5909322,"ns":120,"title":"Item:Q3879417","lastrevid":54602039,"modified":"2026-01-29T07:04:56Z","type":"item","id":"Q3879417","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3683840"}},"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":"Q3879417$2BBC3BB3-BBC9-42E7-B307-4B79778689CC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c6ae134ffca62db4b51b1cb05697ec50097e88a","datavalue":{"value":"0438.18002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879417$24C3F65B-401E-4DF9-BE45-30579EB69E17","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"481d982c5d0e038afc73121713cd489a6ab9fd68","datavalue":{"value":{"entity-type":"item","numeric-id":674461,"id":"Q674461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3879417$831055E2-D23C-43EF-8982-F424772768EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0b87f78dda5694898cc127305eecf88680ce6c83","datavalue":{"value":{"time":"+1979-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":"Q3879417$29E8C2ED-A0F7-41B4-B89E-6F264CE23E45","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879417$AAC265B4-0D97-4A97-9872-9831D8242DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2996504042c76b51a6f0d045e744b890d73e8598","datavalue":{"value":"18D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879417$F4D60EEE-77A9-4487-8169-FBB75E9CB8F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879417$67D600CA-CBA6-44C8-BE32-A96FEB976ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e914ad4198919746f7f43e5298d5baf07e389c97","datavalue":{"value":"03F99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879417$E3311A71-CD98-4EEF-87A8-F64944CCD827","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f04348da9d1ca8b015ef464713838d83a8af937e","datavalue":{"value":"18A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879417$0CA55A6B-3DEA-44E1-96FE-0C573BCAC15D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5005f05cf648e43cad8e44abd96ef50fda59adae","datavalue":{"value":"18A40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879417$420C3F8F-3629-4B5D-B6DA-F1AD214654C5","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d189bda2df633d8a8e69c0749b63ca83ca54501e","datavalue":{"value":"3683840","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3879417$60067749-8A33-4796-960D-11183A5CEA3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"770a684ff699ada1d6c53ac4e90e487bc2e323a0","datavalue":{"value":"proof-theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879417$96D20D6C-896D-4DFC-A8FC-27E9D290758F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879417$114306FF-DE2C-4A6C-A510-306D6FA548B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f450ed1d930ab0e03177e9c7678e94ef9770c84f","datavalue":{"value":"2-category","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879417$8024E7F9-9D32-4AAB-9B53-7D3FB8B8E0C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"49d6e99550396c6b4d8850984399687e29bdb7f4","datavalue":{"value":"weak adjoint","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879417$765DC7F9-B1C6-4FF8-8430-20AB947D1FC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51e8ad74a02ee90ffe17e3dede822e7c6d52c016","datavalue":{"value":"Lax 2-functor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879417$B1EDD514-56E9-4629-8A6F-A9F2E7A5CF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1032abd4a077fbe84e9cc1c2d78c926da606f2ba","datavalue":{"value":"Lax 2-natural transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879417$BF1B50AA-1BC3-42C8-B2C5-A7CFA5E5B8EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"21a13465ec7dfcc2e6d36bb55e4b3c3cdf8e8bb1","datavalue":{"value":"Rax and Lax adjunction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3879417$CCA7DCED-48EF-4F7A-8D48-C8B26B12B11B","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":"Q3879417$E6EA608A-0304-48DE-A661-6130D2A0766D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3879417","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3879417"}}}}}