{"entities":{"Q5277712":{"pageid":7307287,"ns":120,"title":"Item:Q5277712","lastrevid":52850306,"modified":"2026-01-23T15:39:43Z","type":"item","id":"Q5277712","labels":{"en":{"language":"en","value":"Proving correctness of timed concurrent constraint programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6743955"}},"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":"Q5277712$D55B621E-4FD6-427D-9F12-C569DBB73E10","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d53eefb75e4a5cddf600aa49b9a3a204d18e9c98","datavalue":{"value":{"text":"Proving correctness of timed concurrent constraint programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5277712$4D56A154-BB3B-47DF-B26A-2FD5106A7545","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f85ee98b943155572ec15ab622888b70dd15a80d","datavalue":{"value":"1367.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277712$73A2BDB8-2A55-46E8-88C2-2A0143FDAA37","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a6662ce40b93e3dfc4e3fa0e541a4ee5deed9c35","datavalue":{"value":"10.1145/1024922.1024926","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277712$B76CCBAC-5857-4C98-8A1D-D0A8D7985C49","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4abf1cf11f5de92d0263da0760474f1adf0a61a","datavalue":{"value":{"entity-type":"item","numeric-id":276550,"id":"Q276550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277712$78CB67E5-BE24-4E4E-A58D-EB5F4EEED16F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1faba4ab685495a35b56427fd7aa15d7c09eb130","datavalue":{"value":{"entity-type":"item","numeric-id":388221,"id":"Q388221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277712$534F7D81-11FC-48F4-94D2-BA5582F4374A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c6539cfadc75d6504ef9c471b16074d64840fa76","datavalue":{"value":{"entity-type":"item","numeric-id":433335,"id":"Q433335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277712$E39082EB-ED48-4DB3-B59D-671C17B2C172","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5277712$F312922A-9C30-406B-8481-0388184250D8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"da4ed36bae8b600bf66a15aabe0c472becc2ce16","datavalue":{"value":{"time":"+2017-07-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5277712$9D88FC18-7987-49B3-8EA8-6D801158986D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277712$3C5FB513-B7BE-4E5C-B088-68EA4603C644","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277712$52F1154B-056C-4F6D-A1B9-BA4BFC38111A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277712$4BD729CE-4B5E-46F1-99AD-B89160236B2C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a16c5a5d3301b1269609bce43537eba49808bac9","datavalue":{"value":"6743955","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277712$0C929A6E-1806-4CD2-8474-32861607538C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277712$A78318D7-65DD-4B00-B540-8A82119148FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc84523e41a1c93f98d4ea541c8bba23fa54716d","datavalue":{"value":"constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277712$C4261C89-4FA0-42C5-A918-E2E7B81331BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277712$438B9494-A0CA-4DA9-A5FF-10C6CF4E0AC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5277712$72FCECC8-0A37-4C04-8D1D-46A029EBD248","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":"Q5277712$8228235F-BA95-42BF-9268-DE6991BFF9DB","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a328c9987e5df8355e615ec9e899eabaea47e406","datavalue":{"value":"https://doi.org/10.1145/1024922.1024926","type":"string"},"datatype":"url"},"type":"statement","id":"Q5277712$B0146606-19A5-4D20-8027-28CF03AC7887","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"46514a1320fd741830ce9f74a76247bfe1ae1f9f","datavalue":{"value":"W2030368531","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5277712$1A685E3D-6627-4ACE-8C8E-1962CE4C8DE2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0745e883f776b5cbd440bfdbb7c40bbd13b305e0","datavalue":{"value":{"entity-type":"item","numeric-id":4738216,"id":"Q4738216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58e2b375155c39c887b65da132ec8a9b63a6a4f0","datavalue":{"value":{"amount":"+0.9999990463256836","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":"Q5277712$8D44A9D6-E117-4DAC-B2D0-CC750B49705C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f3d73314c43ddf45aa75266c18cf5f2e8314654","datavalue":{"value":{"entity-type":"item","numeric-id":4475640,"id":"Q4475640"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b37d1f2c740b9528dca4b768c26bf96f98305b0","datavalue":{"value":{"amount":"+0.8100965619087219","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":"Q5277712$572DD134-FE7C-4A26-96F0-BFA4106F514A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"03b0b498238ea901f84c5265acf316c3f569263a","datavalue":{"value":{"entity-type":"item","numeric-id":3150207,"id":"Q3150207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de56de3b9fa1251882f799978f3eaaedc2346c65","datavalue":{"value":{"amount":"+0.8082279562950134","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":"Q5277712$3ACBABC0-E018-414B-90ED-E2DDE714F3DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"939ba46ae8c13870d5d1b99a7324d65de42e33c2","datavalue":{"value":{"entity-type":"item","numeric-id":4031327,"id":"Q4031327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c3e05bd6ea2c817559838e4ab6a3f6b961ed78d2","datavalue":{"value":{"amount":"+0.8037347197532654","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":"Q5277712$4A6B1C9A-B6E0-4DF5-B172-8EC7D1FBD805","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fdc43cfb0045fe54a9dbb63721a23bf9fa17f76","datavalue":{"value":{"entity-type":"item","numeric-id":5712290,"id":"Q5712290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fa352722ececef2f638c648a1023626b3101b4d","datavalue":{"value":{"amount":"+0.8012899160385132","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":"Q5277712$AFECCEF3-6F01-4013-8C58-D6406F6DF736","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5277712","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5277712"}}}}}