{"entities":{"Q4182502":{"pageid":6212103,"ns":120,"title":"Item:Q4182502","lastrevid":28404849,"modified":"2024-03-05T13:38:03Z","type":"item","id":"Q4182502","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3619886"}},"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":"Q4182502$C6CBC97E-0C3C-4E01-8CAD-5480559C02C5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"778e0fff50ab794f56082092fed5cfbe0177f1f5","datavalue":{"value":"0399.03043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182502$30BE0FF1-21FC-4A6C-A838-E5D1EE976D9A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"164d33e074fb7af90acc322bc086df8a04b6f531","datavalue":{"value":{"entity-type":"item","numeric-id":1242161,"id":"Q1242161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4182502$99915E14-86BF-41F2-B470-9A382D778215","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23512e79b17ec0dbe00d89a570006ab4e1ecd403","datavalue":{"value":{"time":"+1978-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":"Q4182502$6AA595DA-D7D7-4FE0-9377-F79BB36A291B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182502$4B19C0DB-A72D-49DA-A819-99E1463F73F6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8b7123a3025b974b42a868c1f20e376b0336ab27","datavalue":{"value":"3619886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4182502$56A4BB5D-258A-4353-BF7F-74D216D210F5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f67c5dcda440849a70ec6dc2295d847c01c3145","datavalue":{"value":"Classical","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182502$4E905E04-5DEC-4614-AE2E-690FEAAE5FBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f490d8034e1cb007afaee65631c2e3b1fae4c44f","datavalue":{"value":"Intuitionistic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182502$95E38EE7-A7B1-4FA8-8365-6A12142FD516","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63da328176832b1f172ae9b564bf30b9d9d7fd2f","datavalue":{"value":"Cut","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182502$2B19B21A-2373-45D2-BBFF-59FAB12E735B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"620696325f636d0c761a4169aa174c739fe41c92","datavalue":{"value":"Sequential Calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182502$E0FE14DC-E7FB-47EC-83E9-D948C1149A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07d284b2ead2d199a44370f6d8bc4bbc136875ce","datavalue":{"value":"Derivation Complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182502$A11BD9D6-D7DA-452C-A578-075DDB9304C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0939bef786d5ea178afd4a9f20c2b129a09284bd","datavalue":{"value":"Proof Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4182502$CE102F7D-9DD9-4568-A128-47BF9C5094CD","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":"Q4182502$D2A00BAC-E395-4F57-BE2E-7033C8AABADD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4182502","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4182502"}}}}}