{"entities":{"Q5464665":{"pageid":7494224,"ns":120,"title":"Item:Q5464665","lastrevid":92567543,"modified":"2026-06-05T02:02:21Z","type":"item","id":"Q5464665","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195678"}},"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":"Q5464665$2EB13512-E7B8-4949-8DFF-51252564A6C2","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":"Q5464665$044871B0-9DFB-40B8-AA69-4CCE03C52CA7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"151eff868e8386a1324d73ef668ec25270892670","datavalue":{"value":"1099.68724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464665$976A808E-C1F6-4271-A0FF-104D86FFABC2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"53de145c1476af14e05c31ec8165f08e3c85436f","datavalue":{"value":{"entity-type":"item","numeric-id":230813,"id":"Q230813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464665$07711820-8A46-4090-BD8D-5F82D0A2A7AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d3064c548fb238d71dbd15832dc9b2117bf93634","datavalue":{"value":{"entity-type":"item","numeric-id":1135305,"id":"Q1135305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464665$15671727-F974-4805-9EF8-E3FF6CA3EA2F","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":"Q5464665$99C03B89-5B40-4A0D-966B-12DC083E68BD","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":"Q5464665$776D5F42-0209-4771-B5C5-EADA11AA13B8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464665$B1D560C3-2069-4BD5-ACB1-752A63CDD884","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464665$DCFA5920-3598-4401-88D8-FDA85D711CF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464665$9F771D4D-B7AB-4D16-902C-F2F79D8245B7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cfa30167e727d558d40e81be00404454dae51f12","datavalue":{"value":"2195678","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464665$9033B940-CA26-4005-B1F9-45431B4A643E","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464665$C1F41A12-90F5-488E-85E0-A22FDCDC9C0B","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":"Q5464665$47A5306C-CF73-47CA-8B83-F6216A4AFDF7","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":"Q5464665$A8BBBF1D-2B47-4264-947A-30B93281E5F0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464665$53AAC66E-E334-49EB-82CF-67C6D651BF2C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464665$95D40D54-6BC0-4CE6-B933-0972E31DB814","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e08f4b6938dfc14aee0f4953491e750a4f489585","datavalue":{"value":{"entity-type":"item","numeric-id":4635947,"id":"Q4635947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cb39c8f9e486fd8e8dcd83352fe3984101281aab","datavalue":{"value":{"amount":"+0.767940878868103","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":"Q5464665$519FA30F-5F2C-4AD3-B9C9-6B80CF0A3377","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"18f8fb547a6e03c53dd6413528e41785493e63a7","datavalue":{"value":{"entity-type":"item","numeric-id":2879266,"id":"Q2879266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9aaa85a8517ea682ecabfaea161be68d1a87e2a2","datavalue":{"value":{"amount":"+0.7155138254165649","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":"Q5464665$794E769B-55DC-44C7-8BE2-C91468A54D51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"df684ab8201b649acc8d339dca420dbf8bf70615","datavalue":{"value":{"entity-type":"item","numeric-id":5402560,"id":"Q5402560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c940664cb2d0178798d016ed30aff87950627afa","datavalue":{"value":{"amount":"+0.7100014090538025","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":"Q5464665$C1FFE006-358C-4FB2-89E4-CFDD7A9F713C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a76ff0bde6a24b2813f153b23768d2fdc3ce3d7f","datavalue":{"value":{"entity-type":"item","numeric-id":4653719,"id":"Q4653719"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90ee262d87e56f02436eb6e077e426dad96d272a","datavalue":{"value":{"amount":"+0.7080117464065552","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":"Q5464665$9EF5E9AF-60CE-47E6-BFCA-7B66C56C1F27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"580ed2424e9846e9da8bbc3a40e4cf849a4221ab","datavalue":{"value":{"entity-type":"item","numeric-id":4399249,"id":"Q4399249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddb902c544fe5c7c8ef723a82f278c74783ed928","datavalue":{"value":{"amount":"+0.7029562592506409","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":"Q5464665$CA56D08D-A92C-4C67-9A64-BAB7C5CF60EE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem Proving in Higher Order Logics (scientific article; zbMATH DE number 2195678)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_Proving_in_Higher_Order_Logics_(scientific_article;_zbMATH_DE_number_2195678)"}}}}}