{"entities":{"Q5464642":{"pageid":7494201,"ns":120,"title":"Item:Q5464642","lastrevid":48530254,"modified":"2026-01-05T03:15:27Z","type":"item","id":"Q5464642","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195658"}},"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":"Q5464642$2342C642-7DC3-4E51-97C3-8608805A982C","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":"Q5464642$2BC28051-24C9-4157-9C94-D1AF831DB955","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"21452944ec6b5d68d446e7604976401121fa56dc","datavalue":{"value":"1099.68726","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464642$074A0DB9-A66C-48AB-BEFC-F33E6DD4C7DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d2700646178a2eef09f2a86d6769c586bb51056","datavalue":{"value":{"entity-type":"item","numeric-id":1826461,"id":"Q1826461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464642$D3C80063-D7DC-4A3E-AC3D-7AABD53BBCE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b45204622bfa7b343b3d270acbf7de72b0faad61","datavalue":{"value":{"entity-type":"item","numeric-id":835763,"id":"Q835763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464642$AD63FA69-750A-46D8-9E37-7BE58B80EB3E","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":"Q5464642$85DF9D5C-9A2A-4278-9C7F-CA28C1DEEAB6","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":"Q5464642$B80901FB-E61E-43F8-8E7E-916257B42044","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464642$8280D436-29B9-442E-ACA1-5E35227C1628","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464642$CDE3DC66-6F06-4189-8FC6-3E2611638CA4","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33167c5eb86ed0b168979d47a5ef63f01372c290","datavalue":{"value":"2195658","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464642$8E9F044D-A862-48A6-8AC7-4BDFB822440B","rank":"normal"}],"P1463":[{"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":"Q5464642$9DD480FE-B76A-4A44-9772-BFC3B2A46B7B","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":"Q5464642$1BEE5105-52BD-4DD9-9A77-4D76194C205C","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":"Q5464642$ED32521F-F62A-45D9-B59A-47B41B8FE188","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464642$731F78AA-ED2F-4F62-BCE1-009C5CD73066","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464642$4266042D-60BC-49ED-883E-26A90DF6A65E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24695374181717ad1bed4a90e0740942008205a0","datavalue":{"value":{"entity-type":"item","numeric-id":1826465,"id":"Q1826465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"331ae663dc5ff7d4f1d81021211ea99a0642a3a6","datavalue":{"value":{"amount":"+0.7976621985435486","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":"Q5464642$3371072E-A675-4F5F-84A8-5765C428BE21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9207cc8a9d5215981c8d9bce1501b69ed721dd3a","datavalue":{"value":{"entity-type":"item","numeric-id":5703864,"id":"Q5703864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c589e908116fcfe250e29536c850bf6885f4f6a","datavalue":{"value":{"amount":"+0.7739143967628479","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":"Q5464642$46198741-A0FA-44D8-AF29-46222A66BE72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fc263c08637b696bc78907fabc836af09196bd8","datavalue":{"value":{"entity-type":"item","numeric-id":3593496,"id":"Q3593496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7ed60388064ac14f1205e77f52e4b46577ebcfa","datavalue":{"value":{"amount":"+0.7685786485671997","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":"Q5464642$EEB9BDEC-C322-4666-9E58-B01E5687FD52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2b47fbd52454839314873080c8668617a008ef6","datavalue":{"value":{"entity-type":"item","numeric-id":5178856,"id":"Q5178856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c7ce68fc50352f568f759e2f62d5e3a9cb3256e","datavalue":{"value":{"amount":"+0.7593770027160645","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":"Q5464642$BE28CE54-B435-4CB2-B8FB-FF635BAA2446","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce34ef5f0152e7ef9185a106ce8ead91a9f2097f","datavalue":{"value":{"entity-type":"item","numeric-id":5900713,"id":"Q5900713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f180940d4a8a2034933ab539452da6c5da2601b","datavalue":{"value":{"amount":"+0.7478435039520264","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":"Q5464642$88706232-5B92-4CCA-BB31-DCA544D835CA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464642","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464642"}}}}}