{"entities":{"Q5464659":{"pageid":7494218,"ns":120,"title":"Item:Q5464659","lastrevid":48530287,"modified":"2026-01-05T03:15:28Z","type":"item","id":"Q5464659","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195672"}},"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":"Q5464659$B1EE94DE-9B3D-42FF-83D5-315B82F38DEA","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":"Q5464659$613C5B7A-4369-4D76-A84F-C07B97519372","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7c09548873e1455abe5de91b9384d8cd374fd198","datavalue":{"value":"1099.68737","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464659$1284D262-8007-488F-A335-CE79D2029385","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e25c1fdfe8547d38fc345326af6e88f756923395","datavalue":{"value":{"entity-type":"item","numeric-id":2432766,"id":"Q2432766"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464659$12F446C3-84A0-424E-ABAA-286CCB698857","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f855518fb46fa7dca45fa528b8f90a55e336b8f9","datavalue":{"value":{"entity-type":"item","numeric-id":812050,"id":"Q812050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464659$681AC4A5-125A-4AF6-AB33-ADA62EAA80D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"136a3bf1f009deb2a6a9913d5ea0e7ae90a03274","datavalue":{"value":{"entity-type":"item","numeric-id":582279,"id":"Q582279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464659$D0197274-65E9-4614-AB2A-45E2804100A2","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":"Q5464659$FD7698A0-6EC6-45A8-ACB6-485E139445A3","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":"Q5464659$E3C02858-BB33-47E3-9C81-16EFBD504E08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464659$FDDC06F4-9418-4324-84C9-58689B034B3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464659$07277115-3C4B-4D86-AA75-8B10C2182F85","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1f46ec224457e0a4a216ea812cc6580638feffbf","datavalue":{"value":"2195672","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464659$A5AD05DA-90E7-47F6-B4DE-BCF4975485ED","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":"Q5464659$06293D7E-97D2-40C6-9547-11F4883371DB","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":"Q5464659$21F3F5CB-28B1-4FF4-8BC7-5DC3A45A8ACE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464659$51F82163-3FCA-4119-B469-5814677B92A2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464659$1197273E-7241-450A-BA5F-CF584D914BA2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9108061ee8181a2ae8a27fad39809d2e6d8eac24","datavalue":{"value":{"entity-type":"item","numeric-id":2432767,"id":"Q2432767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03f75a9bb8c8f280a1bd0e6e21ff72012fe5eb28","datavalue":{"value":{"amount":"+0.7659979462623596","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":"Q5464659$13AF264C-97D0-468E-B6AC-F50D0FE78C3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed35c47223a16298842485a66014826d905e4a1","datavalue":{"value":{"entity-type":"item","numeric-id":5187264,"id":"Q5187264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b78eebb30450b9f504d6cde6092665caaf2e436","datavalue":{"value":{"amount":"+0.7402598261833191","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":"Q5464659$EB8EA624-A9A2-4520-8D15-75CEC4994AA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f67d0aae8df4b779eaf8255b5de2ca19e3f57d6","datavalue":{"value":{"entity-type":"item","numeric-id":3184508,"id":"Q3184508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0de1fba37efd53908e91be5519cddd8e37d610d","datavalue":{"value":{"amount":"+0.7398039698600769","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":"Q5464659$B0094F1B-F352-4068-B534-B373F8544891","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"647558e7ab5afc2ecc6b23db09e9e3ba08ad2c18","datavalue":{"value":{"entity-type":"item","numeric-id":1812980,"id":"Q1812980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"137bd301e08e336828e9f89e3df64a6e60f85e02","datavalue":{"value":{"amount":"+0.7335345149040222","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":"Q5464659$CE865B5F-F062-49FA-91A0-5FD46B88BE6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60538cba9b2ea45b4f3fd1e9c8c2a2ce39b27192","datavalue":{"value":{"entity-type":"item","numeric-id":1185458,"id":"Q1185458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de088d87e5c1bed16d779c8c9bc8d08ca8937d37","datavalue":{"value":{"amount":"+0.7265171408653259","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":"Q5464659$D128273E-55A5-4B2A-A977-9EB5D743F721","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464659","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464659"}}}}}