{"entities":{"Q2767928":{"pageid":2778667,"ns":120,"title":"Item:Q2767928","lastrevid":47734528,"modified":"2026-01-02T13:45:22Z","type":"item","id":"Q2767928","labels":{"en":{"language":"en","value":"Mathematical knowledge management in MIZAR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1698758"}},"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":"Q2767928$83E7EFDC-7852-414B-AB29-581AA3792964","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"40e41e405d35b1d4be4427cf7b5ca7112f1cb2bd","datavalue":{"value":"0982.68136","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767928$FF33EC1C-F93C-4813-B052-84AA6BFE37F8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d72ee9ffde9510a13b5bea91934f187bdc57c7e","datavalue":{"value":{"entity-type":"item","numeric-id":467775,"id":"Q467775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767928$AB974DAF-FDE5-4480-93D5-4B3E8BBA5CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af54ed4fb469af20b14fa3db8b1ed041c8ca0f58","datavalue":{"value":{"entity-type":"item","numeric-id":597121,"id":"Q597121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767928$B36B8DDB-38D8-437D-9FAF-3762B44FF043","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":"Q2767928$D54336D9-976B-40B5-BB79-1479C71802FC","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":"Q2767928$5ADDF046-AE90-424B-8ADA-AC3EB981C231","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767928$51950C02-EEC2-4794-B570-7851EF0E51D4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8bb6141c5dbb5d44cd64108ad443cf53210c8fa4","datavalue":{"value":"1698758","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2767928$8451ED1B-F66D-4D0E-AD81-77701A716A44","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7e3d0f604befef70edd8db58a163d93e5e66cd3","datavalue":{"value":"MIZAR mathematical library","type":"string"},"datatype":"string"},"type":"statement","id":"Q2767928$220CAC48-8D04-489E-B74F-D8261138A76E","rank":"normal"}],"P1463":[{"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":"Q2767928$0971773C-DBBF-486B-B861-3C153AA6FA27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c2ac6c1c15bd263207487c53115a7cc6abe2547","datavalue":{"value":{"entity-type":"item","numeric-id":19033,"id":"Q19033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2767928$2177F420-C5A9-4B9B-922F-CF7800C2D5AC","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":"Q2767928$5547FEE3-763C-49E3-A3DA-D2C94B3CB81D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"645a5bca5c4f085843cc71f84dbbf862e90cc4bc","datavalue":{"value":{"text":"Mathematical knowledge management in MIZAR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2767928$E533C561-FB21-48B9-ABBB-B00EE6EF05F5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5225a69bdcfcfe29a5db8c4b18a78ef5cb47fe6","datavalue":{"value":{"entity-type":"item","numeric-id":4413892,"id":"Q4413892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a74114d1fc02a90aacc0b642bbd26130c8b3580","datavalue":{"value":{"amount":"+0.8681269884109497","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":"Q2767928$2B634DD4-5707-42C5-A081-1EA6DA96309B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"805f3db5947359be7e8d10a1fd94e98e520233cf","datavalue":{"value":{"entity-type":"item","numeric-id":4413887,"id":"Q4413887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0da3f2604b4262a4e7877de2448f4ddb6ca7c17","datavalue":{"value":{"amount":"+0.8563934564590454","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":"Q2767928$955EAC93-E02D-41AF-B9DF-3AADEB56F158","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":"2c81ec1926d971702024c3f4b94a0c9ed086d581","datavalue":{"value":{"amount":"+0.8469321727752686","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":"Q2767928$D7372314-D525-44F5-A488-C4541EA20F35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7659e4e2c991390298b386fe8aa90210f9514f3d","datavalue":{"value":{"entity-type":"item","numeric-id":5756776,"id":"Q5756776"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a5b5337a0145be006ff5901fa657a2b01f4325","datavalue":{"value":{"amount":"+0.8439359068870544","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":"Q2767928$6B911D73-8D64-4670-8D17-F91C1E3673B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4374daf952f95be8e2d6a4ef5e2444e3d0d7712","datavalue":{"value":{"entity-type":"item","numeric-id":1663215,"id":"Q1663215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d182f30de790fb0f6e4d274b52f52095977391f0","datavalue":{"value":{"amount":"+0.8396055698394775","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":"Q2767928$2B009C0C-DA85-4BE7-88CC-67F088BE0988","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2767928","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2767928"}}}}}