{"entities":{"Q5464641":{"pageid":7494200,"ns":120,"title":"Item:Q5464641","lastrevid":48530251,"modified":"2026-01-05T03:15:26Z","type":"item","id":"Q5464641","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195657"}},"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":"Q5464641$A6053203-8CB3-4F61-9ABE-5B00FFD33FB6","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":"Q5464641$2C295527-D3D3-4C25-9C8A-EA7DE6B73E3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"88fc6df73f6f06fe087ebfc97ccc40ff04304138","datavalue":{"value":"1099.68719","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464641$08DFABB7-8232-4A0B-9474-D08CE0170609","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f342eecf82498f188d10dbef140d1137265c48e","datavalue":{"value":{"entity-type":"item","numeric-id":816217,"id":"Q816217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464641$01E59A61-E5A2-44DC-AA69-DA803BF43CA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464641$B6B1E2A1-1303-4738-9B9F-DE16798E2F5D","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":"Q5464641$DB366079-DB9C-4573-A29B-A06E0223EFF5","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":"Q5464641$C3BF30AF-F728-4EEB-9ED0-4FD721F8CB29","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464641$26560826-2106-43E2-A2C6-E7A28D3A7346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464641$AD056223-A35C-4A78-B6CA-BAF94089D48C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acd3b0795e9a5c9c91ca91cfb8de6e571cb2f8f6","datavalue":{"value":"2195657","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464641$9CE84473-47F6-4332-BAC5-FDCFB92E55C9","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"02d32efa4caa2abb72a4e6348351cc4a9bcbccbb","datavalue":{"value":{"entity-type":"item","numeric-id":16527,"id":"Q16527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464641$933F7A4E-744E-4FF5-9A4C-F83B89060D37","rank":"normal"},{"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":"Q5464641$EB5A0E60-AD1E-474D-A7D4-13FD7E05F77A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c5a1b3ca07adc1c11c437ea6312362890b614e2c","datavalue":{"value":{"entity-type":"item","numeric-id":37167,"id":"Q37167"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464641$41BBFB8F-51DE-431D-90DC-2C123CEAB5A6","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":"Q5464641$C6178FCB-5293-425B-8439-EEDD75BD90ED","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":"Q5464641$9312955B-4818-443E-8B75-21DB3BD69313","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464641$70CD7B20-C878-454F-9D2C-C82F9E590C93","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464641$76C57851-4626-4C2D-9AA0-F4421089EF0F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"79685184f76daa6c6b8d163d61f4860ba1673bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2475434,"id":"Q2475434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf17927ad177bb601f6d021232bdc63eb221ff1b","datavalue":{"value":{"amount":"+0.994190752506256","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":"Q5464641$73DC4578-29C4-40E0-BEFA-56FD10145A26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4248400d77abd1fdd92641e889bc0d07ce0673","datavalue":{"value":{"entity-type":"item","numeric-id":1798952,"id":"Q1798952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f499834ee5ab91567e15a1cbe7dcefa73ea9e5b2","datavalue":{"value":{"amount":"+0.8206579685211182","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":"Q5464641$A957DB42-7536-4579-AA3E-DBC4918480D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"336c6f97641cb2d2e009f9bf65aff12dddd4cf9c","datavalue":{"value":{"entity-type":"item","numeric-id":2894264,"id":"Q2894264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd0e94619e93859fb1a354632d850e6de3b868f3","datavalue":{"value":{"amount":"+0.7551620006561279","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":"Q5464641$EA240938-555F-403D-9ED1-4A6115B1E03F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dcd8f9f81ceccf2df96c8d0857a2f3254d1fca19","datavalue":{"value":{"entity-type":"item","numeric-id":5716559,"id":"Q5716559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0114f6fb3ee69bb214d4fbc6d53c2cf1dc2d9a16","datavalue":{"value":{"amount":"+0.738154947757721","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":"Q5464641$CDA6CB42-5CB7-494D-8D3B-A7284532059E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b97311b85d17b368c78a2ea6a875377f7441a650","datavalue":{"value":{"entity-type":"item","numeric-id":816219,"id":"Q816219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19c5bc9c0f30a023591b87280e7ae6964c51eb95","datavalue":{"value":{"amount":"+0.7308952808380127","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":"Q5464641$543E4E3E-D193-4820-BF1A-6DD6C8840902","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464641","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464641"}}}}}