{"entities":{"Q2907320":{"pageid":2918045,"ns":120,"title":"Item:Q2907320","lastrevid":58054815,"modified":"2026-04-03T15:16:54Z","type":"item","id":"Q2907320","labels":{"en":{"language":"en","value":"A query language for formal mathematical libraries"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6079494"}},"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":"Q2907320$AAD52712-997E-45F1-B5D8-E5D8544E435B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95bc4370a99bf0e7ecc48808d60f3ccf11b8d41d","datavalue":{"value":{"text":"A Query Language for Formal Mathematical Libraries","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2907320$841454F1-3A93-4A80-A61A-304B6CBD0491","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"344f8fac3402047cf777fd7e05353ed0936a1f65","datavalue":{"value":"1359.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907320$93A4C0F7-F411-4696-9D03-F55DD6E3AD14","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ce48619d0fe792ce369bb4cbd40ad65159559f8","datavalue":{"value":"10.1007/978-3-642-31374-5_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907320$7DC3E370-0FC3-4EB9-8FAF-CFFC6496373F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc5ea7724245f13d1458583f67e1c62f50c4bfe7","datavalue":{"value":{"entity-type":"item","numeric-id":263102,"id":"Q263102"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$9F190F3A-0A84-4F0F-972B-9DC1FE28C656","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":"Q2907320$3D66A108-E245-4EF1-BF56-57AFBF2F800E","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":"Q2907320$7FD4096B-0EB2-4BBC-8BE5-FBE638DD2CB6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"88d1b63927f4fcc5df9c3c79b9cf1000f491949b","datavalue":{"value":"https://arxiv.org/abs/1204.4685","type":"string"},"datatype":"url"},"type":"statement","id":"Q2907320$810E99FE-152E-438E-A4F9-F0B4A07CBC9B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907320$AC8BD620-7B95-4A65-9ABC-ADF6D10163AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a762d1a2468ec8882180d0d1124f12b94f8eb1b0","datavalue":{"value":"68P20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907320$319C217A-4393-4393-A5B9-3FE1A7684993","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a50ad10d859c37581a66df0bd2c759d3d47ad6a4","datavalue":{"value":"68U35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907320$06EED178-C1E5-4F05-975B-90B35ACB5D40","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"693f2035698185f7898ee639976d3b99fa4bc118","datavalue":{"value":"6079494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907320$910FBEF2-2B0B-4465-87AD-B0AEBA0012FE","rank":"normal"}],"P1463":[{"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":"Q2907320$0343C56B-32C4-4BE7-9ED1-3A4A4BD8BDF1","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":"Q2907320$728C89EF-CF6D-4B9C-A083-476C7E8ED5D1","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":"Q2907320$8E000A5B-1931-479B-AEB5-8B6430D16EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a6b52559bfe02edc7084e5e5b8ae9f8a164b32c4","datavalue":{"value":{"entity-type":"item","numeric-id":19194,"id":"Q19194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$5F55B225-84E6-4985-B1E9-37DD3D4963F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"899a6f25f27405e44d03e65a179ef023190c6f80","datavalue":{"value":{"entity-type":"item","numeric-id":16066,"id":"Q16066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$DB4A8BC5-C943-4FC0-9FE1-78D9F27A566F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b3d79b8b392d9701f6cbf0671ff230a2010e255a","datavalue":{"value":{"entity-type":"item","numeric-id":19191,"id":"Q19191"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$5FEBDF61-43CD-4756-B5F2-B394638BFB36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"771503fee8982049925eed89301d9abaf6576239","datavalue":{"value":{"entity-type":"item","numeric-id":19192,"id":"Q19192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$A60A5DD8-AC6A-4F10-AA2D-02363CE4E745","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":"Q2907320$DC29AA03-AAE1-4FDF-A656-0D68F39A459B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5a0b1183ff6f0e2e0306ef8fcfc03683b18ddbe1","datavalue":{"value":"W1581739545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2907320$3859987D-4007-4A3B-B56C-B4BBDDE45E14","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df488e7f43b5d60881d5d0a2a1f6fb9f85b143d","datavalue":{"value":{"entity-type":"item","numeric-id":2891442,"id":"Q2891442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$E0235643-C065-4BC0-B107-60521C45D67B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bef750f1994cb3452ef45068b91b9db01f841b8b","datavalue":{"value":{"entity-type":"item","numeric-id":5313065,"id":"Q5313065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$1B96C43F-85CB-427C-B24E-6CC52EED4414","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2975c48ce28b8be22fdb275cc0a131f9c3ff0fdd","datavalue":{"value":{"entity-type":"item","numeric-id":841691,"id":"Q841691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$3AD806F1-6B4B-4BCE-B2C3-B620021D334C","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":"Q2907320$D326603F-817D-4017-A447-2DCF581580C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23b176c2a356ba8de8a18b774ac2537d3b09f8fb","datavalue":{"value":{"entity-type":"item","numeric-id":5200129,"id":"Q5200129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$8376ED88-0395-4344-9F05-75D11802EFEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5193e6a5a3c0a2fde95ed5212e577b55eaa533fa","datavalue":{"value":{"entity-type":"item","numeric-id":4413879,"id":"Q4413879"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$76391D38-4F82-4369-84D3-028422A06838","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"021e6e2184fd3d7f831680d56b426b95217eac7a","datavalue":{"value":{"entity-type":"item","numeric-id":4033837,"id":"Q4033837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$3C8CB787-07BA-4028-ABBE-1284886415B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f055bb916adf2f96e3b1461e1c552f8808f9928","datavalue":{"value":{"entity-type":"item","numeric-id":3582723,"id":"Q3582723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$8C9A432C-DD6F-4098-B06C-3CCA02D0EF5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf6a395829399d3d45159f120b01ff4ca25d7a2f","datavalue":{"value":{"entity-type":"item","numeric-id":5302917,"id":"Q5302917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$E4E79063-1273-4DB9-A9BE-955F912E6F68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a68be8b1027c025bcbcaa019aefc16e0d73d111","datavalue":{"value":{"entity-type":"item","numeric-id":5747828,"id":"Q5747828"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$806FB362-A102-4804-A1DF-1B022A97519E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5cc1805f858f00d5d5bc8e375163f8d47b29af6f","datavalue":{"value":{"entity-type":"item","numeric-id":3398150,"id":"Q3398150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$70597731-F640-47BF-A686-FDE3B9CFD3F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cdfaaf1ec1883fdc9c71a289dd96427787b20d4a","datavalue":{"value":{"entity-type":"item","numeric-id":1810916,"id":"Q1810916"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$7F02476D-B52E-4D39-BF02-DD5C65117D7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dedc68dadd430a8cbde5a901ead9a15c139e567","datavalue":{"value":{"entity-type":"item","numeric-id":2843035,"id":"Q2843035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$A560B347-E32E-4C78-809E-000478F6285F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e46d03ed8baa9ae878960109d39dea9a2288f13","datavalue":{"value":{"entity-type":"item","numeric-id":391632,"id":"Q391632"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$349E1886-5EF6-457F-85F8-9D183412A69F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e29af3b1c3fb09d02f88592cbe04a80f8e66ed38","datavalue":{"value":{"entity-type":"item","numeric-id":5200121,"id":"Q5200121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$B709477D-A513-47CE-994B-96B085C71E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c5b09e879fc9e6d166a18cb26ec583e2bf401aa","datavalue":{"value":{"entity-type":"item","numeric-id":1272614,"id":"Q1272614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2907320$CA3BE9B0-9CBD-459F-B535-75A19B6503C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b9778d418778bd8b23dc6b7fb0a83b6b1f7ed67b","datavalue":{"value":{"entity-type":"item","numeric-id":2219379,"id":"Q2219379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"35810012f8b21e9db9957514ea8794df8aee03e9","datavalue":{"value":{"amount":"+0.807814359664917","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":"Q2907320$A712782B-7D60-4A62-B406-7E8D6E35B9D6","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":"8a6bf72391c08333d5108d1d7eb222f02359c8c5","datavalue":{"value":{"amount":"+0.7823140621185303","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":"Q2907320$F2359AB4-5074-4C62-A0ED-874A0D92A2AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1812b45fb8f4dd2b0a3ccff89b080a6779835147","datavalue":{"value":{"entity-type":"item","numeric-id":4413886,"id":"Q4413886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8d25717cf23d8fa49aa937d49a8e556acab02bb6","datavalue":{"value":{"amount":"+0.7733249664306641","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":"Q2907320$5880A821-6A9B-4D1B-ABFC-45DD135850E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32ceb510b3e90efbecbc30c0b99eb588c2a195ac","datavalue":{"value":{"entity-type":"item","numeric-id":5302917,"id":"Q5302917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a29291e5b7635534f7515b6f7860478cf571f2a","datavalue":{"value":{"amount":"+0.7671321630477905","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":"Q2907320$2819478E-DA6E-4BAA-9BB7-30DB25DFB4C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcb44f7f5d2f2b81c2b74a73ea2db15564a102f4","datavalue":{"value":{"entity-type":"item","numeric-id":2287899,"id":"Q2287899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9f0608b2a6fa598065790d35be83d5dab4e6906b","datavalue":{"value":{"amount":"+0.7618908882141113","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":"Q2907320$75FF0ACF-A9A2-4193-9E46-6C5EE0DBD928","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2907320","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2907320"}}}}}