{"entities":{"Q2907343":{"pageid":2918068,"ns":120,"title":"Item:Q2907343","lastrevid":58054776,"modified":"2026-04-03T15:16:39Z","type":"item","id":"Q2907343","labels":{"en":{"language":"en","value":"New Developments in Parsing Mizar"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079514"}},"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":"Q2907343$6A0CEB9A-0307-43DE-BA68-8D26DF9D50C0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"92fba7a271a99ba9e769d728b80bccd3b196d1f2","datavalue":{"value":{"text":"New Developments in Parsing Mizar","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907343$5CD98702-C14D-4503-BB24-A582ABB2132C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5af16c73df81275aabd8d8428f4723e73883a1be","datavalue":{"value":"1360.68743","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907343$232AD052-E714-45CF-8197-82F5206CE9E3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"684f6d93f19ffb41c273b8c4ddfe75b8df08603b","datavalue":{"value":"10.1007/978-3-642-31374-5_30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907343$A83FC155-A484-4D5F-A05C-8326A6751C91","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3deada38484b9fda1df4b39827b6293bd12b2f54","datavalue":{"value":{"entity-type":"item","numeric-id":1663213,"id":"Q1663213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907343$7EE085D3-4A65-4C98-9F0A-E86CB0553F67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"263b3b42f52ae45efd16753ae3b4c5178f9c0385","datavalue":{"value":{"entity-type":"item","numeric-id":456971,"id":"Q456971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907343$869C45F7-2F2A-4793-BFBA-04D255CB727F","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":"Q2907343$24F741EC-DED8-446C-89BE-E9DADAD8F0AC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f0d54a7a192189275358732a85216bf3ce89224c","datavalue":{"value":{"time":"+2012-09-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2907343$FE636FDB-B3E0-4EE0-BA02-93891BF098D3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"85e73dfdaee9d86561a5a644cb3879da9891b853","datavalue":{"value":"https://arxiv.org/abs/1205.0170","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907343$5C53EAEE-AF9C-456B-8ABA-69CF6C3CA9EB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907343$E6DAAB6F-955C-4144-B898-95EC51BC2161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907343$636EECA0-C1C4-45C9-874E-3E40AA4AB88C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"34162d6ce5803883644a7b368c391dfe73b58a10","datavalue":{"value":"6079514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907343$F9B9FA6B-18E5-45AF-8E66-DA776AA6844B","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":"Q2907343$438233DF-B2D6-45A9-A6E9-F8C85A68C994","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":"Q2907343$3CB104CB-BD3B-4184-8FD7-340E4F3CDF2B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"298bf5524fd72a18a0b5477bd68fa0cf582b41c3","datavalue":{"value":"W1959835441","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907343$CF629701-4BF1-4FF1-B0D7-2F831F9885DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4c36d898f969780dd13b76170e6e94b63d6fade9","datavalue":{"value":{"entity-type":"item","numeric-id":3525697,"id":"Q3525697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907343$20C3C569-A8A3-445C-8B09-E7BADF63B77F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cbc69cab2b7d5069acc953a5626227ed8c07a0","datavalue":{"value":{"entity-type":"item","numeric-id":1340050,"id":"Q1340050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907343$D672ACBB-0FBA-40E9-ABB8-7E6618B93BA1","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":"Q2907343$F1956735-0CA3-4F09-8898-22D9A31464D1","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":"Q2907343$358333F1-D205-4B87-BF28-1F395B1FD4BE","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":"Q2907343$D0FDF9B6-BA7A-469B-BB7E-281480ED2CA9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"29535e7ca4d6c47595ffa26b0781a54f23d93f98","datavalue":{"value":{"entity-type":"item","numeric-id":2847392,"id":"Q2847392"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf5f4d48f2208f4c411174a803eb924bdeb5acb5","datavalue":{"value":{"amount":"+0.88045955","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907343$F54FA501-8858-4EB8-AEFD-8A07F0A1AA82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3516626861ad5b5d51852856c4265b54d6bad99a","datavalue":{"value":{"entity-type":"item","numeric-id":6483281,"id":"Q6483281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"841607cd590ec48eb17d31c82bef9674662cef49","datavalue":{"value":{"amount":"+0.84196746","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907343$947FE219-882A-4C52-9B23-A97CF6844A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2552433a8cf6bea5d386e7a2b26beb6ba3debdb5","datavalue":{"value":{"entity-type":"item","numeric-id":5959703,"id":"Q5959703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aefa8d992a3c0d0a57ee72dfb1a4ea1602520250","datavalue":{"value":{"amount":"+0.84196734","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907343$15C5B719-E5EA-4FA8-9747-0143CD0C0227","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a8ea3c68b34b3346bc905b55e23376ff3b32fab","datavalue":{"value":{"entity-type":"item","numeric-id":3000590,"id":"Q3000590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78883ee7dcacc18f4fc71713779433552e794e9c","datavalue":{"value":{"amount":"+0.84146655","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907343$FC0C83B3-7FC3-47B1-9A2C-5CC93060928C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56359fbfe6ca45d4d75cb4cde08d4d2a763ab35b","datavalue":{"value":{"entity-type":"item","numeric-id":5948372,"id":"Q5948372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6d1ad4f07b9acd14fac27c9dcc8dfa77aa3cae5a","datavalue":{"value":{"amount":"+0.83556724","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907343$3491F503-CEC5-45E6-B4B8-CF18B68D9E97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6297a62881c664dd9766cea95c40bb7c3ace191b","datavalue":{"value":{"entity-type":"item","numeric-id":1823714,"id":"Q1823714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eaf7629579ec32daefcd251828494ce49acc8124","datavalue":{"value":{"amount":"+0.8242661","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907343$B3025C87-13C9-433C-A737-2E1C705144C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c56bb40d782aba3cb2bb22f841b5787247352f1","datavalue":{"value":{"entity-type":"item","numeric-id":2776252,"id":"Q2776252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e28c51e9aa1862ddfc397505f7fb4215e4a7fec","datavalue":{"value":{"amount":"+0.8172045","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2907343$B5F9844A-7019-43AD-ACB1-ECC475B6050F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907343","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907343"}}}}}