{"entities":{"Q3453128":{"pageid":5232528,"ns":120,"title":"Item:Q3453128","lastrevid":58181457,"modified":"2026-04-04T03:27:44Z","type":"item","id":"Q3453128","labels":{"en":{"language":"en","value":"\\textsc{LeoPARD} -- a generic platform for the implementation of higher-order reasoners"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512428"}},"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":"Q3453128$90BB9234-F5AD-4850-90C7-35D457032BB3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"578001eb77a4fe1310e328319283cbb7ad5db7f9","datavalue":{"value":{"text":"LeoPARD \u2014 A Generic Platform for the Implementation of Higher-Order Reasoners","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453128$EC8E304B-541C-4D3D-B0BF-7424D03D8422","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"63ec66f06bf42e9c1d09704ba24e3fd19ebb7d72","datavalue":{"value":"1417.68196","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453128$E75DBE98-383A-45E9-B361-51ED397057E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d447184428d4e62b330e1cfe9d133c8329f4cd90","datavalue":{"value":"10.1007/978-3-319-20615-8_22","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453128$C85A6809-7EF2-4A7F-B618-BC451479CFA6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7983d331bfbee6536f2ed75de34761213755f507","datavalue":{"value":{"entity-type":"item","numeric-id":2817935,"id":"Q2817935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$2BD2825A-9AF3-4425-83CE-D0A52229B4F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d804cf7e485bfddfeb0967f0a2ed09ee96e11180","datavalue":{"value":{"entity-type":"item","numeric-id":1799071,"id":"Q1799071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$F8FDA5B8-BEBC-4B7F-AEA3-72639AB498FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a525f7cd8b191ac2b9090383b0dabde3689f4ff2","datavalue":{"value":{"entity-type":"item","numeric-id":287280,"id":"Q287280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$4F3D9A3D-5C1F-4701-A6C7-AAADA8ED53C5","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":"Q3453128$EAB411ED-94F4-44AC-914E-8403AFAF78A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-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":"Q3453128$FD5754E8-F945-4D40-A5C5-C1B861D16A8A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d7a6c9c135b4b38c31f1a292b1b88de01fae2802","datavalue":{"value":"https://arxiv.org/abs/1505.01629","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453128$AA3B7D66-9CDA-4B29-B04D-D8C88E1C3321","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453128$D47567AD-524D-4AF2-A996-0281826AF78B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453128$49AF446C-23C9-4386-A1CA-524BFC447DE0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5c17653b9846aba0e7b668930c7927d07c951699","datavalue":{"value":"6512428","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453128$CE428EE4-7177-4507-96F0-4B7140D7F370","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$4C983F9A-0604-4457-992E-514E0FFA21A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8617a61c90a632f23d3851deb94e1069d2479a78","datavalue":{"value":{"entity-type":"item","numeric-id":13268,"id":"Q13268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$0A53CA99-B22B-4573-B760-0565A0D4C53F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42d0367ffc4d2b82e6fb2192cfde6351c1daa402","datavalue":{"value":{"entity-type":"item","numeric-id":31432,"id":"Q31432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$F67C3E0F-BC2C-4336-9F85-A01CC25C3941","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":"Q3453128$C96919AC-E991-4A5E-9B54-D7B7115C42E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"491e4169c914222bc349264f15b36cbf2c3ef446","datavalue":{"value":{"entity-type":"item","numeric-id":18920,"id":"Q18920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$9615C72E-6EC1-4141-BE8F-7AD1420C97DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$26F3C7D7-487F-4B02-A821-6B32B723B8D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a8e56b54ce67b3f3451fae93e0a157bd7197fba1","datavalue":{"value":{"entity-type":"item","numeric-id":21444,"id":"Q21444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$48F7ED39-699E-47FA-91D0-9DA0C9BAA36F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"6d5babe97f2f56351f377ba7c3d7378d6a3c2e47","datavalue":{"value":{"entity-type":"item","numeric-id":30355,"id":"Q30355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$0B9C1A14-9886-4AE0-B3FA-58B6F1195439","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3e00406e30ce785ebbefaf806da7a5b8ebf8458","datavalue":{"value":{"entity-type":"item","numeric-id":33172,"id":"Q33172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$7EA7E0D0-15DA-42FC-B34E-935D593CDB7D","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":"Q3453128$4AA7D972-A4DF-4453-A5E9-95824D278EFE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"521010a79d60cb4701554322eaa1803b9bcf95a6","datavalue":{"value":"W2963739488","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453128$55DE7AC6-9002-4A02-A6AD-45019BB53162","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"5249c80fcd11fa0612fb7dd29644b8dc29907a14","datavalue":{"value":{"entity-type":"item","numeric-id":4939690,"id":"Q4939690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$12534602-2B9B-45AE-92F8-B09776FBCAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"94d093787d669b091c2e3a9dd916b22f1be82962","datavalue":{"value":{"entity-type":"item","numeric-id":2783476,"id":"Q2783476"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$88A77466-2F76-4DBB-889A-296223A0D179","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d63e1d2c1097bf56f38b3464089e43c611b33ec4","datavalue":{"value":{"entity-type":"item","numeric-id":4939697,"id":"Q4939697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$86F07757-167A-405A-9EEA-BC88A7C289FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d50f9b20abc7285fd5361237d7cf5117ea12cb6","datavalue":{"value":{"entity-type":"item","numeric-id":2751539,"id":"Q2751539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$22EF7730-323F-476E-B721-2EFC50F9DE91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3526b6dc59fcce39025ddb78a0186693039ed731","datavalue":{"value":{"entity-type":"item","numeric-id":946572,"id":"Q946572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$3E932DDD-B534-4D1D-B86B-79EBB432F5A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4adc22ed174f33297ffa675f67b5ee27a98ff71c","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$5BFAA25B-04CF-4F66-BA16-66C791896A76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2f6a505c48f7ed8fbc36053c87307f799e1a7f54","datavalue":{"value":{"entity-type":"item","numeric-id":2351158,"id":"Q2351158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$7E30893E-A44B-42C0-98E2-FD238C4FD53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ba795f42c409260a07390f821dadc09ea0ef4ac","datavalue":{"value":{"entity-type":"item","numeric-id":1601867,"id":"Q1601867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$010AFC6F-1A88-4ED5-B24F-19EFF6014245","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"73747d1be528c82497c6517bd1ecf143bfa790b1","datavalue":{"value":{"entity-type":"item","numeric-id":2908482,"id":"Q2908482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$3890B801-0900-49AF-B9DF-A834212E20EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70d5dcacdf82491509f047ffa7adf630e71ade90","datavalue":{"value":{"entity-type":"item","numeric-id":5667469,"id":"Q5667469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$6D0A40E8-B5A2-446E-ABEA-DB56206345B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6886200fb8e4f741668d6d6a25ed1111c066542d","datavalue":{"value":{"entity-type":"item","numeric-id":4444935,"id":"Q4444935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$F19F61AA-274E-4D41-AC8D-632E44C601D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3ebd2134f394c79633368977edccb4641841638f","datavalue":{"value":{"entity-type":"item","numeric-id":3541698,"id":"Q3541698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$4494A954-1D97-48FB-806D-EA180FF4D991","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74447164b3a50d8fb3d1ce4e90934abaa5e7d915","datavalue":{"value":{"entity-type":"item","numeric-id":1854262,"id":"Q1854262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$0B9D3701-E5DC-4936-99B6-C0FA6239D24C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$43997830-8917-4BC9-8D20-24FECC8203C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f707d41b44671464c5d9fbd310386196c74d6c07","datavalue":{"value":{"entity-type":"item","numeric-id":2751378,"id":"Q2751378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$A70CE33E-9726-4C36-A815-98FA591739EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16c58bccac3eb8e167d77acc1c92ca853e7a5fcc","datavalue":{"value":{"entity-type":"item","numeric-id":2655326,"id":"Q2655326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$4349685D-7A79-4802-BB7C-620DFDDA708A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea4ee858c8544ddaa2b36ea8b7a73636ae5df893","datavalue":{"value":{"entity-type":"item","numeric-id":3075241,"id":"Q3075241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453128$483C0C6E-4064-4E52-8C49-27F7262A36D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb697da6731caef5109d80b7ba8e021555045823","datavalue":{"value":{"entity-type":"item","numeric-id":3541699,"id":"Q3541699"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25ffe509b6ee482b6139f62d448ba8a7237c5cd2","datavalue":{"value":{"amount":"+0.7454778552055359","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":"Q3453128$18A2D442-3DE2-4CAB-9EA1-90285359A831","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2a77260c5c813d21764d59a1fec5766803eafe5","datavalue":{"value":{"entity-type":"item","numeric-id":287283,"id":"Q287283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac9a46e885dff3630e5e242c71b32eb023eebe3e","datavalue":{"value":{"amount":"+0.7452591061592102","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":"Q3453128$3CB37721-E494-4DAD-82CF-603F04386CD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"496052fc3273e7e47cd8686294fee309f85ea3be","datavalue":{"value":{"entity-type":"item","numeric-id":1799072,"id":"Q1799072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c25d6da7679772dbc4722bc0edc62d5579777e3d","datavalue":{"value":{"amount":"+0.7327166795730591","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":"Q3453128$4795A385-6357-4C45-9B5B-5C9F4D51BB9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5071410fb4f588702a1cd4f98b5757b9c9f99e5","datavalue":{"value":{"entity-type":"item","numeric-id":2666959,"id":"Q2666959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd655fe9b72c261c9e9f59ad7f526913e3683a72","datavalue":{"value":{"amount":"+0.7204651236534119","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":"Q3453128$D92E70AD-6EBC-46B4-8715-8769BDBC6232","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d28c7eb7d0681015e40267f6bcf876ae136b745","datavalue":{"value":{"entity-type":"item","numeric-id":2819202,"id":"Q2819202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"20a84c11a7cda71dc4f1a9e5e16e9388ba72b362","datavalue":{"value":{"amount":"+0.6924383044242859","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":"Q3453128$F7E813A6-8376-48F7-97D1-2CC2D3C4DFBE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453128","badges":[]}}}}}