{"entities":{"Q5464644":{"pageid":7494203,"ns":120,"title":"Item:Q5464644","lastrevid":92567354,"modified":"2026-06-05T02:02:20Z","type":"item","id":"Q5464644","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195660"}},"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":"Q5464644$851CFEF9-A02F-4E16-AE6A-D864A6FA2A0A","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":"Q5464644$3448ADE8-AB5F-4F46-B84D-2870710248A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3071cddc22662e04b1881b412f4e10302f5e5a2b","datavalue":{"value":"1099.68728","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464644$1DB82320-D78D-434F-9D91-1A39527AB3DD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"766a7b4a0daa5b8547ebae773097f31bce780235","datavalue":{"value":{"entity-type":"item","numeric-id":444464,"id":"Q444464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464644$92C98746-0D8E-46A8-B5F7-B4C21B59C8BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ce00bf932e8d4142816bb1d3b66ef3457d10b848","datavalue":{"value":{"entity-type":"item","numeric-id":626932,"id":"Q626932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464644$427A2BBF-689A-4B88-B757-26D628A19E0A","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":"Q5464644$B42BE515-9CD1-449A-842B-8AC7C76E0D08","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ddb11065d0a8b2eb0c9ba922644fcd7df350e36a","datavalue":{"value":{"time":"+2005-08-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5464644$7DCF1913-723F-448C-B85C-2B8732934430","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464644$74C0E7FE-2FD4-407A-A734-88324F105D9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464644$E22783EE-CFD5-458C-9924-D16AE0CE6C1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f8736640c04090e7f8604f595dbda91c8a1beb88","datavalue":{"value":"2195660","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464644$3E87E7E4-B418-4E62-92FD-4110DCEF86FF","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cba2f313ea2959f110ac642e1b84e6e89a9f1c6b","datavalue":{"value":{"entity-type":"item","numeric-id":14779,"id":"Q14779"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464644$F0405034-23BE-4E06-9AED-D47625B9CE60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"01712194c207617871fd4fb99ad1e9fcc6e71eb8","datavalue":{"value":{"entity-type":"item","numeric-id":15955,"id":"Q15955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464644$7C503C96-9F08-4EA3-9BAF-2940C4972047","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"feb4e459d2abea7714a32144c0ab27240e9c04c9","datavalue":{"value":{"entity-type":"item","numeric-id":23655,"id":"Q23655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464644$373C0862-2DBB-4CD5-A73B-24C5C6441B48","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":"Q5464644$C86B0EED-5996-465D-B930-353A4FB0F1CA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"6d0827adfce9e95a41e9b241cb6e71fc5161e244","datavalue":{"value":"https://doi.org/10.1007/b100400","type":"string"},"datatype":"url"},"type":"statement","id":"Q5464644$598DA887-437A-4A03-989C-9440578A6439","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464644$2CFDA43A-C8DE-4A16-951E-2FD9F1C2595D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464644$7D9E06D6-9C5A-4096-B2D3-44CF665B2FBE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"498ce556dfca5c04393f1aaf9a093578b40a7501","datavalue":{"value":{"entity-type":"item","numeric-id":4736400,"id":"Q4736400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fceac9bb1b97bc773588ae72ec13b9e0234134d8","datavalue":{"value":{"amount":"+0.7695310711860657","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":"Q5464644$6ACA1CC6-4314-4A17-AEDB-10297B5A44C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23b5ec18f23243243338ab6d3f5f54f230a8ad9f","datavalue":{"value":{"entity-type":"item","numeric-id":5312981,"id":"Q5312981"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fce1404f4a94fbdaf39054e72d2292e28369b631","datavalue":{"value":{"amount":"+0.7389797568321228","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":"Q5464644$AA5ECAFC-2213-42FC-B80C-2B9977D8022F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"597602181c0f93a0ad3700a234bd849cd63f59ee","datavalue":{"value":{"entity-type":"item","numeric-id":4647503,"id":"Q4647503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"480ae6c77ae500a3d1e3e4ada365272f0c1c958b","datavalue":{"value":{"amount":"+0.7022380232810974","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":"Q5464644$6221C06A-5186-46E5-BBA9-1CB0B212B6B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3585e4966b5870b40c8a8b03114aafa8ce377268","datavalue":{"value":{"entity-type":"item","numeric-id":1978233,"id":"Q1978233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"355b11334e3e0d065e0ae6420b94bb9c0b864644","datavalue":{"value":{"amount":"+0.6993391513824463","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":"Q5464644$0443B691-9500-4BF8-A57A-B2A79EE16815","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc46b5e3ffb5dafdb345820660aa0ff8f93bc252","datavalue":{"value":{"entity-type":"item","numeric-id":5464662,"id":"Q5464662"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b614823c65eec2f795df90692bf027897781fd6","datavalue":{"value":{"amount":"+0.6927934288978577","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":"Q5464644$8E4C9F47-0DC0-407E-A90D-2370287B90A7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem Proving in Higher Order Logics (scientific article; zbMATH DE number 2195660)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_Proving_in_Higher_Order_Logics_(scientific_article;_zbMATH_DE_number_2195660)"}}}}}