{"entities":{"Q2917406":{"pageid":2928126,"ns":120,"title":"Item:Q2917406","lastrevid":51564167,"modified":"2026-01-18T19:32:31Z","type":"item","id":"Q2917406","labels":{"en":{"language":"en","value":"Formalizing on chip communications in a functional style"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6088082"}},"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":"Q2917406$66AFF26F-17B4-48BD-8695-021817B1DCA5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e68db5f407095101ccb79642a26c0455c4ddd42","datavalue":{"value":"1247.68241","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917406$463ABA78-0AA6-4CCC-B2C5-FE573DD78A65","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"34804e6a2215a0425fe35226b8ec01b24c6b23d2","datavalue":{"value":{"entity-type":"item","numeric-id":437039,"id":"Q437039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917406$4A9AF220-EFC5-4A5A-A928-6A4803F1FE54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db104b4a762e3f51912076a84eab8fcea8d94ef6","datavalue":{"value":{"entity-type":"item","numeric-id":931432,"id":"Q931432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917406$B6956CD7-0E93-4C5F-A170-3A3BB501AC31","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b12660c8353469274eab0e82d679e86cc344acf2","datavalue":{"value":{"time":"+2012-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2917406$3180F7B8-7A79-4C46-B097-4A8D8AE8FE96","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917406$1A1B516B-712F-4E40-9A30-1545933099D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ca8c16691e9ec83d46a3995338b09d48ac9660ac","datavalue":{"value":"68M10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917406$A72B18F7-010C-4AF3-AF0F-3BED3BC5401F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ffaca2e7ce0a7ffaf980c04cff08930aa3740c4d","datavalue":{"value":"6088082","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917406$FD5BEB6A-5149-4FA8-960B-378377D9B58E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"592827d88588a052bf5a0dbee72d9e204a74e87f","datavalue":{"value":"communication architectures","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917406$8F5DF524-2AE0-4A35-80DE-3A65B02D02E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917406$283CFAE2-2B1A-4059-BBD3-82D4FB71F720","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2917406$251113E3-16F5-4B13-BF71-DEBCF9DD4FDE","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2917406$0F265F55-C8B8-48FD-AADD-69E191B7833A","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":"Q2917406$9B551EDC-7FED-4292-893E-9242CBD65CD0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9460718a579284635df0a9bb7470f64800b6ccd9","datavalue":{"value":"10.4230/OASICS.TRUSTWORTHYSW.2006.700","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2917406$3FA55271-1DC7-4666-8F1A-B72151BCCD6A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1b5219ac40137a1701bfb3d45eba0adeb3c65aa7","datavalue":{"value":{"text":"Formalizing on chip communications in a functional style","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2917406$5C10DA03-EDD4-4E9B-9967-72292D0B53E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"563d1e111ff05f5081c90a0cecda6cda415ac26b","datavalue":{"value":{"entity-type":"item","numeric-id":931433,"id":"Q931433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f48f0281abc2ee1848c969aa26a17d1e176531f","datavalue":{"value":{"amount":"+0.9791533946990968","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":"Q2917406$0642D297-FF77-4068-894D-A0069D8609C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"baea579733869c6f74575fd0b81608415d4df2a6","datavalue":{"value":{"entity-type":"item","numeric-id":5492966,"id":"Q5492966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd67a4e2e0e366a4c4ce54db80ec1dcebf22cdcf","datavalue":{"value":{"amount":"+0.8057056665420532","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":"Q2917406$4AE3C021-2D44-4A0E-B2F7-6624DF4ABD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c68217cf96b5fd40dbe0f98a5c17450742e84ddb","datavalue":{"value":{"entity-type":"item","numeric-id":5477664,"id":"Q5477664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed886082b77cf7292b9d560f714c6816dfe7371d","datavalue":{"value":{"amount":"+0.7985076904296875","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":"Q2917406$AA081439-63B0-4B47-AE5C-CD71217729AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"021d2835de0819b64c7e7dbf228172861b6636a4","datavalue":{"value":{"entity-type":"item","numeric-id":3184778,"id":"Q3184778"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8cd7c8902fe9fc6743671ee3d93baa4fc2072f9d","datavalue":{"value":{"amount":"+0.6947504878044128","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":"Q2917406$304F9C61-2D44-47D8-ABF3-8E3413D5436E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a62d99bdbf7d2500d6dba627ab71f4484130dd3a","datavalue":{"value":{"entity-type":"item","numeric-id":5505439,"id":"Q5505439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38bdc319aa822e04cb466c5bbfab5e57811c82f7","datavalue":{"value":{"amount":"+0.6868770122528076","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":"Q2917406$ECA9AC53-6711-443F-BA2E-CB10D3C92563","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2917406","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2917406"}}}}}