{"entities":{"Q5477666":{"pageid":7507225,"ns":120,"title":"Item:Q5477666","lastrevid":49872895,"modified":"2026-01-11T12:08:06Z","type":"item","id":"Q5477666","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038941"}},"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":"Q5477666$B7579532-4154-46A2-9F73-5DD0CC620B1E","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":"Q5477666$49C9C8F0-53ED-4EF3-93A2-32EF0A42FFD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55c2a90129c0bae78801f3c5a2075fcccf97cb42","datavalue":{"value":"1152.68536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477666$F30BC164-6D56-4164-B12B-075A9DAA0D2F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e14ebe752857c79be86072108a2eaa35956999","datavalue":{"value":"10.1007/11541868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477666$BB712F8D-1413-40D7-831D-F2ED5E10FDEF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bcd478264cc6aa5b8383a7d2ac9f31313184807","datavalue":{"value":{"entity-type":"item","numeric-id":2914740,"id":"Q2914740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477666$F0976F27-7AEF-4D20-9E78-342F03F94641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db5e218f716ca700616397a6cbd9d737bd82acf0","datavalue":{"value":{"entity-type":"item","numeric-id":1334902,"id":"Q1334902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477666$C578E69A-37E1-4B5F-9262-C6C4833E06EE","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":"Q5477666$3335881B-3CC8-4EE1-9F0F-CB4954CA926F","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":"Q5477666$37A64D36-B991-4F52-A506-92DC3FAF99AA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477666$023A45CB-9D83-4DC2-A4CA-DD3135D27895","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477666$68EB973A-FAD0-4817-B71E-4A19535F8463","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477666$38FECBA7-B5FA-46DE-80E6-D4336013943A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d107887e0ab628d7a6dcbaff3f7d5fda8662158f","datavalue":{"value":"5038941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477666$5E9339A0-FB29-4107-8339-DCE36701A4E5","rank":"normal"}],"P1463":[{"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":"Q5477666$141C0E22-3462-4814-BC23-E6025C3A9E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477666$DCA7FA3D-2751-4EE8-84FC-46BD9FECF64E","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":"Q5477666$767F0494-3C63-43AE-806E-D882F388928C","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":"Q5477666$85FD1015-553B-45EC-93D7-374D057BE44A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c022af1b7546a705f000f89e81f31efc83cfd68","datavalue":{"value":"W2484880499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477666$9486602B-427A-4519-8635-BD0866AA6E62","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e80f1986278e2e39262bf06254305e1904ef1b55","datavalue":{"value":{"entity-type":"item","numeric-id":4945211,"id":"Q4945211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef09340c2a0a2c58b5ce0e492276e0800f33f198","datavalue":{"value":{"amount":"+0.8109639883041382","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":"Q5477666$97EC488C-98F8-4135-8E44-1345CE76451A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37c2d38174740d88c721f114ca564498aad706cb","datavalue":{"value":{"entity-type":"item","numeric-id":5897068,"id":"Q5897068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6afd75d5f7fb6a75be94cbd876e708125a014e73","datavalue":{"value":{"amount":"+0.777340829372406","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":"Q5477666$818E338B-2635-4048-806E-A7B16BC248C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d73e3fbbb404df50c9f0023cec83982ea94790f","datavalue":{"value":{"entity-type":"item","numeric-id":1791171,"id":"Q1791171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec44c52809e352530a6e2a7c127395f69bdb3173","datavalue":{"value":{"amount":"+0.7725545167922974","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":"Q5477666$AF45FD46-657D-41E7-8B1C-CFB996F89D8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9fb97579de598878a5dd2719f58b4388cf7a39e","datavalue":{"value":{"entity-type":"item","numeric-id":706502,"id":"Q706502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f1fd8cb222c8b0b748f0e20a837043d284676142","datavalue":{"value":{"amount":"+0.7709832787513733","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":"Q5477666$1197EB71-FF26-4642-85E1-10467E57AD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27852a71dcb57134c3358ab1f2ff1fb7ac83fa04","datavalue":{"value":{"entity-type":"item","numeric-id":3183543,"id":"Q3183543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"910ded8831387d57d3972eee93d5ebdff1209540","datavalue":{"value":{"amount":"+0.7387756109237671","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":"Q5477666$14632C5D-FEB6-46C3-B565-259BD66BD363","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477666"}}}}}