{"entities":{"Q865648":{"pageid":867496,"ns":120,"title":"Item:Q865648","lastrevid":65005872,"modified":"2026-04-11T23:41:06Z","type":"item","id":"Q865648","labels":{"en":{"language":"en","value":"A proof-centric approach to mathematical assistants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5128349"}},"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":"Q865648$929BF281-6BD6-4A63-9B6A-738736D7870C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"126371d832785454bc550b06414e703e5b0e2849","datavalue":{"value":{"text":"A proof-centric approach to mathematical assistants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q865648$DCCB1F8E-463E-498B-9F5D-08B79F98C2E9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b416b733f0af875b87d79cdeddd1e1b62d6129a8","datavalue":{"value":"1107.68096","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865648$63E2E8B3-C263-4C2C-B007-02C5E4076D14","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"264da1f1819ab39093e1bf553dc9247ae5239bab","datavalue":{"value":{"entity-type":"item","numeric-id":438541,"id":"Q438541"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$5D2BEF6B-F4FF-48E8-863A-2283A83F9E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d78e8b1fd2bada0896418639974db329feb4fe3","datavalue":{"value":{"entity-type":"item","numeric-id":2102945,"id":"Q2102945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$80FE0E50-E0DC-42D1-A75E-3485559348A4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$9529E42B-6493-49BB-9F18-407A3502AE85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6a3b01ed43848088ad19bc3cf2f29651a0e98f7","datavalue":{"value":{"time":"+2007-02-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q865648$ACD98C5F-34A2-459E-80B6-7C7103F5DB98","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c70240af665512f7cef39dc5a4d5fecbc62ed29","datavalue":{"value":"https://www.pure.ed.ac.uk/ws/files/22995251/1_s2.0_S1570868305000728_main.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q865648$96914031-657B-4BFC-B4B7-E37E48DD3D42","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865648$D2B18DF8-1F46-4687-9446-C39A7AD0C550","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d2f4c1b61b404bae8a03d51c719f2637a6b5db3","datavalue":{"value":"5128349","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865648$1DC417CD-8350-4BB2-99B0-45AEE14F2369","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e925d21691ae524cbfb2c7846fe00986c22417c","datavalue":{"value":"proof planning","type":"string"},"datatype":"string"},"type":"statement","id":"Q865648$E164C810-A2B6-4812-B738-D1DE6FBD5149","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7eefb2b1f5e1ddd95f5db204b23cfb4c53d0151","datavalue":{"value":"Isabelle","type":"string"},"datatype":"string"},"type":"statement","id":"Q865648$EB1141C1-0852-4216-A298-40AAC47D6E05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f5c8a524d27995a5687a5d780e9ca26fe15201b","datavalue":{"value":"Isar","type":"string"},"datatype":"string"},"type":"statement","id":"Q865648$869EBDB3-A7AB-46AE-A2D3-25D30B1C657E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8930cda3bc661d90aab3377f55e303d9c61666e","datavalue":{"value":"IsaPlanner","type":"string"},"datatype":"string"},"type":"statement","id":"Q865648$FA2B2A6C-1CE0-4BB6-A684-1EEDAA9CD1BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q865648$5DEF20DB-742A-4FAF-9432-90AF66483737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6a78675f0dcb3af511ac1d4dfa61901e828bcb8","datavalue":{"value":"proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q865648$E7F10AF7-B9FD-4813-9C06-06FE9F676527","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$7ED6EDEE-10CD-4B5B-8CE8-037710875CF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5fcda2c98ddff866834785339eb37077e5eb1fe","datavalue":{"value":{"entity-type":"item","numeric-id":13212,"id":"Q13212"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$8A598994-1CC5-42B7-8050-09D2070D5AAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9c40cf9a35904f638a7cabef2bc178bad46391f7","datavalue":{"value":{"entity-type":"item","numeric-id":13717,"id":"Q13717"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$366BB905-0A16-47F7-9ECB-8EA12CA7DDB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab1ccc8faeab7e6c417af9846c477f0e521ebe1b","datavalue":{"value":{"entity-type":"item","numeric-id":14592,"id":"Q14592"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$8D918E1A-CE91-4225-AEAF-57769DF26939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"dbc86243be83eaebc3211af42c1ae1de02648ae0","datavalue":{"value":{"entity-type":"item","numeric-id":17050,"id":"Q17050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$6C896FCA-63DC-41D6-8367-358CA66ABC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c271564990b51b3fdbf68356ca04e9947a77eba1","datavalue":{"value":{"entity-type":"item","numeric-id":17051,"id":"Q17051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$E6BB7C1D-AA41-4697-9B08-06AD2A554307","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9aeef25d5839625565921d83cf1c652bf6f2fbf6","datavalue":{"value":{"entity-type":"item","numeric-id":17052,"id":"Q17052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$E2565511-F766-43B2-B23B-C93598DFE9E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2b02b46847f3d7e3a5825b9484a88607b98dbd14","datavalue":{"value":{"entity-type":"item","numeric-id":13958,"id":"Q13958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$A656A601-A8BC-4610-AB81-520548FA5AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b222922e2b373ab7fb2b7a049f9de07c755ee255","datavalue":{"value":{"entity-type":"item","numeric-id":16770,"id":"Q16770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$45E0F230-07C0-4CA4-B3AB-4C9A6469053C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f1c3bebe77adf598f50deb4742409c08fba85245","datavalue":{"value":{"entity-type":"item","numeric-id":17495,"id":"Q17495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$A14E91FC-16E1-4EE1-9569-B8CC8930D14F","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":"Q865648$185E259E-6E5B-46EC-80B1-1F267EFD72FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ec97af8dbde1b3f52d57c157b7fa0c737d48882a","datavalue":{"value":{"entity-type":"item","numeric-id":31439,"id":"Q31439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$09BD9A01-439A-4BB9-BF94-1E05074A9390","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f231912461a4cf859d87b4356c5e2a2037e1e84","datavalue":{"value":{"entity-type":"item","numeric-id":17631,"id":"Q17631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$4389E067-C1E3-47A7-884D-6696113254A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"27b6ae20da44d6f09b655d9481cc0df08a8ffcdf","datavalue":{"value":{"entity-type":"item","numeric-id":18826,"id":"Q18826"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$58FA4712-D3D9-4896-B8E8-1A596B63AA63","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":"Q865648$F5CF675D-4141-45A7-AA38-CF37F9BF5D84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5c75cf5ca0d779c43515bd8786db596047fa9858","datavalue":{"value":"W2099924673","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865648$360DEC52-A605-46DC-A22A-05F8374C20C4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$FE69E112-6026-4E01-8D84-8CB46767E06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fec4ebbd0f7e0440d7bf45181d3d2e0b25e7779","datavalue":{"value":{"entity-type":"item","numeric-id":2847390,"id":"Q2847390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$41406B16-B3AF-4CF7-94B5-4D99D2E33620","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25f0acc466158a903ebc55021e2a6a9064d5094b","datavalue":{"value":{"entity-type":"item","numeric-id":4945208,"id":"Q4945208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$FF3FD6D9-7270-4F49-A1DB-CC7B05C96781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"502ad8224b7ee39a96e36cfcfba1b8b740baa8c6","datavalue":{"value":{"entity-type":"item","numeric-id":4790672,"id":"Q4790672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$F26EDC7D-FC36-4B2A-9048-A9003FC4D343","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f2503feeec7eab5bebfae2eefbab2a7d275b1f6","datavalue":{"value":{"entity-type":"item","numeric-id":5712318,"id":"Q5712318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$A540FED9-2CC8-4344-9953-F15454BBD049","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7db98659fd0d8d989353341e0c12c4246dfe6ee1","datavalue":{"value":{"entity-type":"item","numeric-id":1915134,"id":"Q1915134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$894F6D08-DE75-41AE-875D-631B7EA1E298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5598b9c8536e48580f953ce5c173b0d0770e3a8","datavalue":{"value":{"entity-type":"item","numeric-id":4229404,"id":"Q4229404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$F43BB589-4D28-4177-8F53-7B0A96BFF881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42ba0d7a787c3ddf27f1ee78a59c4dec37184a75","datavalue":{"value":{"entity-type":"item","numeric-id":4520767,"id":"Q4520767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$A74D7514-5B1F-4F38-A1AC-A0515C72146E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35fef3348d09225dba34212d74d8ab7ecf07ad26","datavalue":{"value":{"entity-type":"item","numeric-id":2767093,"id":"Q2767093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$C5F23258-32B6-4842-8A3E-E7D36C72548F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22a238ed6c54d87ec163b1a7cb181d6ef07206ba","datavalue":{"value":{"entity-type":"item","numeric-id":3804239,"id":"Q3804239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$F1F57284-F569-43B4-A3A7-D5884068FC3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e1c165ac017b0fdebcae7fb80e24faa99c5a2d3","datavalue":{"value":{"entity-type":"item","numeric-id":5464664,"id":"Q5464664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$2DFD629B-9F1D-427E-BE02-C4DFCDB471D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0a42635e354ed5a90dff7abb6b01b6c7ff160dc","datavalue":{"value":{"entity-type":"item","numeric-id":5462949,"id":"Q5462949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$C3D5A0DE-E725-4D5D-9F83-D7517E2373CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2c8dda6bdcc68a3bf9c57820e44004003ef6396","datavalue":{"value":{"entity-type":"item","numeric-id":2739733,"id":"Q2739733"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$B978ABB6-CD28-4CEC-AC50-215FE3AFC3CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d7991ac9e7cdf85ee75bde2eeaeec3be8a2a07","datavalue":{"value":{"entity-type":"item","numeric-id":3559773,"id":"Q3559773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$073C806B-7AC7-4D4B-8CD7-CE5FB6595B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a655377852f4fbc1e40cdceec18686655bda680","datavalue":{"value":{"entity-type":"item","numeric-id":5712320,"id":"Q5712320"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$8EE36942-2DFE-435C-8D77-A6DC419FD6EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b570dc51ad23d1e9cb47c7083a0b7b043b06071","datavalue":{"value":{"entity-type":"item","numeric-id":5592242,"id":"Q5592242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$F0CEAF47-17BD-4D02-8642-FD41DC00EF07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"436d4ddccf9258c9f31fa193f202f774ffec18b8","datavalue":{"value":{"entity-type":"item","numeric-id":1250704,"id":"Q1250704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$58E3CCFB-B61A-4B72-A4FC-06BFA03664F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"50bfa2e117edb9cc1db8207f4a56b574498f0c14","datavalue":{"value":{"entity-type":"item","numeric-id":5464644,"id":"Q5464644"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$70A45AC9-2203-4D23-B6C7-D09853C5796C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77ec82760a5433dd8f805cb34a0e9fea096dce9b","datavalue":{"value":{"entity-type":"item","numeric-id":4413886,"id":"Q4413886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$2419DF1C-D0D2-410A-917E-480CD5A421DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c77a336cec51115f83ddcee5cc4b7a1820c95222","datavalue":{"value":{"entity-type":"item","numeric-id":2722016,"id":"Q2722016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$FD317999-B4C4-44CE-894B-5761A4527518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216559cea76cbd7bebdc584718098a2b0e882117","datavalue":{"value":{"entity-type":"item","numeric-id":5307074,"id":"Q5307074"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$058DCA80-29AB-4801-8ABF-FAB534F3E4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4133cc3f6d012e4eb1d1464f6a6670f5d96aa8a","datavalue":{"value":{"entity-type":"item","numeric-id":4376491,"id":"Q4376491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$30ED89D1-3B0D-43F3-918B-25256614D2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d3ac9f0c95551273a83d602a0f5d3ca47a2d8263","datavalue":{"value":{"entity-type":"item","numeric-id":4135023,"id":"Q4135023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$2009313E-BC95-4C5E-BE3D-29B3DAF1787C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b30f251a9bd5b05c898db8d902209f9dbbeacf5","datavalue":{"value":{"entity-type":"item","numeric-id":4664927,"id":"Q4664927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$D5BCE5DE-31DE-4542-B8C2-A016BE907B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"df6d745c28f41f3f6887e89cc1ca892988e70309","datavalue":{"value":{"entity-type":"item","numeric-id":5287513,"id":"Q5287513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$E9E243B0-6DB5-4210-90F2-7ABC8751809D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2754d25527675408ed3affc07580830095fee66","datavalue":{"value":{"entity-type":"item","numeric-id":2723416,"id":"Q2723416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$92B56029-9692-4715-B5B3-E63E5185358E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b3ad0eeac3b2d9aea59d4e0a75de4182d01753ee","datavalue":{"value":{"entity-type":"item","numeric-id":1923825,"id":"Q1923825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q865648$3883FD31-B54E-4919-B9A2-63EE2E7EC1F2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e57817b748a5eb34d12406ee1e0df1a1a17df8d4","datavalue":{"value":"10.1016/J.JAL.2005.10.007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q865648$810B5417-C26F-4757-AC3D-283E8EFC6EBB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0836461b86e5f3f9b2683c3a2c12fce3a6959131","datavalue":{"value":{"entity-type":"item","numeric-id":4664918,"id":"Q4664918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24456150d8ee2626de60577d86ec1cbec38c9c40","datavalue":{"value":{"amount":"+0.8058255314826965","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":"Q865648$5AE94A1E-EFFB-4BEA-AD4A-C4D399E0781D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e11b650df2e6b564bded20ddda37e11cb0358967","datavalue":{"value":{"entity-type":"item","numeric-id":5313072,"id":"Q5313072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1138cac96f07d510837547e8097797d19455fa4","datavalue":{"value":{"amount":"+0.7717339396476746","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":"Q865648$7C8FF739-6307-4DEE-B71F-2CF024C9BD8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"19203accc4a7a22b6e0e7ded8f7f4df3e916088d","datavalue":{"value":{"entity-type":"item","numeric-id":5898512,"id":"Q5898512"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ab3e47e7300f7ff8907cfd7ee37e9bd5e443081","datavalue":{"value":{"amount":"+0.7680892944335938","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":"Q865648$D9498F43-5513-46E1-85D3-D07369F99002","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"353f83759ee34b781b1cadc49c3f90042799760c","datavalue":{"value":{"entity-type":"item","numeric-id":5200122,"id":"Q5200122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d3681aa5d12f8c0ff4cc4c9a152e2b3b4f95f10","datavalue":{"value":{"amount":"+0.7609034776687622","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":"Q865648$E27B2B77-E6D7-4493-A761-4A85343C86D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d66339c795d505f780406e18e20e0f95f8bd017d","datavalue":{"value":{"entity-type":"item","numeric-id":2729065,"id":"Q2729065"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9cd0c2405917ef17bf4b818aa6fbd80031f086d9","datavalue":{"value":{"amount":"+0.753034234046936","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":"Q865648$9B996995-2C87-4B5C-8D26-F30240811BBC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A proof-centric approach to mathematical assistants","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_proof-centric_approach_to_mathematical_assistants"}}}}}