{"entities":{"Q5464657":{"pageid":7494216,"ns":120,"title":"Item:Q5464657","lastrevid":48530284,"modified":"2026-01-05T03:15:28Z","type":"item","id":"Q5464657","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195670"}},"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":"Q5464657$6E11F804-E8F6-4DA1-B6FD-6C3E346176CB","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":"Q5464657$EA2DDA78-3519-4F0E-B936-2758536848AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f10158c2dc0cdcf89512220e30130ecf361589a4","datavalue":{"value":"1099.68738","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464657$DBDAA0D1-1404-4C17-8BEF-D11DC2A89D8D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f74f52a5b74b006285671bffd68de50834a05f45","datavalue":{"value":{"entity-type":"item","numeric-id":5464656,"id":"Q5464656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464657$E34A9F3F-05DA-402F-AC44-3CF7704898D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6829feb6fff3356bc2596116b672ef5d8da02ea","datavalue":{"value":{"entity-type":"item","numeric-id":4426725,"id":"Q4426725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464657$ACA3E93E-7421-4B41-A538-BBDFAB6ADDC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d675a18337c88a51183714836b2c4e3180811141","datavalue":{"value":{"entity-type":"item","numeric-id":316718,"id":"Q316718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464657$172277C5-B27F-4C8F-8452-5F2941A39B6B","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":"Q5464657$826D7006-E28F-4A70-A197-4851650522A5","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":"Q5464657$51D03A65-85F6-4257-BE7D-CDBED473E16F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464657$8642ECF3-0CBF-433F-B6EC-1BF0D475CF65","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"06ba949304fe64890ced269db62e4ea8a65bc92d","datavalue":{"value":"2195670","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464657$911F175E-2964-40BD-A68C-500D8B0AAFDF","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":"Q5464657$00940F9E-3D94-4E21-A18A-443A225E0B3F","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":"Q5464657$CF28ADBD-D8D4-426F-93AA-6D90019BDB84","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464657$A9A21C3E-ED9A-42FB-8341-1BFEC0025F05","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464657$79C80035-FF26-45A4-867D-0960076879D0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3dcf4fd76484a54f7bf8ee26c0be9c2ee38f9336","datavalue":{"value":{"entity-type":"item","numeric-id":1850957,"id":"Q1850957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aca3a9e413243fe7708cc4add725b4d40fee6c2","datavalue":{"value":{"amount":"+0.787871778011322","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":"Q5464657$C82F93FE-E107-4EDA-B123-ED4021F56914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a7704f814b6866f042c24ab4a13059549147eb01","datavalue":{"value":{"entity-type":"item","numeric-id":4532091,"id":"Q4532091"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27a452af4afafc7beef6443eb673be4e7d33488","datavalue":{"value":{"amount":"+0.7603748440742493","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":"Q5464657$919B908E-6B61-4D49-8B70-F8B928E406F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0f89f9ecac95b975e4800514e7b4fb5085331b4c","datavalue":{"value":{"entity-type":"item","numeric-id":2779252,"id":"Q2779252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e27a452af4afafc7beef6443eb673be4e7d33488","datavalue":{"value":{"amount":"+0.7603748440742493","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":"Q5464657$B445838C-E132-4C92-8243-B367C22838B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b351945072ba9ccd92641ab9dbbf3cb84d1c975","datavalue":{"value":{"entity-type":"item","numeric-id":4794727,"id":"Q4794727"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c4739f06326156e1ebb2e91b3c236c291ee36142","datavalue":{"value":{"amount":"+0.7174864411354065","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":"Q5464657$871EAF23-92B2-455C-8FF4-528E8FF67D54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"027d01452061cd96895758d35e71f90332b94a9a","datavalue":{"value":{"entity-type":"item","numeric-id":4551130,"id":"Q4551130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"daec54196e35326312bccc2ad59bb6c6441d15cc","datavalue":{"value":{"amount":"+0.6860982179641724","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":"Q5464657$8B4FE7C4-368A-4146-8AE3-62B3CDD75065","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464657","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464657"}}}}}