{"entities":{"Q3087437":{"pageid":3098152,"ns":120,"title":"Item:Q3087437","lastrevid":58105077,"modified":"2026-04-03T20:01:55Z","type":"item","id":"Q3087437","labels":{"en":{"language":"en","value":"Abstract diagnosis for timed concurrent constraint programs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5939279"}},"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":"Q3087437$8DEE2804-D618-4363-AA7B-2F40C269AFDD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ad0a302a55f72b3806eb1d490e91b72f0382100c","datavalue":{"value":{"text":"Abstract diagnosis for timed concurrent constraint programs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3087437$35A3E830-E825-417C-A831-2C7B29632725","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e0928cffa6b43b1e76620e4579d3436d82c74bab","datavalue":{"value":"1222.68053","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087437$A038C4C5-44B5-4F8B-90EE-9854AE0BAA57","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"497943786b9d3d4b0f7886ac1d8e22179b8a3c59","datavalue":{"value":"10.1017/S1471068411000135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087437$9B117FBB-B302-45E7-A819-89134B2E4B76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f9f1daac5f8408a7f8a1e7936cd0e7aed962b33","datavalue":{"value":{"entity-type":"item","numeric-id":1630021,"id":"Q1630021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087437$0DD823B0-9A71-4173-89F4-C8E4C6AFC8B4","rank":"normal"},{"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":"Q3087437$5350CAD9-6423-46DF-A2A4-A508433F7405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f04735811f5f70f629ba4342ebdac125a1959371","datavalue":{"value":{"entity-type":"item","numeric-id":1274453,"id":"Q1274453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3087437$6D5DDA34-B22E-4AB1-8629-C7B1CCF829F6","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":"Q3087437$365BE6EB-FCBF-426E-8414-500D6E25C93B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e46a6b83be9fcbd5764c46af6454b5ea03b3b70d","datavalue":{"value":{"time":"+2011-08-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3087437$3C4F6FEC-EB33-456D-BA0D-74B476B191E2","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"757360dbff4ee57ed6ea9665ddda0e681224e61e","datavalue":{"value":"https://arxiv.org/abs/1109.1587","type":"string"},"datatype":"url"},"type":"statement","id":"Q3087437$1A56ED80-66A2-4DF8-9672-E3560C31DB5A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087437$C577884B-A0AF-456F-AE0D-68F3A22A7CFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087437$C5368F16-E964-4C3E-8851-4BFC06165DBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c58d61eb29c40a59f2aa0768e51faf8e1e79ccb0","datavalue":{"value":"5939279","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087437$428D43FB-1BD1-421E-B8CC-A17FF3718CBA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9feece922f171d82bf92303dad5d45540c800300","datavalue":{"value":"concurrent constraint paradigm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087437$1C4BBA67-9C95-47BB-B08D-C380EA1F6B37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087437$7B8DE7A9-0EAD-420B-A829-930E12A99CD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76513b1a554fb42351204632cafa6279bf79f2c5","datavalue":{"value":"abstract diagnosis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087437$5D38CFE7-3F52-49C9-8F6C-08D503CA4D50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"271b051f29cb2edbed99f6c31256721127b7519f","datavalue":{"value":"abstract interpretation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3087437$73EEB872-7F67-4C00-BDA0-93C2FCF33F00","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":"Q3087437$D47C1DB7-A034-4EB7-945C-710DBF742654","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"59462c3333a45ac68cb1eec4c40dc77de5a1947b","datavalue":{"value":"W2157152227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3087437$81E86294-29B9-4354-8EC0-517E6FE8E2F9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b86018c92062ae9ea38970131fe75c27ef4bc1af","datavalue":{"value":{"entity-type":"item","numeric-id":3608660,"id":"Q3608660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f6e2a0c05b85ac2f719de1c6132951d57806eb","datavalue":{"value":{"amount":"+0.9522346","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3087437$A056D512-CEB4-4265-99FB-7ADB0D6D5B7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2082bc442d6b12bf7516f2fcbc5b33036361fbe7","datavalue":{"value":{"entity-type":"item","numeric-id":4592982,"id":"Q4592982"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb573fc4c328c522370db74c6b9e7db36c5e1a7b","datavalue":{"value":{"amount":"+0.9152145","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3087437$4885EB01-D6F9-44A4-82A3-3AFED9FA1E37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e65c44c0e0c64b6fa8fe94ec4f8dc5662b949c20","datavalue":{"value":{"entity-type":"item","numeric-id":5476390,"id":"Q5476390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f274c88c6b2e48a898a9e21cd94e8ad7714530f6","datavalue":{"value":{"amount":"+0.90574926","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3087437$53B7EE76-41C4-4111-8EE4-ED503CC2DDF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b727743dac5c18eb265e113f2901934c047284b","datavalue":{"value":{"entity-type":"item","numeric-id":4499205,"id":"Q4499205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9acfdf366cb2cec498d576d22d7054c41afac5c6","datavalue":{"value":{"amount":"+0.9038167","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3087437$35B2135C-A1E3-468F-9021-8C820B33FC53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf68f542a942a2b2330ea5a9deb99ac829ccd337","datavalue":{"value":{"entity-type":"item","numeric-id":5277712,"id":"Q5277712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acb3249d1ec72bf7e8ba261ddb322eb35d2e1a5a","datavalue":{"value":{"amount":"+0.90303475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3087437$CBB61D87-DB9B-4EE2-A906-93603D805C6F","rank":"normal"},{"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":"acb3249d1ec72bf7e8ba261ddb322eb35d2e1a5a","datavalue":{"value":{"amount":"+0.90303475","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3087437$32C7C070-EFE5-4116-B47B-7F26AC026202","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":"b9784813710534a4f9f00efb1b64312f82335425","datavalue":{"value":{"amount":"+0.89687186","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3087437$EAF4186C-E4E4-45C0-A9CB-34F89B1B4DB2","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":"1676980800ee3dcd31e2a3e773f49c960364e939","datavalue":{"value":{"amount":"+0.88986766","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3087437$F42CE2EC-BE18-4E56-8D68-7025C3BD983E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6278d1a4340f415234d3b53a6106d806f92d37c","datavalue":{"value":{"entity-type":"item","numeric-id":679325,"id":"Q679325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba4b7e01dfbc8263b0f9cd534c0e94601037758e","datavalue":{"value":{"amount":"+0.8896222","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3087437$5B2CFBAF-CBB7-4AA3-A7C2-65C9FAB14CE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e013121fa1c4efbccf1fa0611fedf9a58fb5d2c","datavalue":{"value":{"entity-type":"item","numeric-id":5191495,"id":"Q5191495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"849b657d095ffceb0f6b442cec6b89b366c66e0f","datavalue":{"value":{"amount":"+0.88660115","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3087437$A71FCDC1-1EA0-4227-8230-A9DE293C5489","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3087437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3087437"}}}}}