{"entities":{"Q5464658":{"pageid":7494217,"ns":120,"title":"Item:Q5464658","lastrevid":41196185,"modified":"2025-04-18T23:21:36Z","type":"item","id":"Q5464658","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195671"}},"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":"Q5464658$B5339300-375B-4E5A-925C-869A2831E01D","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":"Q5464658$EA298734-1BB8-4BA4-ACD4-B60706FF78AC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4edf745185b4d9bbee6831f90967616d5da898d7","datavalue":{"value":"1099.68545","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464658$EB32FC62-4FF1-4A0C-8180-E1908845D780","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"67b896c10f3227ea4049c79b99f5dbeb9cfe4fff","datavalue":{"value":{"entity-type":"item","numeric-id":1405992,"id":"Q1405992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464658$F59875A4-5D61-4E8E-B915-9A6D1CBCA38C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bd39997decddd4925a8ef09cbbffc4f41d2b1f00","datavalue":{"value":{"entity-type":"item","numeric-id":670700,"id":"Q670700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464658$FB05A1C0-5D97-4DF9-9A7F-9A9C67212913","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":"Q5464658$6973B186-BCBE-4BA4-A68F-40A74706507E","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":"Q5464658$B21E1F19-998B-4E13-B858-0C4CF5100D26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464658$232A528B-B9C0-45D0-97B4-89D36E7D2DB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464658$06DECA85-AB9A-4992-B3A4-CEC10E9E17EA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5db84cd35d76d20d1c731e55c4d9fbbadb2ba995","datavalue":{"value":"2195671","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464658$305E7C0D-9E20-4A39-A1D2-705141E3D1FB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464658$77E2B768-267C-4001-AC36-F8D5BF0585A1","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":"Q5464658$40FF6FE4-6985-4023-A80F-CE03569BA880","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":"Q5464658$3A82FED5-1705-4FDC-BA38-206F1A3540F6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464658$47C79BCE-D6B2-4B11-9357-175207AD6733","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464658$F2A1E8F4-9FFB-4C75-9AC8-61E24CAF69CD","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef5e9575d3f99653ee212b6198623fb0a9530c0d","datavalue":{"value":{"entity-type":"item","numeric-id":2151229,"id":"Q2151229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93df9b7e14cb998eaa9d008e4a5957c30f2751cf","datavalue":{"value":{"amount":"+0.85400254","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464658$86FBC296-6630-47F6-84A4-3823FD2BE2D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"959808d9f0597fd739fa0ba27b0fc1fa2cc66e04","datavalue":{"value":{"entity-type":"item","numeric-id":2226732,"id":"Q2226732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5abd58b3e87c4d39c7857bd45a2335cda1a641f1","datavalue":{"value":{"amount":"+0.8498446","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464658$EBA157B6-CED5-4290-95B5-AB8B2880ED83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"46e24a4e44c182412af85f12e2ab253e35c4dcec","datavalue":{"value":{"entity-type":"item","numeric-id":5875362,"id":"Q5875362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d33e28b0a5d33e6710a596cbaf8128c6ce9b68f1","datavalue":{"value":{"amount":"+0.8492438","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464658$FDD7F2BA-6B45-4596-A824-4AAA54963BDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ffd806f957e595bdb3c434301ada52a64f5338b","datavalue":{"value":{"entity-type":"item","numeric-id":2026298,"id":"Q2026298"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96fd63c63fcf6a5e352b457657b344d8ec1b6ed3","datavalue":{"value":{"amount":"+0.81182617","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464658$966C13ED-0355-4F3F-BD8E-E0D458632020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"67b0b5660171c37ad7e676fe393a393a2233fdb6","datavalue":{"value":{"entity-type":"item","numeric-id":6109575,"id":"Q6109575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1405550b64b8d83e42307faadf505c0d4cb5b013","datavalue":{"value":{"amount":"+0.81170243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464658$0C05B23B-DE19-4221-8B4A-77F011ABC923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1f3b07360cba833e3b52bd12f75610c7bf1124fb","datavalue":{"value":{"entity-type":"item","numeric-id":5464646,"id":"Q5464646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddae8462079c15968a3270abd3aadaee5c7dc912","datavalue":{"value":{"amount":"+0.8106227","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464658$AD922764-EB4C-4877-AC08-4A0054809E12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3b3ac429cd5b7b2e267856ac44ec1770eb09bdf","datavalue":{"value":{"entity-type":"item","numeric-id":5919616,"id":"Q5919616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3737f8c64e5a5caf753e1e99daaf057ce753a868","datavalue":{"value":{"amount":"+0.8083138","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q5464658$5DC41FF6-7704-4E31-A250-78AAB6EDDE30","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464658","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464658"}}}}}