{"entities":{"Q5747648":{"pageid":7777199,"ns":120,"title":"Item:Q5747648","lastrevid":51080183,"modified":"2026-01-16T13:36:04Z","type":"item","id":"Q5747648","labels":{"en":{"language":"en","value":"An efficient Coq tactic for deciding Kleene algebras"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5785341"}},"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":"Q5747648$312F65F5-C17B-4290-B9CC-02B3BFCF3E60","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9d70936e3c4554aa2275a94ab3cf5f0d89222199","datavalue":{"value":{"text":"An Efficient Coq Tactic for Deciding Kleene Algebras","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5747648$BE6F6CCA-7F34-4C79-8BC0-C7C9896C65D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2f29e12e1ce2a7470e4c283c25d76d9d968b4213","datavalue":{"value":"1291.68330","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747648$2EA484BB-B643-42AC-AEAD-66DB6740002D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed7e15b0340e90840b11a71546442df009d9587d","datavalue":{"value":"10.1007/978-3-642-14052-5_13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747648$E3EAB604-6CD1-48F9-A20A-24272DA16762","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"12328682479f4a45e2f0e2c1b6bc2d9e6d8cbf3a","datavalue":{"value":{"entity-type":"item","numeric-id":2351421,"id":"Q2351421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747648$6A137F2E-AA42-45EB-B5A0-D12A1AD5B45B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b609b0474903c90ee98ec931eee072d672864771","datavalue":{"value":{"entity-type":"item","numeric-id":299193,"id":"Q299193"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747648$B11653F1-7C31-4698-AF99-2358E0C8D284","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747648$911175E7-3F38-4714-AE32-5E441EC07ADA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5f7d3744053f89b932df935693d4d726597e5f91","datavalue":{"value":{"time":"+2010-09-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5747648$3525D60D-5F22-4187-BCC1-CB27FE2F15F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747648$C3EDEF24-24DF-4051-81F1-4ADB4727F108","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"deb5f9f43f355c6575c467b17adc4a680e013b41","datavalue":{"value":"68Q70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747648$9CAD0FB0-5F03-41C2-B50E-EA07E630E6D9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"609772550b0e429167cd0632e08e968a3694c85c","datavalue":{"value":"5785341","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747648$6DC06F0F-FD2C-4748-8B22-C84532A852FB","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":"Q5747648$58BB431A-1CCC-42C0-88BF-F000A7716ED8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bcaf3b20cd7fd897f2f47a708bad9d4f554cb6fa","datavalue":{"value":{"entity-type":"item","numeric-id":14553,"id":"Q14553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747648$EDA0C765-663C-4150-9FC8-F880D5CA3004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d0b3613afdea99b20a3156b582c84af8424d5eba","datavalue":{"value":{"entity-type":"item","numeric-id":20514,"id":"Q20514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747648$AB7F85E1-F85F-46D1-98BD-59F2BB03560F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747648$6CA0048A-8F19-4056-8116-6651B73D70ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"47ea1dbe9fa7b31580d0a4bec0b12cff29c9baa6","datavalue":{"value":{"entity-type":"item","numeric-id":40329,"id":"Q40329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5747648$C49227FF-CC4E-4632-806E-83BD4F096898","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":"Q5747648$EE99F5EB-11C8-42D7-AE79-EDDD8329612A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5d98d0c8b39b1b34bf6592319c5702272c59a6e7","datavalue":{"value":"https://doi.org/10.1007/978-3-642-14052-5_13","type":"string"},"datatype":"url"},"type":"statement","id":"Q5747648$6E890247-3F2C-43F1-B7E4-CBADA428AC41","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8c0498e227f1e58a0c63a1bbfb40aaaa28df959f","datavalue":{"value":"W1600140070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5747648$D7D35151-0BF4-44CB-B904-52FC8B11B120","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d9fa717f795626b9d9a2a393dcd6c5f8a2208ee","datavalue":{"value":{"entity-type":"item","numeric-id":2881083,"id":"Q2881083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7fffd251ea83f8d490c8dbb127fc97b6679d8a9a","datavalue":{"value":{"amount":"+0.967350423336029","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":"Q5747648$EAEE70E9-6F3E-400E-AF7C-F9CE85F46BEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e185cb3788129a86496b6b33cbf65d270bfb21f","datavalue":{"value":{"entity-type":"item","numeric-id":5327344,"id":"Q5327344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6f3624dc15407e6185fd5673d689d64fa771965","datavalue":{"value":{"amount":"+0.809662938117981","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":"Q5747648$34D710C5-D61E-4D03-8F05-5A67C64B8843","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3d9e196f571c37d4132741b2b78c61cc2cbd633e","datavalue":{"value":{"entity-type":"item","numeric-id":2347910,"id":"Q2347910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e370f2fd21ccd819ed4d1feb88646dfb51301de2","datavalue":{"value":{"amount":"+0.8087755441665649","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":"Q5747648$E5D1E160-CB68-496A-A3B9-D69C4F186527","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8dec66fca1aa58bdfaa779e0bc11c1d07a24052","datavalue":{"value":{"entity-type":"item","numeric-id":299194,"id":"Q299194"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"704fc163c02fa5469862452006cdbe63192bfba1","datavalue":{"value":{"amount":"+0.7605208158493042","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":"Q5747648$FD294A9A-9DD5-499E-80E4-C941B6BED9BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d5eef8b48d283545bb773ea2f0d3ccc1e01255c","datavalue":{"value":{"entity-type":"item","numeric-id":3073622,"id":"Q3073622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10b025467949c999a752b9c31746a65fa0191e04","datavalue":{"value":{"amount":"+0.7598652243614197","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":"Q5747648$5D615FB4-5CBD-42BB-BD11-1DF01115E0AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5747648","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5747648"}}}}}