{"entities":{"Q6168989":{"pageid":13303876,"ns":120,"title":"Item:Q6168989","lastrevid":55473499,"modified":"2026-02-17T17:13:39Z","type":"item","id":"Q6168989","labels":{"en":{"language":"en","value":"\\textsf{LOGIC}: a Coq library for logics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7724791"}},"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":"Q6168989$BB6856A7-ABBD-4477-8E07-0DC0A5CD3B34","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"102447f81d6f8f271dfdf807f2a9f1fb39451ee3","datavalue":{"value":{"text":"\\textsf{LOGIC}: a Coq library for logics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6168989$278D36F3-5A1B-43DA-92DD-C3309328A646","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f210c65ac24f6049dfb6fd6d6f7c410438154f1e","datavalue":{"value":"1528.68397","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168989$6400A65A-6A33-4921-A00F-8F8A06773CEA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"11b476553e8fbb93704a559352314d1e68025c0d","datavalue":{"value":"10.1007/978-3-031-21213-0_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168989$383EF9B4-5BD6-4944-95B3-3EE6A72EDCC5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3dafc8265e00d5ff0c2def8b15276488609fa8d3","datavalue":{"value":{"entity-type":"item","numeric-id":6168988,"id":"Q6168988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$33B11ECC-2AA8-4915-A762-FC48567C6CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c893b180fb25eceb648b78e8f7d155d9dd75e1d","datavalue":{"value":{"entity-type":"item","numeric-id":484924,"id":"Q484924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$33F3243A-1AAA-4960-BBA5-064797502CF7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"02602812e8c677f46c4ba4febbc893f4aab8f2ae","datavalue":{"value":{"entity-type":"item","numeric-id":5045375,"id":"Q5045375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$55104094-C15E-45D2-96F0-0DBF5705B350","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"9dae15c90b98a92864cf67eed8eb0b97ddf8177e","datavalue":{"value":{"time":"+2023-08-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6168989$D2324C60-66B6-4F9C-A022-5833C40CFBF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168989$59E32047-7C4F-442D-A977-4CFA4B86A906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168989$AB9DF52D-2617-450C-9790-3F866A2CB624","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168989$FB26B48F-6306-4120-9E0A-8B87980A95A0","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"04b892a37920881d969e43ff6d92c615467947c5","datavalue":{"value":"7724791","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6168989$6FF29A1A-A426-4ABD-AD68-1C979DFEA8D7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4bbb0c1d4a0dde26226934f7234d049627289106","datavalue":{"value":"logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168989$BAECAFD2-FFB1-4F40-83A9-91B765568864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09e5b68927baf737cf4d5adadb4664c931aae1c2","datavalue":{"value":"Coq","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168989$9D558A69-D8AF-41F6-ADAB-54CCA9619E56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q6168989$6411D4A4-B51C-4A3D-B42B-AE9788D76410","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":"Q6168989$02D42115-9499-4913-BB58-2B7AB836BD53","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"138a145b3723972a73dae2c6cdcf8294ccb2b2be","datavalue":{"value":{"entity-type":"item","numeric-id":3000569,"id":"Q3000569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$835092F7-F9E9-4346-AB2F-D21E3E8D0F00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac0b2ea98f51ca5e885b48eab0dbd0cc88c72ee7","datavalue":{"value":{"entity-type":"item","numeric-id":4246942,"id":"Q4246942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$9F1BE7DE-716E-47CC-A101-5DA76C5CECA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28f3a468e9328628410ad976d6cae50c5590f2c","datavalue":{"value":{"entity-type":"item","numeric-id":5088085,"id":"Q5088085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$618123FB-2137-4223-96F6-D0C0425B3451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55279b562077235a83c8f027abb8a1db79401d8","datavalue":{"value":{"entity-type":"item","numeric-id":3194730,"id":"Q3194730"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$6EF2C7CB-FB6D-4BE4-8948-C5432709E9A4","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":"Q6168989$4C515511-FFDD-461A-9074-067652BCD9B7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"086fdbd21f473c213329b475c94f7dc23f61bf59","datavalue":{"value":{"entity-type":"item","numeric-id":1663238,"id":"Q1663238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$5AE60FE8-142F-420F-AB4A-97665B6309B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1c31b4e39a2881817f031fb3c565f06a1ff2a1a","datavalue":{"value":{"entity-type":"item","numeric-id":5055998,"id":"Q5055998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$D21563BB-9713-4FD4-9D65-004B395C5445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb1630ee5af00db53c3291f37c8e390b1646e4fc","datavalue":{"value":{"entity-type":"item","numeric-id":4298571,"id":"Q4298571"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$A797DFAD-D89D-4ACC-8373-C95278720962","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a419cc1148ddf55be6b5ee1a7219992f7c9285","datavalue":{"value":{"entity-type":"item","numeric-id":5028312,"id":"Q5028312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$ACD22BBB-18D7-43D0-B5B3-9FAC9E7C8EE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e1620bc79adffbb9b0f00ce2b11a84d197fdf55","datavalue":{"value":{"entity-type":"item","numeric-id":2819854,"id":"Q2819854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$B1880D65-8FC0-4462-BF67-D92477E29020","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd198fa0aa37fb2392dcf32d814181a1e152092d","datavalue":{"value":{"entity-type":"item","numeric-id":4729754,"id":"Q4729754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$08D55C1E-4CE2-41FF-BF0F-248B1B83C7D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a10bbeb6c6903ace983b2dbf286a2ef4e5b248ab","datavalue":{"value":{"entity-type":"item","numeric-id":1331625,"id":"Q1331625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$079B8D65-CA54-42EA-9AB3-567EC2798833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76a17e632c1cd9e305553b38fced2a8c6ebc88e7","datavalue":{"value":{"entity-type":"item","numeric-id":2945650,"id":"Q2945650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$823B1537-B7A3-4B56-9C89-9D774B2CE6D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff7181965704e473c064c7d95f9f7f0b397f93f","datavalue":{"value":{"entity-type":"item","numeric-id":3543665,"id":"Q3543665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$C3B6BA38-FF32-4554-ADAB-B9AF49F74DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d1643fcf2d89699448315101028c4fe10eaca99","datavalue":{"value":{"entity-type":"item","numeric-id":2851950,"id":"Q2851950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6168989$4D2CC2EE-B111-4CCE-AA94-4814C9B537C6","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0cbe0c345c37360ce60f7cb346c4738c3ddce0fd","datavalue":{"value":{"entity-type":"item","numeric-id":5028312,"id":"Q5028312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f56faaf1ffb8c5a237cfcb8ba659782420c1a753","datavalue":{"value":{"amount":"+0.7662565112113953","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":"Q6168989$BF8E09D0-8351-443E-8E82-158F7D3A71C4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e662739bece42c3f8ad29090d955e17212552c81","datavalue":{"value":{"entity-type":"item","numeric-id":2177578,"id":"Q2177578"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aec79303bc6195eef7aafb0d2ade77b173af20a2","datavalue":{"value":{"amount":"+0.7619771957397461","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":"Q6168989$08D0F907-8081-4E6E-AD00-9D9C0D7D9D32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e44165d1dfa33be0b99a3f2bc9194b5b3b9a5413","datavalue":{"value":{"entity-type":"item","numeric-id":3386915,"id":"Q3386915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"86de5e4e0e7670ab9a7eb40784e575ba651af262","datavalue":{"value":{"amount":"+0.7515774965286255","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":"Q6168989$CB65E030-4E93-4C31-9B13-BACB55EBDB70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5becc199be0be438307b801ca58515df9c7ca279","datavalue":{"value":{"entity-type":"item","numeric-id":2851950,"id":"Q2851950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"786d432e4da5fef7e38c5175f003cd56d7c5009d","datavalue":{"value":{"amount":"+0.7423009872436523","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":"Q6168989$2E827DAB-CD18-49CB-B006-58D0BB8E95C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4fd43aeb7e077e004a58f71e8c65c70e807b2737","datavalue":{"value":{"entity-type":"item","numeric-id":6060676,"id":"Q6060676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"88265a7c3bc082769d1f7a477b12287a245e45f9","datavalue":{"value":{"amount":"+0.7369478940963745","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":"Q6168989$5747FE52-0FA4-4EF1-81B4-F16FBF96FB41","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6168989","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6168989"}}}}}