{"entities":{"Q2767940":{"pageid":2778679,"ns":120,"title":"Item:Q2767940","lastrevid":83221406,"modified":"2026-05-07T06:41:58Z","type":"item","id":"Q2767940","labels":{"en":{"language":"en","value":"A formal framework for managing mathematics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1698768"}},"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":"Q2767940$75868C3B-DF98-41A3-8818-222E3784A0D8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7e1732c3131a9b4c8194b468989e149590f20c18","datavalue":{"value":"0982.68114","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767940$A0F7BB74-BA15-47D8-BFB7-F77E738B627B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596956d13d65318c3063740527340bc624646ab6","datavalue":{"value":{"entity-type":"item","numeric-id":174773,"id":"Q174773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$656F0BDA-6DD6-44E1-AA06-75637F2BDE47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"425207e648bcd907479f5b609c6c8a218ec92768","datavalue":{"value":{"entity-type":"item","numeric-id":1273767,"id":"Q1273767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$1FDB27D5-4AF1-4B3E-A5BC-8708CAFC488C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d1de092f67946937b91df34e98936fba6ee61917","datavalue":{"value":{"time":"+2002-02-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2767940$F18897A5-4E0E-4970-88B0-2790D27A481E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c3cb87c4347a9f976343116156958c10e5c05b23","datavalue":{"value":"http://www.risc.uni-linz.ac.at/institute/conferences/MKM2001/Proceedings/","type":"string"},"datatype":"url"},"type":"statement","id":"Q2767940$6F4E1012-FBFC-4CF4-BF3A-905B6331E3BE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767940$EBAD7F91-A6C1-4B60-A516-BBA918E6F759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767940$A75C4C7C-B2D0-4ADE-9D98-8CC7E54F3A73","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b973f5e76852f75d9331b95368dbbd40f90c7073","datavalue":{"value":"1698768","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767940$EFA52716-357F-4DFB-8828-9C3B722B716F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc5cc8e8184b14b39b555e2997003bf3622dcaf3","datavalue":{"value":"mechanized mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767940$81E3FAFF-E568-4FB2-9579-7EAE5349C465","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767940$80196BED-43BC-4554-B148-F6A1E42AD181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"25a0d0a64145a26d41eb5308b1cb512dc20d7b36","datavalue":{"value":"computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767940$BF128269-AD31-4EDE-BC5B-014F5A360B16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a1f89a774d2b01461b718c178e7e356709245995","datavalue":{"value":"axiomatic method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767940$C3153F7F-CF62-4487-AF60-08B63CBF7E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"461038fcc3a9edbf54685a1482d4c8d2cf56921f","datavalue":{"value":"little theories method","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767940$3F56D525-7A39-4665-8B27-D57BE03CDBB0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$98C809B3-A92D-466D-876F-7122296B81B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a9301974fbdbf3896f705a4c8ed840f169a9b63f","datavalue":{"value":{"entity-type":"item","numeric-id":19182,"id":"Q19182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$D05418AB-8B02-4DE8-9307-EC1CA28AAD85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0252b90583a3720591e1bcebade6d086a9b1ed2a","datavalue":{"value":{"entity-type":"item","numeric-id":40607,"id":"Q40607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$E82EC654-81EB-4033-988D-A1B9DA761A65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"485f54a0549a89232924cb0abb443c2fad36af9f","datavalue":{"value":{"entity-type":"item","numeric-id":13300,"id":"Q13300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$77CF0928-12A0-4D52-B3EF-E79150640987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73344fec5a3e7672fdf15a995958e245a1dfa4ba","datavalue":{"value":{"entity-type":"item","numeric-id":13950,"id":"Q13950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$C04D07C2-8AE6-4CCB-BF77-EA7E2857B449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$0FA6CD7F-678B-4099-88BD-37A011CB8003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29391b19386946f3f8609d95651483db905027b9","datavalue":{"value":{"entity-type":"item","numeric-id":22439,"id":"Q22439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$6D33113B-5C7D-4929-90C2-F8F5FEE2C6A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$99385FEC-45D8-4A5D-85B4-E674E1215932","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$F964B802-EB2D-45ED-A195-5907326D7258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$337D7BDF-1E3D-47CC-9BB4-A192989F5D0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$84167941-B4E4-41B2-B710-AEA995C5EC25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$E8EDC9F3-A4DA-4B64-A69B-5FF5671A9CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$5411332B-E06C-4999-99AB-2A769C30BC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$3555C603-E007-4E15-B416-3D7E4CDF05F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"25db55153babd7076d594d911b639e78d62b451a","datavalue":{"value":{"entity-type":"item","numeric-id":20369,"id":"Q20369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$5FE61022-B855-40BB-99A0-0E0252FE9220","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$12618D2D-880F-421C-98E9-3DF2EB5A217E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b799da0cc0efb29a46dd283874e64386ca0e87dd","datavalue":{"value":{"entity-type":"item","numeric-id":21136,"id":"Q21136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767940$3C0E6AAD-2F91-4378-96AB-3DF5ABB8397F","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":"Q2767940$FF18427F-D333-4AC0-9556-0E43385BCB1C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b046652410c739b4aa508cec8031f4a885382d86","datavalue":{"value":{"text":"A formal framework for managing mathematics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2767940$D71E56B2-BD74-4B00-B0E7-974FA246B5F0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d631a7d7921acf5714f62eb12988ad292fc189d","datavalue":{"value":{"entity-type":"item","numeric-id":1810918,"id":"Q1810918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ef323c7a7efc75bb44c4e0257e04e8dbf198c5b","datavalue":{"value":{"amount":"+0.9803026914596558","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":"Q2767940$8C5EB1AD-A070-44C2-A7E1-2599E7E4C2DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8443b091021095c8c3090b4181806156a424b37","datavalue":{"value":{"entity-type":"item","numeric-id":2843007,"id":"Q2843007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f2f93141762f41629e78ee248dfe249c926fc4d6","datavalue":{"value":{"amount":"+0.7335556149482727","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":"Q2767940$AF2869D9-D34E-43C0-8AFB-F3C485F1F621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"87a8f67cf0684118a1c7c2d7517023674e4d576b","datavalue":{"value":{"entity-type":"item","numeric-id":2364688,"id":"Q2364688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42ef3836393b107674c20d7abe3ba06cbfb5dd6d","datavalue":{"value":{"amount":"+0.718471884727478","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":"Q2767940$802610FD-9155-4E7C-A172-6EB2B69EBEC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b8b934687b598892a856fe4e2ee60cf7e39cdc","datavalue":{"value":{"entity-type":"item","numeric-id":1319391,"id":"Q1319391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6960904d75cf34c74943ebd967966558b86a86c","datavalue":{"value":{"amount":"+0.705013632774353","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":"Q2767940$086A1020-E6C3-4C10-9E68-087391605A28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20d3f2df655326a4984b0aaad32adfa15ea6e841","datavalue":{"value":{"entity-type":"item","numeric-id":5495928,"id":"Q5495928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f42b52f46c7506dc92ae4c79109ef08450405b","datavalue":{"value":{"amount":"+0.7035543918609619","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":"Q2767940$B2C51B03-E3CC-4B9C-A241-85F151E59F0B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A formal framework for managing mathematics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_formal_framework_for_managing_mathematics"}}}}}