{"entities":{"Q2462640":{"pageid":2473383,"ns":120,"title":"Item:Q2462640","lastrevid":50226440,"modified":"2026-01-13T14:09:48Z","type":"item","id":"Q2462640","labels":{"en":{"language":"en","value":"Integrating searching and authoring in Mizar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5217105"}},"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":"Q2462640$87A740A8-6490-4E7B-B3EC-AF0B12DC2899","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0f31348256a6624bd4eaabec52dc0f655f67bb9b","datavalue":{"value":{"text":"Integrating searching and authoring in Mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2462640$96D4B382-5BBB-431D-882E-94E46EB35FD2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2388edc78b5af76ab25fe7aff05fb0390332ff0e","datavalue":{"value":"1129.68500","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462640$AAB2C2E1-077A-4DA4-A613-B2A69E2185CD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"61305360990fe21cf14e2994280101640c16e32c","datavalue":{"value":{"entity-type":"item","numeric-id":890054,"id":"Q890054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$58478864-1B48-4743-95C1-432DB360EAED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4c2f814df6a60e444807c544b48a51d0a34ec02d","datavalue":{"value":{"entity-type":"item","numeric-id":1810913,"id":"Q1810913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$5DFF3041-EF18-4113-928A-2EC12FCA7F62","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":"Q2462640$68F16CC0-11E3-45FA-99F9-F76254CDC046","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e9fa6f2f337ef8352aec632547ae6f1ca832f426","datavalue":{"value":{"time":"+2007-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2462640$3B0C08CE-85D8-470A-820A-01056B509A2A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462640$8E4988C6-E734-42D3-AEE9-B27B2C8FA89B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462640$777A6B3F-A54D-4212-9D7F-14616FE3D74D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f764dd28cf85b2d7be88635006b2b1b3946a1d54","datavalue":{"value":"5217105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462640$23B35130-E0D7-4C3E-8AB4-D9B1FC8820C1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cff18c81a96e069e3232c076522f22268a1bc011","datavalue":{"value":"LSI","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462640$7B9DB0F2-9923-45F6-8172-4EECC2D19BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a363275fe80debe5ea297d64df66fc9989fac1c","datavalue":{"value":"Alcor","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462640$CEDA7C7C-3EFD-469E-9243-FF787D41C3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"571c0e1fb7a78a4a545c4f12cd6536c1efe33bd7","datavalue":{"value":"Mizar","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462640$730AE558-8FB0-474A-900D-51C06E49C0BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3eb381912fda53ab0693b1a7aed48d77c430f7ad","datavalue":{"value":"Information retrieval","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462640$F766A439-368C-4192-A5F3-B3A37AD17569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"521f0726227d7aafac1cff176b082ebe961fb7f1","datavalue":{"value":"Mathematics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2462640$E7A5B939-27BB-41B9-AE3E-BD96B07F259F","rank":"normal"}],"P1463":[{"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":"Q2462640$5FE2A0D8-A33A-4D17-9CBA-94F16F1AB738","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bce46bae23f3279b5d301a4fa69c26eb946289f9","datavalue":{"value":{"entity-type":"item","numeric-id":15595,"id":"Q15595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$36685097-37F6-4AD0-87BF-BAC57E3C6A5B","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":"Q2462640$ED2E6745-F273-4890-A131-1EEC047B1BAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6eebe30b9df25d8c347930b235e09f446ddc2fb1","datavalue":{"value":{"entity-type":"item","numeric-id":44157,"id":"Q44157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$7E4B5B8C-A515-4615-ACC8-B40D3065AB35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ff5cc724edec97c9c59e82270ae7837d189c88c7","datavalue":{"value":{"entity-type":"item","numeric-id":12799,"id":"Q12799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$197D9901-0F28-4889-95C4-9CA3620CE58D","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":"Q2462640$CFADE21E-4697-4962-8B60-C9FD11E68D79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"effe99d4b547ffcbc07915d8ced5dc197768f166","datavalue":{"value":{"entity-type":"item","numeric-id":15028,"id":"Q15028"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$01C08122-7268-45CD-8B27-8CA2EDF018B7","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":"Q2462640$6E5C6185-1D1C-4C4F-B628-B33A78B98488","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"48c30aa24a473375a05602843230d1c47ce3d8f3","datavalue":{"value":"https://doi.org/10.1007/s10817-007-9073-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q2462640$5CEA6906-CDF3-49D5-AB3F-FFCB6CF7B5BB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"62c2a8700dcc9b13591474d62f3aadae8951dc3a","datavalue":{"value":"W2100779104","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462640$85654A55-CE2C-427B-871C-5467E2DC3424","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f131984ac3207e136b1a70853479403c8bddbed","datavalue":{"value":{"entity-type":"item","numeric-id":4413877,"id":"Q4413877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$B1FFECF1-2903-4507-BAD5-B9CB60666D18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f399ddd1a94739e468c825a1ae01e81073a4c504","datavalue":{"value":{"entity-type":"item","numeric-id":1396946,"id":"Q1396946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$82123077-8B1D-41A5-AB97-23674981EF6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3db96d49cd835a72b0287fd80a8a1bd9f27d72c8","datavalue":{"value":{"entity-type":"item","numeric-id":704809,"id":"Q704809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$1B357250-4A56-4358-B675-76CEC5667B34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34babec465921f60dcf35356976f5e24742b5ce1","datavalue":{"value":{"entity-type":"item","numeric-id":5898170,"id":"Q5898170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$DA4525E6-EAD2-4F74-AEBE-FD67678BBF71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"307c4cd3464c8600dbbfd076f79f5381061b8199","datavalue":{"value":{"entity-type":"item","numeric-id":4413887,"id":"Q4413887"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$9A770470-1139-4DF6-B3A6-D7E58BD66F99","rank":"normal"},{"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":"Q2462640$155C5F0A-C635-4D88-ADF3-896127271F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d997660ac0bb25fe6c840c3cc2fd320fd2e234cd","datavalue":{"value":{"entity-type":"item","numeric-id":5301859,"id":"Q5301859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$DC29FD4A-86FE-486C-9DC4-E87DF61A1B1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5860496434b02f31784ea993988950d9477c2cd","datavalue":{"value":{"entity-type":"item","numeric-id":5313078,"id":"Q5313078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$D1A2D6FD-C77D-46F6-B757-FF8A14CF9549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f61d834650522c9054666e6c6aaa99520c852527","datavalue":{"value":{"entity-type":"item","numeric-id":2766804,"id":"Q2766804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$8418648D-75D8-4851-AFF6-D2D8607DC2BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ff6402d062eff01c2f00362650be6a2727c694a","datavalue":{"value":{"entity-type":"item","numeric-id":1810918,"id":"Q1810918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$14669891-F712-4D94-A6AB-E2E1A9011DEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd0fc8e1eccde465b8ad59a4b0fe16a5a8a39a0","datavalue":{"value":{"entity-type":"item","numeric-id":1272609,"id":"Q1272609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$C1CDED88-566B-4A2F-A0D1-A98AEBBFACCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62e483db04b713addb6b8ea24f9049bccb9f6dce","datavalue":{"value":{"entity-type":"item","numeric-id":4413891,"id":"Q4413891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$B6A3C654-B53D-450E-A4B9-5C45F1F48D04","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6946adaf1a8c8f141e0757f8f6f8365e21e858a9","datavalue":{"value":{"entity-type":"item","numeric-id":4099559,"id":"Q4099559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$A0331569-8EEC-4CA8-8D84-144335521200","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49cfd6942550ad4a0d31d13bbc5815a4eee0ee","datavalue":{"value":{"entity-type":"item","numeric-id":3154457,"id":"Q3154457"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$15490BA0-1F39-43E1-9A1D-CBC05C3A4181","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6dbaa83286082fe9f22efc1424c5503085916666","datavalue":{"value":{"entity-type":"item","numeric-id":556682,"id":"Q556682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$266E1A63-1DA4-43CD-9B04-CF9805FF76B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae2da92fb913582a601af7173c06716220bbf7eb","datavalue":{"value":{"entity-type":"item","numeric-id":5898530,"id":"Q5898530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$B2216CD9-25A0-47A7-8A05-EDC221133619","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"78b4d4d0b5630ebb8638d125cfce3aede70a13d7","datavalue":{"value":{"entity-type":"item","numeric-id":5462451,"id":"Q5462451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2462640$D5D380E9-B874-4072-AA92-87C9FAC4460C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0daf79f64d0f88f30d62a0f5e6d12a3a4d6adf6e","datavalue":{"value":"10.1007/S10817-007-9073-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2462640$B0B4D172-5161-4244-BEC8-8654A09831D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efe65b0ff0f46d73c021ccb0e441e1cae6f5647a","datavalue":{"value":{"entity-type":"item","numeric-id":5313077,"id":"Q5313077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c8678d9b4e621f00678c474e3ab8ae11d9fc265","datavalue":{"value":{"amount":"+0.8142604827880859","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":"Q2462640$D89E301D-2A14-4BE0-8220-72F26C34C687","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":"acf1470457798ec7be8aeb30ab7b6e2188d83232","datavalue":{"value":{"amount":"+0.7642883658409119","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":"Q2462640$F72A09FE-19FC-4D41-8409-B145FE367B29","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":"9f416a9c3850b0592d927213a533a816d891f20c","datavalue":{"value":{"amount":"+0.7634038329124451","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":"Q2462640$729E4BC6-6C01-4DBA-A04F-D6FAB265BD27","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":"043dbab77af7782065f668dcdb34366a25325afc","datavalue":{"value":{"amount":"+0.7503603100776672","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":"Q2462640$592FEA17-3FBB-4D8F-963A-5F9B4E964D12","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":"605822e09e8f143cb750481c9593b90d30ca1dc9","datavalue":{"value":{"amount":"+0.7358725666999817","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":"Q2462640$18251A6A-8123-485F-9391-9A9C4A62EB19","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2462640","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2462640"}}}}}