{"entities":{"Q5477667":{"pageid":7507226,"ns":120,"title":"Item:Q5477667","lastrevid":49872898,"modified":"2026-01-11T12:08:06Z","type":"item","id":"Q5477667","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038942"}},"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":"Q5477667$D0AEC21D-AA99-40DF-93DB-62524283F898","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":"Q5477667$A5733334-E7F3-452C-8745-5E751A087A36","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f4f71ac818e37126373c05ce1b00ffd0405d6239","datavalue":{"value":"1152.68525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477667$2AF09DB1-1473-456D-A70F-B29693213D07","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e14ebe752857c79be86072108a2eaa35956999","datavalue":{"value":"10.1007/11541868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477667$4D8CC667-E22B-47D4-95C3-401E9984C913","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"76b38168777167ff49199bd7f47bfebb8e51e498","datavalue":{"value":{"entity-type":"item","numeric-id":438547,"id":"Q438547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477667$FEB35C5A-92E3-468D-AEF2-C4E214661B39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"3c5989ab1028cea7e9ee7fb42127fc02a808a197","datavalue":{"value":{"entity-type":"item","numeric-id":438548,"id":"Q438548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477667$0D866E10-B65E-421E-9A48-D874FFA47A7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc442b6d258731aa6f56db3b1030762f889ec8e6","datavalue":{"value":{"entity-type":"item","numeric-id":417948,"id":"Q417948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477667$494194CD-D33A-4892-9462-02DF48E13602","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7ab7d4636d237c78cfef4f47fdbac4805f8a7b82","datavalue":{"value":{"entity-type":"item","numeric-id":438549,"id":"Q438549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477667$CCC28C27-1EAC-4E97-B008-DB67A0A4DE4D","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":"Q5477667$DE503C08-B459-4426-9623-8716BCEAA905","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":"Q5477667$E14EA94C-3E84-422E-B563-C4E08BFE13A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477667$20851285-404C-431B-BAF4-6995B5BF9E2B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f198ff57eab9e1cadbfff841df183eee0828f3c7","datavalue":{"value":"5038942","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477667$70F49BF3-ABDA-45F0-B4CB-7F6E830229B0","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477667$CE8A6E3D-1FE1-4299-B64F-9CD89087C5B7","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":"Q5477667$08C14479-3CC6-44C8-8407-EAED99A1E153","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":"Q5477667$A202D7E1-5565-41D5-9548-F288E3096FF8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c022af1b7546a705f000f89e81f31efc83cfd68","datavalue":{"value":"W2484880499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477667$03258DA5-EE91-4F72-91A1-8A892226D717","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f27065c7611ec1a3b474989cc0983f124878d9e","datavalue":{"value":{"entity-type":"item","numeric-id":438550,"id":"Q438550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a24fe7d96881f17ff1427abdb39e61dd611e592","datavalue":{"value":{"amount":"+0.9573203325271606","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":"Q5477667$F2081941-93D8-4D4E-B918-9911D3D48887","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5646a8e54fc64977dc8dbf952c8c59395c9dc7fd","datavalue":{"value":{"entity-type":"item","numeric-id":4246946,"id":"Q4246946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555d1cdf2c34dd5bb057c7c77f0280aa3a43161c","datavalue":{"value":{"amount":"+0.814876139163971","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":"Q5477667$EBBFFD73-43A1-4A72-9B85-5DA8464D5295","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e8be61ae365ac66846a3a9b92c68c400eb0ddb96","datavalue":{"value":{"entity-type":"item","numeric-id":5195254,"id":"Q5195254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"555d1cdf2c34dd5bb057c7c77f0280aa3a43161c","datavalue":{"value":{"amount":"+0.814876139163971","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":"Q5477667$93FAA40E-28F3-445E-A4B6-A0CA2C3A1443","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fffdb80b08a4eeb186813621408a53ad1eea90a","datavalue":{"value":{"entity-type":"item","numeric-id":3305561,"id":"Q3305561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b1b761326a5f887e42e8b29d2127f33e41e61f7f","datavalue":{"value":{"amount":"+0.8076925277709961","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":"Q5477667$6D77D568-0B94-43B6-88AD-9155C88FA6EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ce93b36fbb93578ad5ecba2c0a0680a8f43e366","datavalue":{"value":{"entity-type":"item","numeric-id":5712322,"id":"Q5712322"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bb6225bcea9119b02b818d0089f3728da697758d","datavalue":{"value":{"amount":"+0.8016952872276306","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":"Q5477667$9FD0B8F1-9BC2-4D37-9256-CA801C769A6C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477667","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477667"}}}}}