{"entities":{"Q5464666":{"pageid":7494225,"ns":120,"title":"Item:Q5464666","lastrevid":48530305,"modified":"2026-01-05T03:15:29Z","type":"item","id":"Q5464666","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2195679"}},"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":"Q5464666$412A4BFE-49DE-4B34-AB5B-21AA2A80575C","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":"Q5464666$6878CB51-52CE-4759-B45F-D8D63E05742E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8cdb85db1c4b8c18f031ec779a31cdd0bd454dd0","datavalue":{"value":"1099.68725","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464666$F5E5A064-C4F3-42D4-B4C0-54587DCC45F3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c8f210947d1f10526bfe277aab343a3905d8fd2b","datavalue":{"value":{"entity-type":"item","numeric-id":684404,"id":"Q684404"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464666$6E7860A5-E693-4C74-B765-16882941484C","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":"Q5464666$EF726E75-409F-440B-A327-1946C17704B1","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":"Q5464666$EBDFF6D3-E967-4FC5-B0CB-DE27C220DEE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464666$8A2FF489-FE63-4BF5-B00D-36578A7464FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464666$986B8CA1-9226-4725-B199-C762BCECE72F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b4e1df7ba929664ba7b91d5a816f05411516abc3","datavalue":{"value":"52C17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464666$8D9277AF-44DC-4B26-B62B-418305ECD528","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8c1dc88bf45293d420a392c2b5f1d12c377aef43","datavalue":{"value":"2195679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464666$3B9E0B57-21B9-41A7-A411-3FD2A902799B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31d2ddeef485fccfd3a5fe32ea329d2b65b4f1b4","datavalue":{"value":{"entity-type":"item","numeric-id":35396,"id":"Q35396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5464666$E4385FFC-AB91-4680-A616-4698CF2C9990","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":"Q5464666$94212938-B6A3-46E1-9020-B37F4C46C184","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":"Q5464666$901C1B0E-05A1-4B8D-A437-866635F8578E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"3e2331554d07e306ad1c5f27a2ceb70ff59729ae","datavalue":{"value":"W2798038182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464666$262B0B19-10C5-43C1-8453-9A0DAD04EC27","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c8f3c87052d3eba7f583a529fee7b521492998e1","datavalue":{"value":"10.1007/B100400","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5464666$0C6662C4-478A-40B6-B2C7-F40686D0504E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aeea4bb2b5ba2b2bf4fa10891363c2362a96cfcd","datavalue":{"value":{"entity-type":"item","numeric-id":5280247,"id":"Q5280247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6ab28e5ea41b33dce1d331497a1aed3106b93a1","datavalue":{"value":{"amount":"+0.88711017370224","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":"Q5464666$AD9684AA-22BD-4694-8796-0FB11AF1D960","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ccb0997fb8f5eaf8eb46d863fa1a6cbde81a59a","datavalue":{"value":{"entity-type":"item","numeric-id":734997,"id":"Q734997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"372c001a6d03fc2940b7f7465ab85ad1e9baa8cd","datavalue":{"value":{"amount":"+0.8870342969894409","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":"Q5464666$2346F4D6-8361-4611-9A32-444C658A9F11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c25ab1ed9183d54cc4a2a791738aed1c218c3a78","datavalue":{"value":{"entity-type":"item","numeric-id":5747875,"id":"Q5747875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"075a0acd254a62e145dfe21f43aefb0d4644c44f","datavalue":{"value":{"amount":"+0.8656140565872192","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":"Q5464666$6C2D8CCA-C097-4510-8187-B9DEDB7B9F0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0dcd75223334b7c3e2a0cae0f88f57f7ae052cb","datavalue":{"value":{"entity-type":"item","numeric-id":3094959,"id":"Q3094959"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3557788d2506433b5f5cebd0833a7eddbded4d1e","datavalue":{"value":{"amount":"+0.8572548627853394","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":"Q5464666$1DB75111-362A-4F24-AB06-38437D97C588","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2978c72b207bf0f56b4115779067e41eb8d3ac95","datavalue":{"value":{"entity-type":"item","numeric-id":4549245,"id":"Q4549245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c0c5ab3eba400bcd94b8b109416fd5326bfd17b8","datavalue":{"value":{"amount":"+0.8552589416503906","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":"Q5464666$39813957-F0D4-45C0-B937-504D2DB52E60","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5464666","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5464666"}}}}}