{"entities":{"Q3582702":{"pageid":5612606,"ns":120,"title":"Item:Q3582702","lastrevid":58215375,"modified":"2026-04-04T06:38:15Z","type":"item","id":"Q3582702","labels":{"en":{"language":"en","value":"Automated reasoning and presentation support for formalizing mathematics in MizAR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5774503"}},"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":"Q3582702$152CBA76-B850-49D3-8865-57929CFD015B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92ed92c0e9de15aa69136594d75795a14735372f","datavalue":{"value":{"text":"Automated Reasoning and Presentation Support for Formalizing Mathematics in Mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3582702$F41C9C74-A094-4FFA-8B5E-96B8DEB9D8CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1323cb313518f087a1a749133b67cdfffb96a6e4","datavalue":{"value":"1286.68403","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582702$9ADD3462-0F92-44A6-AA04-1D5CAEF41109","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"877515d2224872a41815561fbec1a2798174c4e1","datavalue":{"value":"10.1007/978-3-642-14128-7_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582702$FD99E739-FF54-41DE-8234-42938281094C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc204e2e78d924e815f2b640ec35c8c2356ad41f","datavalue":{"value":{"entity-type":"item","numeric-id":286786,"id":"Q286786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582702$905EB562-6F95-4CD7-BF04-E4B0FA37C05D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6c6d707c999cc6d62a42a2f34c4e05c6ede74383","datavalue":{"value":{"entity-type":"item","numeric-id":679254,"id":"Q679254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582702$1B8D009D-A2B8-4841-8464-FAB752ECD176","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582702$396E92FA-FFA5-4E49-A088-D62AD3ADE70E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d01ea8a4f82b63cae0dd5c2ac5f8977df7e5fa52","datavalue":{"value":{"time":"+2010-08-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":"Q3582702$2197C514-DE53-44D9-924B-34DAF8C62860","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"43bc134cc00a3bdb27b79ade8a52143fb981b52f","datavalue":{"value":"https://arxiv.org/abs/1005.4592","type":"string"},"datatype":"url"},"type":"statement","id":"Q3582702$276F6937-CB6A-447E-AA3E-7B46F2A55C14","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582702$1E1D63DE-455D-4D9A-BC0E-A044AF8AC9E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582702$C191388B-6CF2-4F7D-9470-31F037141507","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d42b3293d71c626a119c745049ab91bd9c283540","datavalue":{"value":"5774503","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582702$8FCE0432-E5AC-4593-A3CC-B9ECEFB7C768","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"484f589bd857c6ecd5604196ba88033adb11a795","datavalue":{"value":{"entity-type":"item","numeric-id":15128,"id":"Q15128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582702$8E1442D9-83E0-46D0-87F8-30835D38CE79","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":"Q3582702$5A42C7AA-8FD0-4DBB-944B-04B68C1211DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"05ea0f807e9dc1229f0a5e44480e85f8c5ae2877","datavalue":{"value":{"entity-type":"item","numeric-id":14521,"id":"Q14521"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582702$65841997-A295-4AED-87E3-2A30A1CE1081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d3ed9701b24c07e8ddeb19932e1fa77191c06e95","datavalue":{"value":{"entity-type":"item","numeric-id":16327,"id":"Q16327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582702$3F7BEE1A-51C6-4538-8B82-33F83189FB7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582702$97FFCFA6-D87F-43A3-B4A6-782114E66838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"62af2c5e450adf37bd9acb47c5a55b60b68447ea","datavalue":{"value":{"entity-type":"item","numeric-id":22241,"id":"Q22241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582702$D61C838D-2A6D-496D-9421-8B773B1B050E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"133e2e5701b3435e4a72bb2a6345ff9894f7c6da","datavalue":{"value":{"entity-type":"item","numeric-id":22369,"id":"Q22369"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582702$ADF13927-EE84-46D9-8440-5A80D1347001","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3582702$724AEAB8-2C5C-4446-93E8-F523C453CE41","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":"Q3582702$4FC8E422-2E72-4C40-A9B0-AC0FBBDFCF30","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2ea1a6199113e06af6b9bea48e97a4f11b0849fc","datavalue":{"value":"W3100298706","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3582702$01F7C6F9-02DE-4E02-8FF3-235A878883DC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b1dfeb4f58629a3de8f2170811c634bc1408f23d","datavalue":{"value":{"entity-type":"item","numeric-id":1945905,"id":"Q1945905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa2dbf2c6d012cf62b7a6955001465aa01c50e68","datavalue":{"value":{"amount":"+0.8662517070770264","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":"Q3582702$43FDD493-D7F9-46BC-B06B-9BA912131899","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056bd3306219ab81399e7d152a9e6f1d7dd0aa1b","datavalue":{"value":{"entity-type":"item","numeric-id":1945910,"id":"Q1945910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e56f27e8e3529fbcecae4f95a0a26ce534a0c721","datavalue":{"value":{"amount":"+0.7737546563148499","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":"Q3582702$A19C689C-A71C-48F8-BAA6-027B3D4443A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eee2626a7ebeafe9534d0338c5aeb25841f2e563","datavalue":{"value":{"entity-type":"item","numeric-id":2867936,"id":"Q2867936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0e5bf044e54a85ab7604dd2766db1be4e74a399","datavalue":{"value":{"amount":"+0.7725686430931091","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":"Q3582702$2C9E6FAC-B68E-4586-960A-60286162C916","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ed25aa4185f2e815bad791afac995de061e6cde","datavalue":{"value":{"entity-type":"item","numeric-id":3453119,"id":"Q3453119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73dc60e1a9bf6c553801bc3b0bd3af6828813a1c","datavalue":{"value":{"amount":"+0.7651503682136536","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":"Q3582702$00099C93-DC06-44AE-9D40-1B0FB37D2CB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6fad0967c90f94cd511eb46d85433effc05ef74","datavalue":{"value":{"entity-type":"item","numeric-id":2767928,"id":"Q2767928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fde1052c5a648c37fd3ee340523103170eae89c6","datavalue":{"value":{"amount":"+0.7644203305244446","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":"Q3582702$4587CE18-9896-4CFA-8A80-E6D38C498DB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3582702","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3582702"}}}}}