{"entities":{"Q1791188":{"pageid":1801930,"ns":120,"title":"Item:Q1791188","lastrevid":72966642,"modified":"2026-04-14T09:04:38Z","type":"item","id":"Q1791188","labels":{"en":{"language":"en","value":"Formalizing implicative algebras in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6946996"}},"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":"Q1791188$E813E94D-F4AB-487A-89CF-75A19714536B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a0f575a18c560a9cb89313243684ea39c82de15","datavalue":{"value":{"text":"Formalizing implicative algebras in Coq","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1791188$329DE4A8-1C1B-4068-B6BE-26CECAF247B2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c4333842e885fec8ce4b50a463d8a1ac54768722","datavalue":{"value":"10.1007/978-3-319-94821-8_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791188$09A6021F-7D4F-44C9-926F-C45F11C85E5A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"32d25e6dfe9704fbad90bb3edf4deb2c92e5bbbb","datavalue":{"value":{"entity-type":"item","numeric-id":1652989,"id":"Q1652989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791188$8EE75DD0-55EF-4428-BD88-4E5999CE0375","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ff3c7136492fcf13c84b92efb7ac37b3eed57322","datavalue":{"value":{"time":"+2018-10-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1791188$F90E27C1-305C-455A-BF43-885E4BD14579","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"eb131bb8ff3792a28687665ff9913e573681dac8","datavalue":{"value":"https://hal.inria.fr/hal-01703524/file/impalg.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1791188$1D615AFA-1385-446F-B344-9BEB44997B21","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"58b3a5d0bc4bfd215423308dfe52b6887acdeedd","datavalue":{"value":"68V20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791188$EC487516-57AB-4977-B4D7-09867DE9776B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"475a2407c03078b469bb32ab23376730eacf71d9","datavalue":{"value":"03G27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791188$8D780D30-0E02-446F-A259-95FFEBFE786B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ede39d12b55826e29811a8a78f4c7dda9f53b375","datavalue":{"value":"6946996","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791188$68FA9F01-4E7C-4B28-9CC4-4DC66526E7A3","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":"Q1791188$55F4B6B7-1E72-41D1-AA2B-4BE5937E9207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8be5ee5254d2a781e0ec7bc0b35265c3f1813a9a","datavalue":{"value":{"entity-type":"item","numeric-id":22078,"id":"Q22078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1791188$CC608944-773B-4BA3-907E-349AA4A85504","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":"Q1791188$CCE29C30-A8DA-49B5-8DAD-B1B6FD78D29A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"602d9482b64f7b49db229c462b302806396c94cc","datavalue":{"value":"W2786761800","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1791188$1B4A8A8B-BBA8-441C-93F9-CC72189FE3C2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a93774e4e24fb26354f33cc0f707b15ab04247a7","datavalue":{"value":{"entity-type":"item","numeric-id":5139288,"id":"Q5139288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f189c0310cac5c5310adbf73b9d0ebf60bab61b9","datavalue":{"value":{"amount":"+0.8249255418777466","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":"Q1791188$2A25808E-8AB6-4FCE-BA41-41F32CBE4F5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1548badfe9f8ab389063dd2bbf2731b4b3aea36a","datavalue":{"value":{"entity-type":"item","numeric-id":5108535,"id":"Q5108535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6db7371b31387af782787106ed631c9b459e860f","datavalue":{"value":{"amount":"+0.7881238460540771","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":"Q1791188$7E23F332-7E8E-4351-98AD-992FA50D4069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f283ce1b7bb222e202a6acf28a6a844d9018de04","datavalue":{"value":{"entity-type":"item","numeric-id":5747673,"id":"Q5747673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"939362e028f362950bea5e360286d98556ec211a","datavalue":{"value":{"amount":"+0.7320712804794312","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":"Q1791188$2B3B8EF2-474C-4C96-94F6-1C6247A49226","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5cf8b0db6a23b172da9a9459498ad2a216039bb","datavalue":{"value":{"entity-type":"item","numeric-id":5505507,"id":"Q5505507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eec57bce2ac91fa89c42c662d3798c1c9eb2504e","datavalue":{"value":{"amount":"+0.727295994758606","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":"Q1791188$17D3E4B8-C696-4513-BCE6-3BBAB77D3AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"73f96dec649e63601568d9f34d95b3a9d5c172ac","datavalue":{"value":{"entity-type":"item","numeric-id":1404425,"id":"Q1404425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46d36a6578bc87a6a48ee983b60aa1ff4cb6311c","datavalue":{"value":{"amount":"+0.7138647437095642","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":"Q1791188$BB7AA558-A41C-452B-B2B0-6D7AA68FEBD4","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formalizing implicative algebras in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formalizing_implicative_algebras_in_Coq"}}}}}