{"entities":{"Q3749042":{"pageid":5778948,"ns":120,"title":"Item:Q3749042","lastrevid":90852143,"modified":"2026-06-04T21:34:20Z","type":"item","id":"Q3749042","labels":{"en":{"language":"en","value":"Formal Theories are Acyclic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3985196"}},"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":"Q3749042$909194EB-7232-40D4-B82E-B261B04D32B9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"516e6cd5778acaa5fedbeff71bbe8c7ff5da12d6","datavalue":{"value":{"text":"Formal Theories are Acyclic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3749042$C317CFBC-CEF5-45E3-903B-97B27A92BAEC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d5d27412c721ad4012fb4f2b238579cc37412c3d","datavalue":{"value":"0609.03010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749042$DF09294E-4882-4C74-A2C6-4A292DEF3C52","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7af1100b7fbaa31e618c4d49342e2fae8da143f3","datavalue":{"value":{"entity-type":"item","numeric-id":2793901,"id":"Q2793901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749042$51CC427C-F9C7-4C90-9FAA-DF203C76A239","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3749042$6BE2C2A5-97BB-483B-B695-FD3CD5E06B2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bd857b4d539debc924b23d4d2c029b3554136b84","datavalue":{"value":"03B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749042$31E2C691-BC23-411D-95F5-680A148BDA32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cd55e37faed400f27c01e5bfb5d6bb41ead1f10","datavalue":{"value":"57Q05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749042$60AE3201-A335-431E-9A38-A3C90CFC2828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"50dcfe89858cb0542f5ec2c057808128c0888c42","datavalue":{"value":"55Q52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749042$31D1172A-6001-4B60-A1AF-6834C3956EBC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a6b34cf4e37bf243a5f4468f008b214f7a74bc35","datavalue":{"value":"3985196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749042$55FE531A-2319-4E2E-8207-36F8A70CA106","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1a15720155d260bd37d3482a804331767f67779b","datavalue":{"value":"homotopies of proof","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749042$583A0157-1BF3-4957-BB5E-BEE677CF7A04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d317d712471535cc86cf9605447e5d2912d60de1","datavalue":{"value":"homology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749042$95051177-639C-457E-93C7-E1B2DA9EB90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4acabd09a593918a5120d52b9fc5e3d2d10c4d72","datavalue":{"value":"topologization of formal theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749042$E3F91688-CA5B-49BB-B028-CE29CF2A7E4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca20d3b090a96fce73b740d848a321ed9d044c2a","datavalue":{"value":"triangulated space","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749042$825ADC46-3D18-4860-A689-ADD4C4032CD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78b826843ab20a87c9262e0d558d414868bdd4a5","datavalue":{"value":"simplicial complex","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749042$F29500F3-0A77-4200-81FF-A9795200F9EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4aaaa8a20aebc13233df640115f8b0d384236cf5","datavalue":{"value":"path","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749042$B651C75C-BA9F-4F8E-BF76-268C7F4108B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f43b4986a21008d063b52a7d1a730b8730f5dcef","datavalue":{"value":"provable formulae","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749042$5D4B6EA6-B050-42A6-87D4-E091C9E549AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e011e998e78f76cfceb6dea95d9265c156d7706f","datavalue":{"value":"homotopy groups","type":"string"},"datatype":"string"},"type":"statement","id":"Q3749042$AA91F437-16E9-4A8A-BAB2-41C0EFAC26F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f22cd647b31e9ce1dc802c73db4d7dd1f6d18c0a","datavalue":{"value":{"entity-type":"item","numeric-id":1587844,"id":"Q1587844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3749042$8B3DA327-889F-4F03-8FFD-96EEED20F451","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":"Q3749042$C0DE9351-B217-477F-98EA-AB193006628C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a898c85ac0f64855c6c3991433c57aec1c1d757d","datavalue":{"value":"https://doi.org/10.1002/malq.19850312107","type":"string"},"datatype":"url"},"type":"statement","id":"Q3749042$2EB8922B-C676-4E84-BD8A-58EDA48CBA35","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fbd66728c2755c9b5317a48205bfd37879a3bdb","datavalue":{"value":"W1989541757","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749042$DDD8FBB9-2232-4F4E-98C8-ABC48B81B5D1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3c0df3bfc65d7496b2baa0794923d3a4ecc9abee","datavalue":{"value":"10.1002/MALQ.19850312107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3749042$0CB99F1B-B901-4EFB-BE21-16D06C01B10E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a7713f1de1a58a39292e712074598b6652b9206","datavalue":{"value":{"entity-type":"item","numeric-id":4527918,"id":"Q4527918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"75280b847a28f81cf4d838911b1e2bd8c5a116aa","datavalue":{"value":{"amount":"+0.699246346950531","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3749042$816956BE-0D7D-4269-8818-435308DB119C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5435b59aaf89f1ddaaa4f4feb7f3a5256330c0d7","datavalue":{"value":{"entity-type":"item","numeric-id":3114184,"id":"Q3114184"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eade28fa26e8cfeb01926b22ac0b647265bac8c5","datavalue":{"value":{"amount":"+0.6992461085319519","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3749042$18ACA484-D77E-4A54-AECD-6CA987032241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af8bab4eb01d5ff17b1baf1c8745b54016860e42","datavalue":{"value":{"entity-type":"item","numeric-id":1330310,"id":"Q1330310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20aa7298e00b3054a68d3f30b2df705b5b3eb495","datavalue":{"value":{"amount":"+0.6900657415390015","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3749042$7D2EF35B-9FBD-4F01-BB30-AAB579062001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7a5755a4b379099a00c589dda2872aaf8165e67","datavalue":{"value":{"entity-type":"item","numeric-id":4443409,"id":"Q4443409"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"588c027ac5d52069ef7c15b0e0e57080d0eed454","datavalue":{"value":{"amount":"+0.6789024472236633","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3749042$145FF8C9-F6BA-470C-B177-50F2BB49170C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dac53ee8d5eb17b9e38161d988c312a2d667651","datavalue":{"value":{"entity-type":"item","numeric-id":4273482,"id":"Q4273482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d44e99cc366d96cd8a7914bf2fa1303dc621f7","datavalue":{"value":{"amount":"+0.6785856485366821","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3749042$A3136D55-7957-4AD8-86AA-274F368A2DAB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formal Theories are Acyclic","badges":[]}}}}}