{"entities":{"Q3400638":{"pageid":3411341,"ns":120,"title":"Item:Q3400638","lastrevid":87162683,"modified":"2026-06-04T10:51:44Z","type":"item","id":"Q3400638","labels":{"en":{"language":"en","value":"A constructive denotational semantics for Kahn networks in Coq"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5666845"}},"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":"Q3400638$61C773FC-41A2-437C-9D88-DC4A744B7FF2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"fb85d6e651b2ecb14b8d6fe7deb916a2307e95fd","datavalue":{"value":"1195.68063","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400638$673F75B8-D845-4C9E-A638-36ABAE6E11D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4bba7ec8861a8ed927cac8194bcfd558f8fc7d3b","datavalue":{"value":{"entity-type":"item","numeric-id":923885,"id":"Q923885"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3400638$4E20DDF4-0C3D-4090-94D5-FE28E8392584","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"922e941384ccd68eb1997024165e5bf5ef775623","datavalue":{"value":{"time":"+2010-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3400638$D16B3BE3-BE07-49B3-A6E0-2F945074107A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400638$074A7B4C-30D7-457F-AB69-34A364712C00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400638$06378A00-19A1-4E8F-8A64-E4FD62145FC7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400638$585D4ABB-B258-4F49-92BC-B9959AB6A03B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2232890318e92328343b976b04c4b963998d8928","datavalue":{"value":"5666845","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3400638$B69F623F-C6C9-48C4-B1D8-87D531B4A12F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400638$7CFD01EA-4AB7-4174-BF72-75FA7260BDFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ea686fd75d01d0dfdf5c0e60a1bfc58d42aa067d","datavalue":{"value":"complete partial orders","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400638$2C2BD172-1200-43D8-930D-63BC774A5C45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"98456cd4cdf0db037b678749018452921ff9260b","datavalue":{"value":"Coq proof assistant","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400638$1254009C-808A-480C-830B-AF09F189BB7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc5b0c789bad31936500c22f0e1838a1e24b8506","datavalue":{"value":"Kahn networks","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400638$35810705-BD3E-45D2-8D96-530C767735B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"855af08d63de68a214880a14dc080a2a72230738","datavalue":{"value":"parallel programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3400638$A946DABA-7806-47DF-8362-433634B34394","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":"Q3400638$3D177FF2-A275-4A96-91DC-D6BE76AD7AAE","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":"Q3400638$E33F8FAB-B5B4-41C5-82F6-F16F36B5702E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc6b145a732c317424c75b81d69f774713f1f771","datavalue":{"value":{"entity-type":"item","numeric-id":2817701,"id":"Q2817701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40643060e8f224871c6843e6bcf9e1be3127a67d","datavalue":{"value":{"amount":"+0.7367260456085205","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":"Q3400638$4E9F8181-570B-410D-B6EE-6B6119E84FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a6773c45c78b5d0d727141ce60ce75a1804671b1","datavalue":{"value":{"entity-type":"item","numeric-id":2915672,"id":"Q2915672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"efaec40fc8ca437359d9c13aebd52275da6fccf5","datavalue":{"value":{"amount":"+0.7366498112678528","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":"Q3400638$1720159B-3FDE-4A76-B1AC-A42361BD8275","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3e649413681a21d6a72aaed2e7c95ea38361baa","datavalue":{"value":{"entity-type":"item","numeric-id":3183523,"id":"Q3183523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1ed5074a2f18b4b6475c37a751774ce6a0a2398c","datavalue":{"value":{"amount":"+0.7345367074012756","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":"Q3400638$AC99019D-EFF7-4BD7-830A-9563D67A37D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42419b7a5008c7e840e79d20e0b3550ed57e7315","datavalue":{"value":{"entity-type":"item","numeric-id":3400626,"id":"Q3400626"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16855fd7d75679340c141d1e4539c09a0400131f","datavalue":{"value":{"amount":"+0.71877521276474","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":"Q3400638$DCF3889D-7E23-45ED-8300-4AA5F891AA5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f25b7f25edcef6ac7d11eb47136e0a671f1d6a5","datavalue":{"value":{"entity-type":"item","numeric-id":3698296,"id":"Q3698296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ab6066fc06e4632b32a625bcf8ce1a6d9d67ba13","datavalue":{"value":{"amount":"+0.7173067927360535","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":"Q3400638$2509BFA6-5B46-44A6-90E8-951B7D59D161","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A constructive denotational semantics for Kahn networks in Coq","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_constructive_denotational_semantics_for_Kahn_networks_in_Coq"}}}}}