{"entities":{"Q5477649":{"pageid":7507208,"ns":120,"title":"Item:Q5477649","lastrevid":49872862,"modified":"2026-01-11T12:08:03Z","type":"item","id":"Q5477649","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038926"}},"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":"Q5477649$6D1D9063-CF18-4BDC-9BC9-BBF4CAD2E921","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":"Q5477649$601FEA3A-7B1B-4246-8EB2-8FFC47D8B394","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d8b63bb60c2e7034168337a202454f04ba898910","datavalue":{"value":"1152.68702","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477649$84EFD0D2-AA2D-4B97-9DB1-1A0A35196634","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e14ebe752857c79be86072108a2eaa35956999","datavalue":{"value":"10.1007/11541868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477649$32C97E2D-6B13-46CC-830B-69B922C7C8D2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bffd823543cff1e715d11a4bf716725d42966bb","datavalue":{"value":{"entity-type":"item","numeric-id":633301,"id":"Q633301"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477649$E8FEE09D-12A4-4E59-9F13-75240A663E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"379ac4e8dcb87cc7060e4dba787e250b7104d056","datavalue":{"value":{"entity-type":"item","numeric-id":512133,"id":"Q512133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477649$FB2087A8-72E1-4ACB-B255-4E9A0EC3288C","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":"Q5477649$24DB6BAB-14B6-44C8-8E9A-F0A4B4DFD629","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ab62ed9fc36983cf74c659518bd05672420ba04","datavalue":{"value":{"time":"+2006-07-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5477649$1F5BC0A7-F61D-40F7-AB40-362EF1088D6E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477649$9826AE8A-FAD3-4877-9879-59BBE9E82034","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477649$E0C2D482-44D5-45A8-A629-577996235B46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477649$1996561E-FC2E-499A-A359-345B3D1A8746","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"323e19d9b4971a3facfeeaa665e74a32cad5fc45","datavalue":{"value":"5038926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477649$A96DA6C7-3333-41EA-A3C3-BA63C94DB0A0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477649$75E5D9DE-26D3-4806-886B-425F22107F4C","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":"Q5477649$67264049-6B63-4377-B2A9-B2EB63CB9B4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c2fb76490c6ff834c9a8591f6e115d1ade34f149","datavalue":{"value":"https://doi.org/10.1007/11541868","type":"string"},"datatype":"url"},"type":"statement","id":"Q5477649$3E7A35A0-4402-4141-872E-C3B81554BC21","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c022af1b7546a705f000f89e81f31efc83cfd68","datavalue":{"value":"W2484880499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477649$F332B7DC-38FE-4906-A648-97070F9448D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10cecb197cba373237d74ec245fe75d5b1a83f2d","datavalue":{"value":{"entity-type":"item","numeric-id":2914734,"id":"Q2914734"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b8ae06677ea372d9bce5b941e5b7a29ed0522e60","datavalue":{"value":{"amount":"+0.7281609177589417","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":"Q5477649$0A9B730F-DA87-4BE8-91C8-9607778CA559","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"217504699fe24b11201851b6ad3ced9990620215","datavalue":{"value":{"entity-type":"item","numeric-id":2456560,"id":"Q2456560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f0dacc55a7dfe6175d6d632696f130eeaec5597","datavalue":{"value":{"amount":"+0.7230913639068604","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":"Q5477649$2AEF4970-4BCE-4163-9887-7CCC8F0BD48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6060fbd92fec0e1062e66e651a42e3325484b1a","datavalue":{"value":{"entity-type":"item","numeric-id":3140017,"id":"Q3140017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8122a1b59a1154fe6bdff40b91f6075dc09fae16","datavalue":{"value":{"amount":"+0.7153041362762451","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":"Q5477649$EA6DA1E5-1760-428A-8043-A75665EBDDA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"376fa173538d68e8bdbe43feae7ebd9b93814081","datavalue":{"value":{"entity-type":"item","numeric-id":2754042,"id":"Q2754042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8122a1b59a1154fe6bdff40b91f6075dc09fae16","datavalue":{"value":{"amount":"+0.7153041362762451","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":"Q5477649$AD306B02-F786-4AE9-B48C-E57F12129AAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86cde5befdfa96f0f2cfbf0c90a1796fbc3ee97c","datavalue":{"value":{"entity-type":"item","numeric-id":912612,"id":"Q912612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16b76b86bd7620e0891a7690d3aa767365a59018","datavalue":{"value":{"amount":"+0.7093026041984558","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":"Q5477649$D9A2CFC8-7919-4D2A-BC3F-2B5CB19B2354","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477649","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477649"}}}}}