{"entities":{"Q5464643":{"pageid":7494202,"ns":120,"title":"Item:Q5464643","lastrevid":48530257,"modified":"2026-01-05T03:15:27Z","type":"item","id":"Q5464643","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195659"}},"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":"Q5464643$0CD08DB8-B5D3-48FB-8C00-B81BAD6B8C0C","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":"Q5464643$F52D2696-E9F0-46B2-9C50-62E7825A3939","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77321eee0ce9ff7378f95683def50069ff1751d5","datavalue":{"value":"1099.68727","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464643$49EAF41A-5E59-4176-8002-06C40F9395F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5c59f50d985c22e47051ba5d524f4d924c14e07a","datavalue":{"value":{"entity-type":"item","numeric-id":853739,"id":"Q853739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464643$05C21AD6-4A34-4FE1-82A6-168754AE78D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6aea3f0ee8e6f275caea106ffc7919019f79c719","datavalue":{"value":{"entity-type":"item","numeric-id":853740,"id":"Q853740"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464643$5C7CA640-CD1B-45C1-8E4B-52EF4CF8B88F","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":"Q5464643$4A54BD2B-799D-479E-8C54-207BE31FD0C1","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":"Q5464643$7B8D0D2A-E418-477B-969E-1449DD7F97DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464643$E1DA9E42-BD59-4359-B275-13401FFA69D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464643$80479C59-4013-4D4F-A033-E3D71CBF91BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a7b108670b6b3f5c02f0da51794a793a0491775e","datavalue":{"value":"2195659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464643$09CB520E-F054-4673-BE22-9D7D93B26249","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fef5f048f2ff970244195639e7bcf4e64ea5e666","datavalue":{"value":{"entity-type":"item","numeric-id":16795,"id":"Q16795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464643$212FD922-C272-42DA-B65E-3FBC59A482D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464643$8D01AEF7-5E31-4BF5-9BA0-69351F4F0EEF","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":"Q5464643$FFF36491-E7F5-4F61-A41D-D773010B6D51","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":"Q5464643$F162774D-3332-4E89-9450-1E50CE59FB27","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464643$5FFBA4D4-5EB5-4A9E-AD93-05A4DF4ACD16","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464643$E04F8564-E560-414B-845D-DF923F278158","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3cc628ec77f4225c1666946ef50ea6e3eddd77d4","datavalue":{"value":{"entity-type":"item","numeric-id":2754047,"id":"Q2754047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d851712d7c76497e9346332834fcbcf540a25033","datavalue":{"value":{"amount":"+0.8266535401344299","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":"Q5464643$31DC09DF-CD21-41BA-B932-32143919DE2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6cacab0c99e252fb36634946982fcbf0f931b80","datavalue":{"value":{"entity-type":"item","numeric-id":1311396,"id":"Q1311396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b79f487b953296b809ffa163e4272fb0c94eb92","datavalue":{"value":{"amount":"+0.7877460718154907","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":"Q5464643$95578F76-EA34-4643-B3D5-0E1A44D26C68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fe7a7c4f5dac6dd56f6689fbd94d027549e0a9bd","datavalue":{"value":{"entity-type":"item","numeric-id":5756755,"id":"Q5756755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4391487d5551afd672e3031e61e8283d9da76441","datavalue":{"value":{"amount":"+0.7709754109382629","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":"Q5464643$6510D9EC-DD39-48A4-9D20-ADA57EC489A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1239cc0087320b1d011c36a6ded64b42b1cb8437","datavalue":{"value":{"entity-type":"item","numeric-id":4924546,"id":"Q4924546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0c58a0d8e794f805886370e4389ed5d2d24b342a","datavalue":{"value":{"amount":"+0.7673593759536743","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":"Q5464643$98AB6A2C-B183-4E73-9D27-CE765FCD2F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9535aae83cc059803d499aad5c60b21a49286ea","datavalue":{"value":{"entity-type":"item","numeric-id":1283204,"id":"Q1283204"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0fe43009046d08fc0d5c62dd6df8baaa6d49cec","datavalue":{"value":{"amount":"+0.7622243165969849","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":"Q5464643$8931782A-BC95-41D9-9F1C-232BFA5399F7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464643","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464643"}}}}}