{"entities":{"Q5477657":{"pageid":7507216,"ns":120,"title":"Item:Q5477657","lastrevid":92395640,"modified":"2026-06-05T01:37:05Z","type":"item","id":"Q5477657","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038933"}},"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":"Q5477657$DDFFE4DE-40DC-4299-89F4-5150A5F40C2B","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":"Q5477657$F7B54EA2-2F63-4485-9807-3629207B5746","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3bc1419e3f35922fc321cade63a16e8732f0197d","datavalue":{"value":"1152.68528","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477657$00C898BC-9A73-4BB8-8499-005AFE96057B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e14ebe752857c79be86072108a2eaa35956999","datavalue":{"value":"10.1007/11541868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477657$649F9E23-CC5E-4E3C-B06F-FE0E4BD909B8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d8da218c5940996bf861c74f5da30c7db0689b4","datavalue":{"value":{"entity-type":"item","numeric-id":210001,"id":"Q210001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477657$9C84F1E3-411C-46EB-B7FD-6E0DDBB73EDC","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":"Q5477657$FA79AE0D-0349-4322-AFAA-C4F3BEEAAEEF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ab62ed9fc36983cf74c659518bd05672420ba04","datavalue":{"value":{"time":"+2006-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477657$37CDAF8C-CA9F-476F-BD31-F36171713338","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477657$58D29714-F652-4A2A-89D9-BE71B7534E02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477657$F19BE8CC-0348-4113-BD8E-4FB123380A1E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1d0193d426d239023fcfa05c3ea13ef812f11c3b","datavalue":{"value":"5038933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477657$8272300B-33A3-4859-905D-C1D442C00916","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c46d84e301480ba8a5854ea89c3d27b865a03eb9","datavalue":{"value":{"entity-type":"item","numeric-id":16016,"id":"Q16016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477657$17D3C9D3-BDD3-42B1-A33A-7D638C606726","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":"Q5477657$F88EA35F-5B21-426A-A3FF-A6D1BFC74798","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2fb76490c6ff834c9a8591f6e115d1ade34f149","datavalue":{"value":"https://doi.org/10.1007/11541868","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477657$9298503D-06A3-4CB5-9A3D-0C3C07237E32","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c022af1b7546a705f000f89e81f31efc83cfd68","datavalue":{"value":"W2484880499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477657$D0233B51-EDF0-43E1-AD91-DDFE8D39C4EF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03cc35bd2d98212ad51f2b7b8540e7369f1740bc","datavalue":{"value":{"entity-type":"item","numeric-id":5756494,"id":"Q5756494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee8f6d97534c8ece17a525d6b0a43f43e7680529","datavalue":{"value":{"amount":"+0.7501962780952454","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":"Q5477657$936FE07D-C9E8-4362-BD7C-BF189505F7ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe5a37b1c080cc6749930416084e59c058a1126e","datavalue":{"value":{"entity-type":"item","numeric-id":2769440,"id":"Q2769440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2dfd9f10510f612a887d666e19274670e073704","datavalue":{"value":{"amount":"+0.7351740598678589","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":"Q5477657$34133E26-746B-4BC1-94BE-61D38BF31F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"99b295faa5a6115b9c9eef54ec2e6271722e2934","datavalue":{"value":{"entity-type":"item","numeric-id":5466553,"id":"Q5466553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b286de1d16bb48134fe0761c6bdb01c1dd7ff20","datavalue":{"value":{"amount":"+0.7339569330215454","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":"Q5477657$A7B939EB-11D4-4B33-B9A8-A645594A3FB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8549f214ce20428586a68a10c6e2fa28ce9afc07","datavalue":{"value":{"entity-type":"item","numeric-id":4411972,"id":"Q4411972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bf3fb5c93f92343019fdd44b8b3c3cb3779505a","datavalue":{"value":{"amount":"+0.7337113618850708","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":"Q5477657$0C6CEC6F-6EAE-428C-9C8E-AC9354371D94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6637a19f9cd014b3471ee8eb95bc7b837995c16a","datavalue":{"value":{"entity-type":"item","numeric-id":5400855,"id":"Q5400855"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3609f7acdcef8c10c7d8f39d3313ddb76404b1c4","datavalue":{"value":{"amount":"+0.7330895066261292","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":"Q5477657$58C0A3DD-E773-4CED-B107-A28A65C32F2D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem Proving in Higher Order Logics (scientific article; zbMATH DE number 5038933)","badges":[]}}}}}