{"entities":{"Q1945910":{"pageid":1956652,"ns":120,"title":"Item:Q1945910","lastrevid":69831837,"modified":"2026-04-13T10:38:42Z","type":"item","id":"Q1945910","labels":{"en":{"language":"en","value":"Custom automations in Mizar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6154933"}},"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":"Q1945910$DDE70CE3-0E3C-431C-BFAD-ED6B99C7B22F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a7d2022a42a828bdcf0dcd5f1455a0a175a4d72","datavalue":{"value":{"text":"Custom automations in Mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1945910$EC94E6A6-4163-487A-B131-6B04785A8951","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fead88852d29b54e378b1d390ede7d5ea616d985","datavalue":{"value":"1260.68367","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945910$9F692D4A-5A4A-4F8B-94E4-D86EA60CBA63","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cd203fcc0df99bfc5d96e5da8c712e14410da8f4","datavalue":{"value":{"entity-type":"item","numeric-id":1945909,"id":"Q1945909"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$329D92CF-6DD5-4066-8F2E-48DF079876C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3a13b5756dec6737434f258b1b13cddf7f76f371","datavalue":{"value":{"entity-type":"item","numeric-id":382421,"id":"Q382421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$278445B4-CE4F-40BE-832E-D5348C010E7E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$FD5CB446-E4A3-4849-B87D-FC6E8BD47BA3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4bad757aec17a8570e2102d57df4c93baefd6019","datavalue":{"value":{"time":"+2013-04-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1945910$0E3B13E6-4A87-4265-874F-D6D5D3C5969C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945910$1884C715-7817-4B1E-A12A-57EA3DF65EC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945910$24A06A65-4871-4DD4-AA1F-4B45EB949B84","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"43772a2340c18cd5ada5fb11f90fbb97bfacfedc","datavalue":{"value":"6154933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945910$0A336BEB-C4D1-4273-9A90-25D5FC48CD71","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"997181ddaeb5bd9b98125fe1d37a0d4721209f34","datavalue":{"value":"\\texttt{Mizar} proof verifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945910$10855DA2-E1F0-403F-AD03-0171698806C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"658126897c7f6bf3db78fea48b2876524c1d8c9e","datavalue":{"value":"formalization of mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945910$A4DF4382-63FA-4AEF-9EB6-3EE793B27504","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2fbc0b12040e0e51c6153f4df838aea4d6019f1b","datavalue":{"value":"automations","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945910$7D34207F-6228-4C93-8622-134B17E6243F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q1945910$2C99FD86-5966-4D83-8C96-D53443B3CB2C","rank":"normal"}],"P1463":[{"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":"Q1945910$3722E01E-627E-4DB4-B6B6-A9F0368B61D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7cccd35b34888307d4ad7b137783609eb5c56b79","datavalue":{"value":{"entity-type":"item","numeric-id":16825,"id":"Q16825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$1F744E53-609F-42C2-B58E-81CAFDEAFA61","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":"Q1945910$601DFF76-7E8D-41A8-9EC8-48EC6029FA45","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":"Q1945910$3678D3E1-02BB-4CEB-9628-A28F11ABA848","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":"Q1945910$1B6C6E5D-6224-4AFD-A63A-BAC5F3AE8ABC","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c980c5fd1169b19ab8835b67ade79402f3f09962","datavalue":{"value":"https://doi.org/10.1007/s10817-012-9266-1","type":"string"},"datatype":"url"},"type":"statement","id":"Q1945910$E899C7C8-A02E-4EA7-8E07-C0B2E1406438","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c023377ce9cdfa64ce12f192715ecff779ac1036","datavalue":{"value":"W2007976915","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945910$6E31BABC-8D67-49D1-8903-959D36C83BCA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e4028b0215dcfb37982ffb4f5fd7958ff82b3a7","datavalue":{"value":{"entity-type":"item","numeric-id":5313077,"id":"Q5313077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$57B7BBB9-AAFB-498F-B930-91727AACF619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca93c702af9a6dee1cf6982598ec3a37fbcd9d1","datavalue":{"value":{"entity-type":"item","numeric-id":2462640,"id":"Q2462640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$203EE822-A0A2-4D48-99D4-0747AE097496","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"826784b29471391d5a5452f2c4d9d6a0b54febd0","datavalue":{"value":{"entity-type":"item","numeric-id":2865746,"id":"Q2865746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$2E079870-4108-4F41-BE2F-5995AAED0E7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1bab11b75e766c233c3a1b9a3682b90b0e288d","datavalue":{"value":{"entity-type":"item","numeric-id":3075247,"id":"Q3075247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$67965B8C-32C3-4324-9486-FC6A36B89AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec41d91b97fe450aba006d86ee1b6e337fcab2ff","datavalue":{"value":{"entity-type":"item","numeric-id":5313068,"id":"Q5313068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$7382BAA7-E8B3-4393-A58A-4C14C48485BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18eae0d93c62338c42d5358a66e2303bf3601de","datavalue":{"value":{"entity-type":"item","numeric-id":1961913,"id":"Q1961913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$6AD03589-5F2D-4B2D-9632-1892C58AEBC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b514a4f7338b45fdf5de5487918e2ae3d624f2f1","datavalue":{"value":{"entity-type":"item","numeric-id":865631,"id":"Q865631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$28E5FA32-861C-4002-AB76-ADA8C9C36C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b89338c6f304b64ad813e99d2dac647af4bb15f","datavalue":{"value":{"entity-type":"item","numeric-id":3523189,"id":"Q3523189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1945910$AB3FDD53-2993-4DC4-9E2D-3C4154FF7FDA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7333ca12bf2722680bfdd4563b6e7673415f323d","datavalue":{"value":"10.1007/S10817-012-9266-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1945910$3D05BA18-18A6-49FD-9405-F5FBE2B38261","rank":"normal"}],"P1643":[{"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":"9243e4061b4fc7a45b7109aaea1bb000dce0582e","datavalue":{"value":{"amount":"+0.8163644075393677","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":"Q1945910$A2011995-1F8D-42E4-84E8-6C6718EC1413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1d58b013c3497a81753f3a27ec5d4fd9a1243ab7","datavalue":{"value":{"entity-type":"item","numeric-id":865631,"id":"Q865631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab3209605ed88b8f93d1a0af03e4dfdf37caf2f1","datavalue":{"value":{"amount":"+0.7978703379631042","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":"Q1945910$9D3CBCE7-0601-4B77-93EB-FE6D4CA49865","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":"c3ab20a5200bc41748975f3011ad57f3eae582e0","datavalue":{"value":{"amount":"+0.7962925434112549","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":"Q1945910$2F479E80-814B-44E6-822A-98AF4D9F52CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8269cbe32ee7e7512808f0542548ae6b2bbe571d","datavalue":{"value":{"entity-type":"item","numeric-id":865630,"id":"Q865630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13028fbe3d46b77ab9bfb63d4351d3482da77290","datavalue":{"value":{"amount":"+0.7898404002189636","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":"Q1945910$2A75A8C4-0D12-4B02-B919-110158544809","rank":"normal"},{"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":"9bc2d882490911bedb3e297a3ae287cbdf0fcb7d","datavalue":{"value":{"amount":"+0.7855039238929749","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":"Q1945910$81D4A7B5-C7F4-4F06-A411-90E416BDB94F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Custom automations in Mizar","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Custom_automations_in_Mizar"}}}}}