{"entities":{"Q5464645":{"pageid":7494204,"ns":120,"title":"Item:Q5464645","lastrevid":48530263,"modified":"2026-01-05T03:15:27Z","type":"item","id":"Q5464645","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195661"}},"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":"Q5464645$BEE01BF9-82A9-47D1-8AAB-627260F9AD67","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":"Q5464645$0C62EC95-34DC-463A-B839-A1710EAFBF18","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1600a3026392e7d5fbd8d598138d81b3195e9fde","datavalue":{"value":"1099.68729","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464645$AA63EEBD-63F9-4D49-9124-2B25B5808C24","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":"Q5464645$3F343D7C-0E4E-4DE4-8F28-E3650E913305","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":"Q5464645$78D45064-549B-4B93-A420-60E2FE4EAD85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464645$682C132C-5E5B-4178-9086-E4E27D150AAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464645$7EE1A151-9B96-4A2C-A334-54808FC2BE36","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"12e1a3790be020fd1055f37b8633bf8037376032","datavalue":{"value":"2195661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464645$58534E7F-39AF-48CC-B350-D2AB9F6A2B73","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":"Q5464645$AD8DA31B-6802-4748-9E7D-0C2934299FD6","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":"Q5464645$1646EDB4-38F8-4721-859C-B981BA817F1B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464645$49462CEE-30DB-4077-8D70-F12CFD8B61D0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464645$5019EA83-86CB-470E-A086-408F7BA9092C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fc32b62349d0c9293f4c29f3a5a42b70ae04d35","datavalue":{"value":{"entity-type":"item","numeric-id":2844820,"id":"Q2844820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07ba767bfc9d34a5d96cdc038c6bb92a091fd9e2","datavalue":{"value":{"amount":"+0.6695178747177124","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":"Q5464645$0EFF57D5-9243-4D9D-A639-3FA69A2663D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cc9500593c20ce342ea6d23b1f42d82714b27701","datavalue":{"value":{"entity-type":"item","numeric-id":998103,"id":"Q998103"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b3640fe572e8c1ac7ac98a248fd9e911d70e7e9","datavalue":{"value":{"amount":"+0.6551221609115601","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":"Q5464645$5A85B2E2-ED71-4590-874B-EB247517E9F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89c64c29220af524fb647fb5ad5a35f31dc758f6","datavalue":{"value":{"entity-type":"item","numeric-id":5179359,"id":"Q5179359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"25d0a8b0bb8b268ab38fcca68cda546a505e6e96","datavalue":{"value":{"amount":"+0.6528192758560181","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":"Q5464645$5851318F-3CFC-4225-B1FC-4C1AA987843B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4620ea20464e2d17a24ff68de888594c6c96fa5c","datavalue":{"value":{"entity-type":"item","numeric-id":2442952,"id":"Q2442952"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"114a8e20c3e3b4bf858321dd3e999aed24b46645","datavalue":{"value":{"amount":"+0.6508074402809143","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":"Q5464645$0D8C5FC2-ED9D-4616-BC61-A38831247710","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0ca434aa252a3c245ddfa693589062293f6d711","datavalue":{"value":{"entity-type":"item","numeric-id":2764139,"id":"Q2764139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4a663c30ed44b0390565c6e82bcdb5f9347ac57c","datavalue":{"value":{"amount":"+0.6469677090644836","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":"Q5464645$9BAF391E-90E9-45E5-AA41-A86675DE66D0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464645","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464645"}}}}}