{"entities":{"Q5476390":{"pageid":7505949,"ns":120,"title":"Item:Q5476390","lastrevid":49879258,"modified":"2026-01-11T13:48:40Z","type":"item","id":"Q5476390","labels":{"en":{"language":"en","value":"Automatic verification of timed concurrent constraint programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5041262"}},"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":"Q5476390$B2FB66FF-5245-40A9-973A-5A3E0B5F9975","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"10fe89b12f456cb7cbd8b4c1e5bddeede759259a","datavalue":{"value":{"text":"Automatic verification of timed concurrent constraint programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5476390$19457A41-3BD5-418F-8A5F-25ADE2DA158F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b4804aaf7a7db71933b9c5f2bc45e8913dcbb04e","datavalue":{"value":"1101.68679","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5476390$46E2A967-A7EA-4F93-90C3-F3AD5F356C0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3dd963f6cd4493cbfc1158de075252069ff96ef1","datavalue":{"value":"10.1017/S1471068406002675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5476390$1134C6AE-BACC-4FE1-97D3-0B84DA98CD4B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36308e32b5a03059e4bfa8be66993d163941fc86","datavalue":{"value":{"entity-type":"item","numeric-id":2409735,"id":"Q2409735"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5476390$6DC1DF62-C6F8-40A3-8C59-10F607D1244D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6b09c97087e59f31d60466ac7a1052c11eb3805b","datavalue":{"value":{"entity-type":"item","numeric-id":671508,"id":"Q671508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5476390$F441F028-2464-4B81-AA7C-CBA1CB842458","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"36bb0dcc3009bb4f4979cdb33a56e0ede194fc63","datavalue":{"value":{"entity-type":"item","numeric-id":2845119,"id":"Q2845119"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5476390$83E5CF38-180C-4AAA-AFCF-4DA7F606C5D3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c2add3b302cf10c172861a91ae5d2f1867602d2d","datavalue":{"value":{"time":"+2006-07-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":"Q5476390$F66CF309-1519-4BF3-BE0A-2D2222FB046C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5476390$792F8ED8-1CD1-4B1F-A8FB-0590010217DC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0bb3cb08e95c8cc96d0c1959bc7352aa37ffa4f3","datavalue":{"value":"5041262","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5476390$31B32130-BA15-4AC9-A7BC-1AE0B38EDFDC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c20b4fa4782bc26ad106d3b73d2e44447725459e","datavalue":{"value":"automatic verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5476390$15B156E3-C424-422B-B7E4-F7996851DFC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e25171e8c28de1ba125377574b38bc39a443a6d1","datavalue":{"value":"reactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q5476390$38241B12-7F82-43A4-950A-FAE51E959CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00757f89274b560d683c5d05e436daf871f79a6a","datavalue":{"value":"timed concurrent constraint programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q5476390$0B02EE75-6EFE-4CEC-B409-CC219CAFB7B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q5476390$FA6FD6D9-4D33-4F3B-BDEC-9D02F06B8B97","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5476390$4C7378C3-E1FF-4ACA-AD40-BC9F8EEEEC80","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":"Q5476390$BCC562D1-E1FA-4C46-AF6B-B911644CF059","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"22ac4d283b3e584482e2224b4b69301110bd1895","datavalue":{"value":"https://doi.org/10.1017/s1471068406002675","type":"string"},"datatype":"url"},"type":"statement","id":"Q5476390$6F3C92DA-25CE-498E-88F1-4FAE04D8A655","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"827a7007d72eccb5fdb01f7aed8580b1d4273f09","datavalue":{"value":"W2031915967","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5476390$55A58660-DC86-49B9-810D-F5B51A179E33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bcbf4e50914cbb565f82d58cdb307a543f119e26","datavalue":{"value":{"entity-type":"item","numeric-id":2849844,"id":"Q2849844"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"086feedcd8388dcafe849aa98e9e8479ddb69638","datavalue":{"value":{"amount":"+0.886460542678833","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":"Q5476390$978F33CF-7733-4602-8769-7B152BD04067","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e5c8e4054e1eb521c9b8f86a660184b09b03fafb","datavalue":{"value":{"entity-type":"item","numeric-id":530859,"id":"Q530859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb2dffdc3894726303b3352d5872a170244c6c6","datavalue":{"value":{"amount":"+0.8775023818016052","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":"Q5476390$9C0C316A-DC9A-447E-BBC6-0484C4C161D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e4d3b273737663af00bb08fa4dae91aa53e4c475","datavalue":{"value":{"entity-type":"item","numeric-id":2576949,"id":"Q2576949"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"627518b44b216361528c0ad67c61905718f9c39b","datavalue":{"value":{"amount":"+0.8761040568351746","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":"Q5476390$2A5E119A-7466-49E0-85F1-BAB4E7A13CFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7be2bde040378e076aac99d561c037ba8335e8b","datavalue":{"value":{"entity-type":"item","numeric-id":4923526,"id":"Q4923526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95c0f545c871bd57d40e5232514bfbc3b272072","datavalue":{"value":{"amount":"+0.8623723387718201","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":"Q5476390$AF9E504B-D343-48EA-8A6D-520D6B341065","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":"6f7d10bbdc35ba79db456ae2a0a676024b33acc9","datavalue":{"value":{"amount":"+0.8432769179344177","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":"Q5476390$50465100-62CB-4A2B-9BF4-6C466BF00176","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5476390","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5476390"}}}}}