{"entities":{"Q5477646":{"pageid":7507205,"ns":120,"title":"Item:Q5477646","lastrevid":49872853,"modified":"2026-01-11T12:08:02Z","type":"item","id":"Q5477646","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038923"}},"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":"Q5477646$4200978F-99D9-4AA1-9581-DEB0DCCCB882","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1dbf86f36180251007d930e80e9af96d205b11ea","datavalue":{"value":{"text":"Theorem Proving in Higher Order Logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5477646$5BDCEA53-9BA6-4B3F-AF4E-957871352DD9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3727568830b3963c784b480e603e3c5522bbba0","datavalue":{"value":"1152.68516","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477646$C25D3130-0361-4C02-BBF8-83A00D0F3F00","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e14ebe752857c79be86072108a2eaa35956999","datavalue":{"value":"10.1007/11541868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477646$1432D3A9-93BA-4559-A9D3-4182D5B85623","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2792c493eb4bd3744f83a3841bfa129c70fc8ef3","datavalue":{"value":{"entity-type":"item","numeric-id":2871860,"id":"Q2871860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$EC9F63AB-4C34-450B-8F6B-3B45678665EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a24264c28999804720c6a2949287c0bea4b294d","datavalue":{"value":{"entity-type":"item","numeric-id":2719862,"id":"Q2719862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$7BE9181F-2746-48A1-B3A2-D305E0E7301C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a4f29850780bfe68f910c427a6e5edf8dcb45139","datavalue":{"value":{"entity-type":"item","numeric-id":5375863,"id":"Q5375863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$6AF98A82-B597-42D9-97E8-CC46C8882F5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d1bd98bdf59e57871856ac464f58fe51df5fc74","datavalue":{"value":{"entity-type":"item","numeric-id":882442,"id":"Q882442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$CE9777A8-2809-4BBC-812E-E73B222CD7F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"99eac199dd442a993b294694241ddae3fe5dfca6","datavalue":{"value":{"entity-type":"item","numeric-id":879362,"id":"Q879362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$AECE119B-48F3-46D0-AFEB-F7A14D84A349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f688dbdbd0131e419730283649f1321b89972f6","datavalue":{"value":{"entity-type":"item","numeric-id":236083,"id":"Q236083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$3CDFC8BE-1EB8-48AE-AE15-471B2A48085D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3e4ed8098789870ad70d41231e22c66ea8deb02e","datavalue":{"value":{"entity-type":"item","numeric-id":2819689,"id":"Q2819689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$C6238B32-8ABE-45CB-B0FE-E489C604A9BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a5de39578d39d108869755ab07adc3724f7e3922","datavalue":{"value":{"entity-type":"item","numeric-id":2842840,"id":"Q2842840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$13EEB00B-01CE-4143-8FB7-EF77E49D28AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fe52ffa1b7468cd548841738a45dc4a65b5c47ca","datavalue":{"value":{"entity-type":"item","numeric-id":2763692,"id":"Q2763692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$BD8B5955-64BB-4288-B8BD-915B73306D26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"009b7b8cbfea2fbcb395e57ee3935b49b0504fc8","datavalue":{"value":{"entity-type":"item","numeric-id":276493,"id":"Q276493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$FC9A1857-DACB-4238-9760-1927FB120015","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":"Q5477646$AF90DEB7-31DA-461E-9DBA-8F9EE9B2590C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ab62ed9fc36983cf74c659518bd05672420ba04","datavalue":{"value":{"time":"+2006-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477646$6F7F32AF-A4B5-4EC6-97AA-F9770A2832F4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477646$5C9B439E-F530-4BE8-B158-CD685B4E675E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1fc3d59cfecf0995b601108f6c220ac02543fbd6","datavalue":{"value":"5038923","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477646$0EAF91D3-8A22-4BF3-9844-1865F5105F8C","rank":"normal"}],"P1463":[{"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":"Q5477646$183B84F9-89C5-40F6-9F12-22DF14AD0A53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$13DDB5CC-94FB-4E8F-B99A-2065F6590DE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"55d1796d289926821ff098bc5ea53615142e836d","datavalue":{"value":{"entity-type":"item","numeric-id":21664,"id":"Q21664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477646$D0873B4C-59C2-4836-B28C-66C4E3585617","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":"Q5477646$62D6C11E-93E6-4FD0-8E2E-18028EEE23AB","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":"Q5477646$94B9B32A-1C36-405F-95F1-D26D3B0DC486","rank":"normal"},{"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":"Q5477646$FBC15C04-1BC3-4D03-8320-CA4D64BDDF74","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":"Q5477646$C08C8F0E-92B6-40BF-A883-990C5282297A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2fb76490c6ff834c9a8591f6e115d1ade34f149","datavalue":{"value":"https://doi.org/10.1007/11541868","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477646$EB02F1CD-A319-40A9-A5C1-7E1449D536BD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c022af1b7546a705f000f89e81f31efc83cfd68","datavalue":{"value":"W2484880499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477646$19242D93-F00D-4240-BCF4-8A993616A65F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57bffbd39784e4f9e8d33d904a9020c22324e6e2","datavalue":{"value":{"entity-type":"item","numeric-id":1945917,"id":"Q1945917"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6986d3303351926d74e3d31784bf52cc7976cf7","datavalue":{"value":{"amount":"+0.7821316719055176","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":"Q5477646$28A204AB-5F56-4B76-A96D-6DB6EA41EC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2830883c821c59e8ea357fc4abf509bdbccc9c9e","datavalue":{"value":{"entity-type":"item","numeric-id":1945919,"id":"Q1945919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"223304640e6575676a347d983bf36612f0ef62a4","datavalue":{"value":{"amount":"+0.7693042755126953","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":"Q5477646$E2F187D2-B099-450F-B5A3-38C5C19AC3EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6a73d709232c759ceb44a34d554217041ef9d76","datavalue":{"value":{"entity-type":"item","numeric-id":1945915,"id":"Q1945915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d7b85c37b8f4eaf1249ea3a410077c98118a35d2","datavalue":{"value":{"amount":"+0.7635305523872375","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":"Q5477646$8979EBB5-9635-46FA-B305-D8213A41F8E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e3a108876ee2d73cf53e48814576175e292747f","datavalue":{"value":{"entity-type":"item","numeric-id":5110924,"id":"Q5110924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a139d5bb9844880ca89128f41efc5db159ced2fc","datavalue":{"value":{"amount":"+0.762641191482544","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":"Q5477646$0A962B35-52DD-4DB6-971E-F23032BDCDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e71f7a6493a8dbc04e7dbf14f2f531038e9beeb7","datavalue":{"value":{"entity-type":"item","numeric-id":5111317,"id":"Q5111317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"42bb6983a111b994bca864376a75042f266165b3","datavalue":{"value":{"amount":"+0.7489975690841675","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":"Q5477646$7D5EE21C-F8C3-4D8C-86A9-D1A39B9475CC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477646","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477646"}}}}}