{"entities":{"Q2819202":{"pageid":2829940,"ns":120,"title":"Item:Q2819202","lastrevid":83585525,"modified":"2026-05-07T09:08:50Z","type":"item","id":"Q2819202","labels":{"en":{"language":"en","value":"Agent-based HOL reasoning"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6630645"}},"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":"Q2819202$AF057EB5-00B0-4CBB-96E6-399D02B9173F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f176d67c5a30729d96076ecf8066ab0ef32daa92","datavalue":{"value":{"text":"Agent-Based HOL Reasoning","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2819202$9FC2CF20-CC2A-467E-8928-FB9B49C86D80","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1f7e4a7864095acba59bf0d9993894d6830ba7d5","datavalue":{"value":"1434.68646","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819202$BBDA42BF-0E1C-4032-BAC2-A409EEAA3605","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5e844e58be60564e7f4143019f1a4b0a6b29067d","datavalue":{"value":"10.1007/978-3-319-42432-3_10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819202$DD047FCC-99DB-486F-A7B5-52133652AB87","rank":"normal"}],"P16":[{"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":"Q2819202$A8DBAF24-A327-4989-9947-803A1D3FD080","rank":"normal"},{"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":"Q2819202$A111BB9F-50BD-48BD-81AC-47F4037254EB","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":"Q2819202$89FDC107-71A3-4821-AD7F-5B12B0B9B49D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5ce1d49245d97a30ecabe94a0469a6616f4841aa","datavalue":{"value":{"entity-type":"item","numeric-id":2819192,"id":"Q2819192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$5018E8F8-5ADE-42E1-93FD-007576069D0A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"300772c5a0b58bf4f4bfdafa9010450cf2acf8fe","datavalue":{"value":{"time":"+2016-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2819202$441EF078-D945-4CDC-B5BB-335031F8EBDA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb2c3bfdf969e45598b9fec29e6e49a31db29384","datavalue":{"value":"http://orbilu.uni.lu/handle/10993/40843","type":"string"},"datatype":"url"},"type":"statement","id":"Q2819202$C3388689-9FD7-4C4D-A1C6-AA9C0875339E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819202$4AF00F82-DC30-4732-BB22-860AF32D5DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3f6d4b3012578fba2d8ab6b9e39d328cad9def57","datavalue":{"value":"03B16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819202$CBAA00D7-1664-4A17-8D79-6C5E682FA655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819202$05DFB707-BF54-4478-9BC1-2919B0E5D728","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"791d67d77916ccfd02ec26a5d83e6a5d3b3b3404","datavalue":{"value":"6630645","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819202$B6EFC795-3D29-4549-A321-1B53B5E8CB1B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819202$C395BE96-014A-4C29-9150-8014D859448E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819202$8522BE2E-A6BD-4453-8C45-56BD5FC73E9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a71fe6392c09db6db9e6773c3ed8aad99a981365","datavalue":{"value":"reasoning","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819202$B5313F22-95BD-47BB-B9EB-C83833446C0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q2819202$2010C3A1-C4D4-4EFD-9E3E-8EEAF013DFC3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$CA90E7FA-5FF7-49F5-8783-FFDB940695C2","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":"Q2819202$578BBAF5-81A4-4C39-A6DF-1A5C9C34FC4B","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":"Q2819202$F19BD6D5-AF0B-478E-982E-42D8062AD441","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ad14f82278379093e75b5195fcd2d15cc85b252c","datavalue":{"value":{"entity-type":"item","numeric-id":25468,"id":"Q25468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$C9C3FC5D-4B65-43B4-A012-6BFE40E2C274","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":"Q2819202$719F90BE-83D6-4461-B00F-D59065890DF6","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":"Q2819202$3C22E2F3-FB3C-477C-B363-03C73567B137","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":"Q2819202$F4AEFC21-5638-4098-82E5-67324F36D8DC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"7d23b12233430ef862fc9d314c832cf7b529778c","datavalue":{"value":"W2487610225","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2819202$F7D364B2-4C24-4528-99A0-7F5565F17968","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49380a5a0cffda5d1e1b4a498a844a9c2c454f3","datavalue":{"value":{"entity-type":"item","numeric-id":5311767,"id":"Q5311767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$E850268B-7486-4E08-BC0F-EB4EF88BB39A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$E9D5EF2D-67FA-44A9-8F1C-62EF9F8F57D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f800fa035265a93be31af16f1245c90338118eee","datavalue":{"value":{"entity-type":"item","numeric-id":3455772,"id":"Q3455772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$B986CBC3-434C-4893-A5C4-619B227BFD17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4aefe5e0f2b827afb25f0a8067d25c4a893f91ca","datavalue":{"value":{"entity-type":"item","numeric-id":4304492,"id":"Q4304492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$AF8066D4-220A-4906-BBCF-AD53248E7BAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a44f29a5847ba65ecb038e53a168893c35ebafbc","datavalue":{"value":{"entity-type":"item","numeric-id":287283,"id":"Q287283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$F9692DCD-5DA3-47B9-AC0C-090AD3720E91","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":"Q2819202$F2AA38E6-8002-4109-8C7E-67A2206A4D21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768e3af104fef9ea3cc37d158f8ed2ff06159419","datavalue":{"value":{"entity-type":"item","numeric-id":2897171,"id":"Q2897171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$E369C59C-1D0C-4D9E-92C5-A04204134268","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ca7e027091589776f78a6d7ad8457e805c17b28","datavalue":{"value":{"entity-type":"item","numeric-id":5777498,"id":"Q5777498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$B9F8C7A4-9B3F-40C1-8B40-7135FB09C9AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5dbdd618fcd9894cc43913fda0ef46a6ceb0f2e1","datavalue":{"value":{"entity-type":"item","numeric-id":5798021,"id":"Q5798021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$D2DFCF01-4EC7-46A7-AF06-8DC635A30D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"741b1c2a1697c669d1b3bbdff87dd79f9f007366","datavalue":{"value":{"entity-type":"item","numeric-id":1006731,"id":"Q1006731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$667B4ABB-F6D8-449E-B10F-7AFFFC836EFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$1521F253-523C-4E73-9DAE-535CCC4CBC33","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":"Q2819202$48A54909-CF11-46C3-B3D3-5876444EA808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eab120f9eeedabad7035af4bf0c5b9da9573f3e9","datavalue":{"value":{"entity-type":"item","numeric-id":3453128,"id":"Q3453128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$6341B987-7068-44B2-A76F-9A7D681937F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58411587825e8f1fbcb23ef276f3a0f401c9e9d5","datavalue":{"value":{"entity-type":"item","numeric-id":2817937,"id":"Q2817937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2819202$16A7304A-9C4E-4CC2-9EA9-BD7DDF6A4AB1","rank":"normal"}],"P1643":[{"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":"ffc0fe8c60c5b87fa8bb46d51a9bc0aad2643c65","datavalue":{"value":{"amount":"+0.7439387440681458","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":"Q2819202$A3E96CAF-82D8-4ED6-A6A3-755181297D4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae448735124ab42984a851d3b2968e1b2f997a0f","datavalue":{"value":{"entity-type":"item","numeric-id":4797443,"id":"Q4797443"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"818d5b967c0fc6200fb2d31457eefe5331518469","datavalue":{"value":{"amount":"+0.7413753867149353","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":"Q2819202$30C9C400-E724-448D-9A78-1DBAEE38E89A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ab06b27e0fec3c4518b2c6d579879748341c8fd9","datavalue":{"value":{"entity-type":"item","numeric-id":4557854,"id":"Q4557854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55a49409080d680bc736ae87ff5b10e1a0fc0575","datavalue":{"value":{"amount":"+0.7098745107650757","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":"Q2819202$3AA6301B-C04A-44D6-9D8A-A70E611A48C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da9eadc83a0974f6f7e16f4a094195797c5e0c8","datavalue":{"value":{"entity-type":"item","numeric-id":4499162,"id":"Q4499162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd91f8564fc738323241a873a502f2b17993ae09","datavalue":{"value":{"amount":"+0.7022622227668762","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":"Q2819202$408F574F-0C90-4AEB-A042-709A684445AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cb48e823549f35e0b31d95641c65da2adf3a9910","datavalue":{"value":{"entity-type":"item","numeric-id":3453128,"id":"Q3453128"},"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":"Q2819202$20B33BD5-7D37-4D18-94E9-AA5CEB338CB9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Agent-based HOL reasoning","badges":[]}}}}}