{"entities":{"Q5477669":{"pageid":7507228,"ns":120,"title":"Item:Q5477669","lastrevid":49872901,"modified":"2026-01-11T12:08:06Z","type":"item","id":"Q5477669","labels":{"en":{"language":"en","value":"Theorem Proving in Higher Order Logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5038944"}},"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":"Q5477669$E0C18377-6189-4E23-AD21-E61ACDD2AC57","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":"Q5477669$6B170817-7485-4B2F-BF67-1C8F9BEBD481","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a524a82b741b2630b1ea1ab08ed87ef5513177d8","datavalue":{"value":"1152.68529","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477669$BDE0F430-331D-4D28-AACF-812184B7CC88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"60e14ebe752857c79be86072108a2eaa35956999","datavalue":{"value":"10.1007/11541868","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477669$A829608E-71C9-4D71-B3D1-5DB68634A2E0","rank":"normal"}],"P16":[{"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":"Q5477669$9B76CAE0-DC35-4E88-9C55-C1F9F888D6D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5477669$2C5030F9-14B1-4A57-92EF-5DAAECC0ADB3","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":"Q5477669$73923EAF-A7E5-45D5-92DC-A23EF1D95786","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":"Q5477669$BB9DF6C8-667E-4399-9353-729F83CB0B26","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477669$8267375A-0098-4376-96F8-5AC6E5206D0D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9cff1f0a64996525539ddb1a737e58bfee89198e","datavalue":{"value":"5038944","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477669$F6E4B78A-E7A2-48A5-83ED-29B2CAE77EE3","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":"Q5477669$08301790-41CD-494C-8787-28DB8839219A","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":"Q5477669$E3407F1A-9B2B-420A-8CED-2660E299F5F1","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":"Q5477669$045E86A8-E5AF-4F27-BC74-C1966A4E04C0","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0c022af1b7546a705f000f89e81f31efc83cfd68","datavalue":{"value":"W2484880499","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5477669$82BD5B6B-8318-4650-A53C-12A1CD134F9F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"24fe603be126cf3667eea9dd66064ca9076cdc76","datavalue":{"value":{"entity-type":"item","numeric-id":1904402,"id":"Q1904402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"faa1d419b06864c5454a1360755e037fd3c74cf5","datavalue":{"value":{"amount":"+0.7298983335494995","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":"Q5477669$49816475-F73B-4FA0-9401-78A29BEA224A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14114be4301eaad51f1739758cc68603700c49f4","datavalue":{"value":{"entity-type":"item","numeric-id":1881267,"id":"Q1881267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11b31f7dcf4f6e86c4c3468205abe8c17414894f","datavalue":{"value":{"amount":"+0.7229514122009277","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":"Q5477669$E888F4CE-9806-433B-BAA2-FEAEB001A543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ee60e3c0c9f608e85ef83e663dbf3bfe41ca06b","datavalue":{"value":{"entity-type":"item","numeric-id":1089782,"id":"Q1089782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c64ad58f184f199f48f1d66769ed98a2f64ee77f","datavalue":{"value":{"amount":"+0.7044153213500977","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":"Q5477669$90406D30-F7D2-411C-BD81-38CC72527230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8168f6de94723baf54be48aa81de94791e16c890","datavalue":{"value":{"entity-type":"item","numeric-id":4943357,"id":"Q4943357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5238226012da4bf7166a5a4c8dca2670b22f9188","datavalue":{"value":{"amount":"+0.7035108804702759","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":"Q5477669$D3A44405-5575-4872-A32E-E057C3B635C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"57f61f2780a42093b7d45ae41b190c5052c4f671","datavalue":{"value":{"entity-type":"item","numeric-id":3024867,"id":"Q3024867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34edb4eb1e9fc1698eccad7681ab3b78ff6dc9a7","datavalue":{"value":{"amount":"+0.6957746744155884","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":"Q5477669$447F6D86-2B2F-4FF1-BE7B-A78A48F11BE9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5477669","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5477669"}}}}}