{"entities":{"Q656826":{"pageid":658675,"ns":120,"title":"Item:Q656826","lastrevid":63373770,"modified":"2026-04-11T12:25:50Z","type":"item","id":"Q656826","labels":{"en":{"language":"en","value":"Combining and automating classical and non-classical logics in classical higher-order logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5997544"}},"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":"Q656826$52DC3874-D33F-465A-A8A4-C4A588C18343","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"df0f62efca090904198652f6d86f0feb6197e0a3","datavalue":{"value":{"text":"Combining and automating classical and non-classical logics in classical higher-order logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q656826$E192352C-30E9-465D-AEE1-F93421462341","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4c164e1dfcf5409c7aade4c6b10ae6528728bd0","datavalue":{"value":"1252.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$CF391B89-AF1D-4091-BEC5-D5705D28CE8B","rank":"normal"}],"P16":[{"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":"Q656826$D8ACD6DA-CC4D-4DA7-8B72-4C51A6F45FA4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7346dc34d1d50fea46ec345fbc7e3214530889ab","datavalue":{"value":{"entity-type":"item","numeric-id":276517,"id":"Q276517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$C81147F5-9170-4492-B11C-82EE26A71CEA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"838e4cd92c3bfbf203f9466fab8ca1f8d1cd6888","datavalue":{"value":{"time":"+2012-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q656826$300294EF-01FD-4375-9471-FC630DB5B3B6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$91B35354-9E9A-4C40-A0CE-005B5C56299D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1281dd6b9c4f62144bc68cb09edbb6fe30760a8f","datavalue":{"value":"03B62","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$F8863BBA-965B-4EB1-BCC9-B4BF77335670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$D49CE75E-9219-43A9-97B1-E21606CF9091","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$F22A53E2-2F58-4B94-8BF0-761CAA8352FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$25D60136-D980-4B78-B59E-7DD5781B7C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$68A3DD72-C387-4CB4-97B3-FDFBFB93DE0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$A18B01E6-73BD-4EF1-92EC-033DBAF9417F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$32988DB0-982D-4E17-9412-1BAA78B83163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$F4E7E3CC-35F5-47AD-9862-E18DBA9D2769","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c38688b0a40a99754610557b91d413780a8b7d49","datavalue":{"value":"5997544","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$8CC0B78E-D36B-4944-B9AE-BD1342C91BDF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ffd3928aa1fd818bc1a8806528172e266ac8bcc","datavalue":{"value":"classical logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q656826$B6ECB300-ED94-4107-8C19-8D56D889C0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da1a779b743cfb362d1f4c2947021198bfae1c3b","datavalue":{"value":"quantified multimodal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q656826$3DFA0983-100C-468F-8B84-01EA90858B5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f98414176ef8f0928b642826f8c4d9b865decd24","datavalue":{"value":"logic combinations","type":"string"},"datatype":"string"},"type":"statement","id":"Q656826$C7E22851-E3C5-4037-8D00-BB63F8F5A4AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f53b53fadad63b335e13331b69454543022e5687","datavalue":{"value":"classical higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q656826$64880C00-C46F-4F23-8AF3-BAAD90DB4699","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a085437b1fb2383e37d3b0c9c89619bf45109d4","datavalue":{"value":"semantic embeddings","type":"string"},"datatype":"string"},"type":"statement","id":"Q656826$55A54DB7-9514-49E9-84B2-68DA7642DFAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q656826$B0516E80-3971-47A0-9026-51FC61642E96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5448e6e8fbf4218a8491a34dc88e5703f1882a4","datavalue":{"value":"higher-order automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q656826$4A25AA4D-60D5-4417-9ACE-E2B7D1C102FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c749ce951b7ddea7768659276e5fadbc6ae9229a","datavalue":{"value":"automated reasoning of rational agents","type":"string"},"datatype":"string"},"type":"statement","id":"Q656826$6D5CD894-DC21-4A3F-A7B6-AD5955311D0C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f58749215346b108a3924805b4196cdbb9ed80","datavalue":{"value":"nonclassical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q656826$5A60663F-C824-4A37-B6AC-890D6D226559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50ac0247726491e51a1a9dad4fadbff313f8e488","datavalue":{"value":"simple type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q656826$5EC5E41A-FF1F-4E02-A037-8C8D98AA0B34","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$B2BDF147-6415-4C76-80C4-42F6A1584FA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"58035a6d5b9e51c740620804674c88b1baad9226","datavalue":{"value":{"entity-type":"item","numeric-id":15842,"id":"Q15842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$7D2041AB-D947-47B9-B879-D9C3AFDC5384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1aec27d540e360c78ddad230e6e300ced62bdec3","datavalue":{"value":{"entity-type":"item","numeric-id":18433,"id":"Q18433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$FCF9EE26-9BCB-46E3-8FD5-703D46CAEBDC","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":"Q656826$5D4CBA8F-0AB9-4BB3-ABF3-436E3BA470E8","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":"Q656826$FB5EF6C6-C67F-466A-BBC1-005A4B9DC756","rank":"normal"},{"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":"Q656826$1BC7F3D3-B829-49D0-B7A7-FF142569BA10","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":"Q656826$683F5B09-CCC5-416C-9DE4-AA53E715B7D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1017108dce3983431546a14c274f65bc4aaae70b","datavalue":{"value":{"entity-type":"item","numeric-id":22154,"id":"Q22154"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$09FAE51B-EF94-4400-80D5-6DA69681A040","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":"Q656826$6B607943-3289-458D-849B-AF5CBF158CE2","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":"Q656826$FF93A6C1-E52F-41B0-B87B-A719CF5DB052","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":"Q656826$87DDB254-22A2-43E3-9542-80AB663F9817","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee9422975182eb023e51fdad55286f8683465592","datavalue":{"value":"https://doi.org/10.1007/s10472-011-9249-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q656826$2A64B7F7-69DC-4C8F-95AF-22CFC3C1DA50","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8019fb2b624467983e1efd066f3f9139e57d82cb","datavalue":{"value":"W2090076725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$B19FBF57-6AA2-4910-8002-19A56273E324","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b31eb60d26c4661feb10212d462496d10d3f508","datavalue":{"value":{"entity-type":"item","numeric-id":5680123,"id":"Q5680123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$960A53E8-877F-4EB8-A0E1-491B82F417C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd9a23733869cdf6d59b70b142e18db86efa96d6","datavalue":{"value":{"entity-type":"item","numeric-id":5680122,"id":"Q5680122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$8C9B6C5B-50B3-4BC1-934E-7B965CF322E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed4e2b73edd0e2661ebb75822eda29ecb9eb63a","datavalue":{"value":{"entity-type":"item","numeric-id":3906484,"id":"Q3906484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$47385C51-9F7F-42F1-8C1C-E17CD62128B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b11646dfc2677d6614fa16128dbbd7844776606d","datavalue":{"value":{"entity-type":"item","numeric-id":1847766,"id":"Q1847766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$E94977CB-F57A-4CA5-8E22-4B9996D0B8E8","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":"Q656826$FAAFB010-2022-4466-9914-4E1F1A84BF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16ba4c761d0afd2b68b331890cbe715eaa366ee6","datavalue":{"value":{"entity-type":"item","numeric-id":865629,"id":"Q865629"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$C92A72FB-F50B-44C3-B683-EAF64A06B999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"768895073112d4837fb82e113f959ecdf2c6fc03","datavalue":{"value":{"entity-type":"item","numeric-id":5747752,"id":"Q5747752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$2D5B0EBF-728A-4B40-B1FA-85FC27379CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"858349811281be83d299d307d1b4871d7a92d84e","datavalue":{"value":{"entity-type":"item","numeric-id":4263170,"id":"Q4263170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$0D6DAB44-4DC9-4AF7-BF16-5B7F01195294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"264f5e073f49609868291cfc4d411cb6798b9b88","datavalue":{"value":{"entity-type":"item","numeric-id":3058454,"id":"Q3058454"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$05246D7F-F8B6-4641-85F5-43E5F2413573","rank":"normal"},{"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":"Q656826$175333F6-4EEA-4AF5-A8A0-A996A26FA585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f1d89dc5849ea759265232a4f46af65741692c7","datavalue":{"value":{"entity-type":"item","numeric-id":3086787,"id":"Q3086787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$35754FB1-C9A1-47A9-88C0-5FD136CCDCA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27fdfe50642d43bcbc1e1abcfb32e3a3f77b86c3","datavalue":{"value":{"entity-type":"item","numeric-id":3061280,"id":"Q3061280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$BF985FE3-6265-4E4A-8FDB-E05D03E77410","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"698a1c70562d11d060e1b869bd175ba19e1e7c3d","datavalue":{"value":{"entity-type":"item","numeric-id":3541725,"id":"Q3541725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$89B0F65B-10E9-43CE-8889-4174B99E5AC6","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":"Q656826$56165AD3-EB8A-40AF-BE82-894E5B9EEDEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a041511c47d305bcbcd84682ece374fd3f55c8fc","datavalue":{"value":{"entity-type":"item","numeric-id":1370455,"id":"Q1370455"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$8C81DB7D-5CCC-4396-B060-9A7E06BC9458","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52cc5e622126ec3d570da92e5e13cb53e0d0ea06","datavalue":{"value":{"entity-type":"item","numeric-id":4412850,"id":"Q4412850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$248E676F-2E84-4B58-8AC1-D102883992A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81197bcd468bcac12d7ca64f6e8d9c1b4a403ef4","datavalue":{"value":{"entity-type":"item","numeric-id":1777372,"id":"Q1777372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$8C5CD165-BA75-41F9-9DD1-21C4015932AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a1be11546637b463456ebcd2648ab10de0d55ca","datavalue":{"value":{"entity-type":"item","numeric-id":3586992,"id":"Q3586992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$845E90B0-5D0B-47B4-863C-82B436090585","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b65052e69ffd5c3594dd70b3fcf84972030e57ce","datavalue":{"value":{"entity-type":"item","numeric-id":2469685,"id":"Q2469685"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$FB5BD91E-1FBF-4161-8807-986034B41516","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":"Q656826$960878E9-FF8D-4D5C-9F82-B9271DBFF174","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4498e5430e9795cf211a60907b39ad3b167259de","datavalue":{"value":{"entity-type":"item","numeric-id":3149986,"id":"Q3149986"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$33B7B51C-DA6F-42BF-A450-ADC28B55EB02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3356fc56efb50f08c99d5aa0116066168b772a02","datavalue":{"value":{"entity-type":"item","numeric-id":3128464,"id":"Q3128464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$F99801FF-5F97-4323-91D1-7DD9A246F7AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"047205c489fbc234ded30a0b774835426a93b0e0","datavalue":{"value":{"entity-type":"item","numeric-id":1422049,"id":"Q1422049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$531EAC55-6B3A-4546-9056-C48F54D53775","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a33fba52bb9f9fb6304ca5c0cb1d40edc995b12","datavalue":{"value":{"entity-type":"item","numeric-id":5458361,"id":"Q5458361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$11D50F20-FEB2-433E-AA4F-3AC57CE30E85","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":"Q656826$D8BB8207-07A6-43A0-845C-02133F3D8B62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de8709f7df730096e9ca2c313ad48301af6b92f7","datavalue":{"value":{"entity-type":"item","numeric-id":1047795,"id":"Q1047795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$447064E9-1503-4F63-AF66-BD7EA1A4926F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c3a48dc71ab7bc77b1ce9ffe6a02b960104792e","datavalue":{"value":{"entity-type":"item","numeric-id":5796041,"id":"Q5796041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$D99809CC-B17F-48A2-AEFF-B23557D90A45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1675ec5894a8c57acbe2bcc56434f5813617d031","datavalue":{"value":{"entity-type":"item","numeric-id":1102282,"id":"Q1102282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$868D9FA2-C9F2-4EA6-BECC-C28B53639BE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"844b8cdca91a84ac1ecc7afa86bd159e1a7f9b7c","datavalue":{"value":{"entity-type":"item","numeric-id":5313209,"id":"Q5313209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$1A0210AA-52AA-4119-99B1-CAACBC06F948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ede75a9b2c95c75421b8fd71bd4d85f0b10f45","datavalue":{"value":{"entity-type":"item","numeric-id":2503328,"id":"Q2503328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$D0497EA2-9F99-436A-AAED-87B84553B597","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43b49f963ca84197e511cb9142c439d437ca1cc5","datavalue":{"value":{"entity-type":"item","numeric-id":3647295,"id":"Q3647295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$232518DA-2BB9-4DE3-89B8-5F9A512F3E23","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":"Q656826$3441D883-DB13-4678-ABB2-DBBCB2492C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"016c26073336456ad938f5b7e58a2ad66e4632b0","datavalue":{"value":{"entity-type":"item","numeric-id":5556395,"id":"Q5556395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$C4CE2DC8-3A14-422E-B3C4-EB523B2FE52F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"93fc8985b7898988b7d52edb5c0cd61c1b917df6","datavalue":{"value":{"entity-type":"item","numeric-id":3150301,"id":"Q3150301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$0163A765-DAC9-4D63-B4F0-E97110916B89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e0dd697411ef2df8a5f9f8c6187fbc8774850b","datavalue":{"value":{"entity-type":"item","numeric-id":5921595,"id":"Q5921595"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$D83B42BB-99CD-45F4-8B2B-2E9CD1061F77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d4acf12f6f2468476af5b80237d12aa6e90faaa","datavalue":{"value":{"entity-type":"item","numeric-id":3066085,"id":"Q3066085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$9B29438C-1B14-498D-ADC6-95F683307357","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":"Q656826$A8C5DE63-31A3-4B8D-83A1-2306A6D9F534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7149b5c6ff43b6cd0d6c5f6709ff45f6ee1452ed","datavalue":{"value":{"entity-type":"item","numeric-id":4342095,"id":"Q4342095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q656826$DBCDE0B4-C8A2-47C8-AECE-6D7EB38F2A25","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"061f16d45352358acb97fb41e396bbfd36966c14","datavalue":{"value":"10.1007/S10472-011-9249-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q656826$F27B8F04-6F1F-423B-9B0D-F96C26CAB8B5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a8b27f4819a3e6b4025fc0d73070a3c394b3e38","datavalue":{"value":{"entity-type":"item","numeric-id":1935597,"id":"Q1935597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0986f19ea62fd06fd0ac376fcc73b6846637f38c","datavalue":{"value":{"amount":"+0.9163518","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":"Q656826$00F485B7-9BF9-40A0-A001-A6D9342DAB6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acd3c744af8b6efaaaee01302a992e76d5e635c3","datavalue":{"value":{"entity-type":"item","numeric-id":1967066,"id":"Q1967066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"216122a49fe3f6ce679414cb752a876d0238e884","datavalue":{"value":{"amount":"+0.90386844","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":"Q656826$C93884B0-4ED9-4B4D-A126-9E8F21575D4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c99f4be2e494ef6df6a66e4bc9b2f2d793a701a","datavalue":{"value":{"entity-type":"item","numeric-id":4732137,"id":"Q4732137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e23976d89394a82f2fce2d188ee2a16867720cbf","datavalue":{"value":{"amount":"+0.8995757","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":"Q656826$CB61C359-7FF3-4B93-87AA-F7383842E8FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d16522ca53e742e8fd6407501c63855122839fce","datavalue":{"value":{"entity-type":"item","numeric-id":2970308,"id":"Q2970308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"30473bc1b00ca880999058bf1800c65c9fcca592","datavalue":{"value":{"amount":"+0.8871899","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":"Q656826$D3130F25-FDA7-4B15-A302-B3DB74274D1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5769f620bb98b6476f50b95e4b054f5c296ed9a1","datavalue":{"value":{"entity-type":"item","numeric-id":4449007,"id":"Q4449007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"52a849910b7a6e2b3daf803c1c748bae1504f39e","datavalue":{"value":{"amount":"+0.8853528","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":"Q656826$46ED45A5-D1FF-4ADB-AE2A-A16122EA2160","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cdad4e5bf733a1d6730cdbefbda4d800873ad211","datavalue":{"value":{"entity-type":"item","numeric-id":3647252,"id":"Q3647252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e3f9eff113e43c257cb9aa75cc8e8710e2ff153","datavalue":{"value":{"amount":"+0.8838638","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":"Q656826$D0C92584-6467-4DB1-A013-443DB0D14EDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"914bfeb26c538e2778a70c32e0607b78e66e4f48","datavalue":{"value":{"entity-type":"item","numeric-id":4286209,"id":"Q4286209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"98a87d30871931f50ce33cefe934c367ca3ebe4f","datavalue":{"value":{"amount":"+0.88336897","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":"Q656826$608CB452-511A-4F87-85A3-C8D6E974DC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"72a42fe5b10cd7a85cb73b625a16f6530f794c72","datavalue":{"value":{"entity-type":"item","numeric-id":2385426,"id":"Q2385426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9152ccaf008ce2f86c739ae29427f322bab54fa5","datavalue":{"value":{"amount":"+0.8802809","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":"Q656826$31F049D4-1E5B-451E-A2C5-7ADC33CF784A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9db09a7fb68a35978bf8fa26d9ca51fa460cb0e7","datavalue":{"value":{"entity-type":"item","numeric-id":4450440,"id":"Q4450440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"595e55ee32b505d1f4cc25f07423e15889e831c9","datavalue":{"value":{"amount":"+0.8802036","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":"Q656826$D295DA71-DCE9-4887-887B-387DD22FACCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bc0a95ba741ccdaa1aca4a9a2350e1491c56df","datavalue":{"value":{"entity-type":"item","numeric-id":4518866,"id":"Q4518866"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cab354542a45fb8b96f885f001792dd504673c2b","datavalue":{"value":{"amount":"+0.87811327","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":"Q656826$641D1B33-1098-4400-A450-91CBE469386E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining and automating classical and non-classical logics in classical higher-order logics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_and_automating_classical_and_non-classical_logics_in_classical_higher-order_logics"}}}}}