{"entities":{"Q4178997":{"pageid":6208598,"ns":120,"title":"Item:Q4178997","lastrevid":28400812,"modified":"2024-03-05T13:36:35Z","type":"item","id":"Q4178997","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3614740"}},"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":"Q4178997$DD8470CF-7E42-4B34-8B06-B9B43C52610E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3f3cbe983e0e49ca15fe88404ef64ef45c364fdb","datavalue":{"value":"0396.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178997$02788D18-52F6-4006-8C6E-4CB7A5263E80","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a49472451190faf858f564fafd4bcba399999753","datavalue":{"value":{"time":"+1977-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":"Q4178997$104FC714-BC1B-4306-8155-2C986D1B8664","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a1d4d343889492e30dd853837039fd3cd08322a","datavalue":{"value":"03-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178997$23022C24-0F90-4D18-8EF8-46562B9AE874","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178997$56B679EC-AEE3-45E0-9153-EAD36ADBF527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178997$17FECDC3-89F5-432F-BFCC-64C632C04BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8185bbfdd4506f4c14d2d3b46dfb55f8bdc3864","datavalue":{"value":"00A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178997$6206374D-03CD-4A9F-A8F8-6FC835E91356","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ab39de672e5252571919144faaaec0c474a2ca79","datavalue":{"value":"3614740","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4178997$D5C0DB44-5AC1-410D-A3CB-D81BB12D8DCE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b0196a159b212e58dcbec89bb18cc7de2848fdf","datavalue":{"value":"Intuitionism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$9B5FC133-601E-4CDA-9A70-FEFF047F8F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0448d1318231ce94cf8196d71707766353cfc4e5","datavalue":{"value":"Modal Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$F13F2FAC-8171-4CC5-A6AC-792EE54A9550","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"510ee5d7b679bf736cb06df37d67b54b384852f8","datavalue":{"value":"Cut Elemination","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$79BE087B-EAA2-4B83-909B-7417FDE8AF21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4d9de5cea6665ad08615a51a172149b025ef640","datavalue":{"value":"Foundations of Mathematical Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$591CD638-F722-4071-BAB1-D40F20A45BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87b10366c9a4c423f5f0003bc52cb3edbdee26a6","datavalue":{"value":"Constructivism","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$E65CAEE4-5FC1-4614-98E8-9381F344A695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eb7ab1d8b23719dd6fb8c99dae02604890e68f85","datavalue":{"value":"Metamathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$E0E7469C-076A-4106-AB04-2D37C16DFD2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c3e11eeb3773230f33ff13221944a4ed4994b89","datavalue":{"value":"Formal Systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$5ECC42AF-3E04-46C6-802E-F61B9438A44B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd0876bf5f4faf5bd231346cf8ba22833c58aaed","datavalue":{"value":"Propositional Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$8DC8B251-E499-4842-9339-5BD789AD0ADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a437e4cb3cc8f6bfc5e2ff46d98f94e543d4fffa","datavalue":{"value":"Philosophy of Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$DF4BF656-51EB-4948-A5C6-0037EB9BD992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1c96e8fcdfc59dc3751ce725899243d2e740fa31","datavalue":{"value":"Lattice","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$02727629-12AB-4AC1-B559-DCCA4BB3A71D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8d7e173fd1c59f68080cbfbc8a1faedd080be092","datavalue":{"value":"Algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$A09B7C10-FC28-43FF-9341-2758DF5A500B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dde291e218e390ed65af77a449380cc828e2ba16","datavalue":{"value":"Predicate Logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4178997$3C1BA5AE-06AF-4451-B3FF-F1847CDE244B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7119532effe095ac0ad4ad19f7f7e1492a6f80f","datavalue":{"value":{"entity-type":"item","numeric-id":769599,"id":"Q769599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4178997$DF2CFFEF-BFC9-48ED-8882-F658EA18D1E6","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":"Q4178997$185F95C3-675D-40F1-831E-2D99F89FDE28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4178997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4178997"}}}}}