{"entities":{"Q4916081":{"pageid":6945662,"ns":120,"title":"Item:Q4916081","lastrevid":51697616,"modified":"2026-01-19T13:13:41Z","type":"item","id":"Q4916081","labels":{"en":{"language":"en","value":"Common knowledge logic in a higher order proof assistant"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6155893"}},"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":"Q4916081$5F83972D-3922-4D92-98AA-C69E2D226835","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be39e8cd8ee16204e8b9b92e46184b7175298305","datavalue":{"value":{"text":"Common Knowledge Logic in a Higher Order Proof Assistant","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4916081$172CC1E1-B0B3-4DFC-976E-2D7E3F8C31CF","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b3b05b66874d8a1c041cf3343eb48d7082df5f23","datavalue":{"value":"1383.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916081$8A025810-07B9-4922-BEE6-FAA332F3B460","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e8e99edd89d9cb8a6d718c3d718e6ede6af62bf7","datavalue":{"value":"10.1007/978-3-642-37651-1_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916081$D7ED8A94-62F1-4DF3-BDA1-0918F51945CE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$2623CD05-733A-4EDA-A8CA-3D44FDD72FFA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3a046867d8df4ef9ef42dfd906417229d4e733e0","datavalue":{"value":{"entity-type":"item","numeric-id":4916068,"id":"Q4916068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$B61831A0-4624-4E3A-8BD6-A5EC81DB01C8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"09328fefd4bef3fd48b14da7de769686b3303861","datavalue":{"value":{"time":"+2013-04-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4916081$70646E5D-F1C0-4F09-BB35-ECE517EB7928","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916081$F48EC0F3-AEEE-4DD6-B000-6EEE82499C02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19e8b53914fe36a939b2f687be46776db2609217","datavalue":{"value":"03B42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916081$5A7B288E-5747-4283-A9F0-44B0B3DD960B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"29b214acede28203eec6a0f707143d8956d3c3c7","datavalue":{"value":"6155893","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916081$4B6256F3-F795-4F82-B88B-8187FBF8677B","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":"Q4916081$F8D0450F-473E-40BF-AEF8-8FF724AADBC6","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":"Q4916081$FE289F63-2402-4763-B4D8-8F82C8EE1782","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"58ec3b5838de6d8b793b8a50f4a3797cc12cd691","datavalue":{"value":"https://doi.org/10.1007/978-3-642-37651-1_11","type":"string"},"datatype":"url"},"type":"statement","id":"Q4916081$A273D44E-7C05-42B9-9EEC-8BDC6A250770","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9fe5139a1acc61a0665ea30cd5896829b0595ddc","datavalue":{"value":"W1498590701","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4916081$126ECB28-6C9F-4150-AFB2-9CF8580D4486","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"02f20f1e92d04f3a6d0b3c87f0e0b6a43eb5c087","datavalue":{"value":{"entity-type":"item","numeric-id":1890908,"id":"Q1890908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$73C90D05-32DC-4356-A055-D51B06E4E549","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$44AF8D9C-D198-4D9F-98B5-CAA7102B14F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$A62E71C0-00C3-4B81-89E4-7047252D01B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7693d3e6c7f7a7def4b90dc545f42dcf71aa2e41","datavalue":{"value":{"entity-type":"item","numeric-id":4221242,"id":"Q4221242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$8A565598-E550-4005-9CE4-16FC5C75A042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$130C230E-3414-45ED-AB9F-037F168BC6E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2790188d3a2572a99d3b8280868598d27c040965","datavalue":{"value":{"entity-type":"item","numeric-id":4525781,"id":"Q4525781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$02E1E36C-B9A3-4790-A06B-7963CDDAFBAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a48c61c6138784426830f34f60c6e6c51b112861","datavalue":{"value":{"entity-type":"item","numeric-id":4842976,"id":"Q4842976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$E8EF97ED-4D98-4925-BAE9-A39749BFE7C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dfe32de4b1db4466a0d7fdbe6a188e5004dec11","datavalue":{"value":{"entity-type":"item","numeric-id":2643149,"id":"Q2643149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$42CFDAD9-8B0D-4A96-9FD8-080CA15F9C86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d95d58af5ba1dcab4dcd26755bcea70cd06475d","datavalue":{"value":{"entity-type":"item","numeric-id":1087024,"id":"Q1087024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$739927CD-DBF6-4BC8-B2E6-E9921EB4F1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ab391d7520c2f7eb20ccacbbb9e9d9d7e4e07e2","datavalue":{"value":{"entity-type":"item","numeric-id":1363539,"id":"Q1363539"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4916081$8AC6BD04-EB3F-4FA7-94E7-0163F4985091","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74907d9756948c4ba03bf28c58939b36b24b0edd","datavalue":{"value":{"entity-type":"item","numeric-id":2643149,"id":"Q2643149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba70a9e57a8cfecd07d073ac77d61c12e6a8b253","datavalue":{"value":{"amount":"+0.9065110683441162","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":"Q4916081$A24C95EC-8A61-4F2F-84DB-3BA642CDAB89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0136ba771022afe1a1a65d2472f604d60be11eb2","datavalue":{"value":{"entity-type":"item","numeric-id":3299587,"id":"Q3299587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b36af7aaa29ec9e888a46b50a9000ba9313a0a4f","datavalue":{"value":{"amount":"+0.7760403752326965","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":"Q4916081$D3F8D802-E80F-4D0A-8171-A49496E5D398","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"86c82d7ea3abe638f84dea7f03893272e5e5ac08","datavalue":{"value":{"entity-type":"item","numeric-id":4465172,"id":"Q4465172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea3b8990d6b7a5edb5f53ffd1a7d9fbbe2a3c70d","datavalue":{"value":{"amount":"+0.7731572985649109","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":"Q4916081$9103FB87-DE43-4B90-95AF-06D73142EC1D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bdcf28199b9f473000bfc06f3418c062851898a","datavalue":{"value":{"entity-type":"item","numeric-id":1791151,"id":"Q1791151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1cea152b262fc42c465a14c57be091ba523a3d9e","datavalue":{"value":{"amount":"+0.7727435827255249","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":"Q4916081$CC19F6AA-26D8-42C5-AF63-194B368F4617","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5298c5a5e72b19443da416c0ed19df9e277f6b1d","datavalue":{"value":{"entity-type":"item","numeric-id":3185764,"id":"Q3185764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1313262a6320be64843ba051118ff2105f92b7d1","datavalue":{"value":{"amount":"+0.7704256176948547","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":"Q4916081$E0A7361C-644E-459B-8E1C-BD66D1E97E72","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4916081","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4916081"}}}}}