{"entities":{"Q3367500":{"pageid":3378204,"ns":120,"title":"Item:Q3367500","lastrevid":46079386,"modified":"2025-12-22T15:15:16Z","type":"item","id":"Q3367500","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5001188"}},"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":"Q3367500$FBA914C0-F7ED-481D-90EC-F2D05AD56B20","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"20041d5130cbf20b3d242677369267390a12ad97","datavalue":{"value":"1096.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3367500$E72A8430-91D2-4253-9899-E1AF36D27A66","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1a6e94382c867267f400605202ec3bf6635ac54","datavalue":{"value":{"entity-type":"item","numeric-id":190344,"id":"Q190344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3367500$9C5B2BF4-959C-4252-BD24-85ED91D28A5B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa3947a1fb1635896f5c4ba355103966dc5bfb71","datavalue":{"value":{"time":"+2006-01-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3367500$3513AAA8-79AC-41EB-BB70-9B4F9C0A98E0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3367500$A93FDD88-D3CC-44DB-845A-D3F4920F8248","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eeb8a917330c846c5768053b6fea0bce0269252","datavalue":{"value":"5001188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3367500$07D3AAB0-05B2-4919-9BB5-A9478A6D31AB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13be1c4b56df6b62e6d8211e755a263f3360e101","datavalue":{"value":"sequent calculus for a set-theoretic system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3367500$E8CD228C-9967-458C-A7AF-7BB31044207E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dcfc1bc00c58245854e787073d98b7cbed7ce1ba","datavalue":{"value":"cut elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3367500$AC6B3570-1DCB-4205-AB4D-FBC7F8D67127","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ca77418be81cfd12ac309aeee551470efbe64c9","datavalue":{"value":"extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3367500$F62D7BFE-0A7F-4BD9-A70D-00C966E76DD9","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":"Q3367500$FC4F8638-29CD-4A71-B6C1-A4B452CE0FB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3367500","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3367500"}}}}}