{"entities":{"Q1688550":{"pageid":1699291,"ns":120,"title":"Item:Q1688550","lastrevid":72516498,"modified":"2026-04-14T05:27:22Z","type":"item","id":"Q1688550","labels":{"en":{"language":"en","value":"Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6823122"}},"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":"Q1688550$75DFCF2E-F973-4ED1-8838-10F4FD6BEF72","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"59a42c261f63c5c87a85384aa5e71f775a24c841","datavalue":{"value":{"text":"Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1688550$EB3C8825-727A-4147-B214-E53E76BE3230","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ce8885f73a626da24d2ae4ddd060f963b75cc550","datavalue":{"value":"1377.68042","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688550$EDAFE2A7-5C66-4688-ABC8-033011DAA2DF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5cfd157733a38f3772f0266116ed043db675173b","datavalue":{"value":{"entity-type":"item","numeric-id":1688549,"id":"Q1688549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$FCA8A342-6335-465F-83C2-9154A51182A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f4cf02364d18c377494c71861a06a2dcc46a912","datavalue":{"value":{"entity-type":"item","numeric-id":346788,"id":"Q346788"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$8A2A6891-CE7A-4566-8D8E-D0651E97FBCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5a16057771ba6219abfd2dd4dd127f6eec1b56a2","datavalue":{"value":{"entity-type":"item","numeric-id":453500,"id":"Q453500"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$EB685659-3503-4698-BF74-26D3E042B8F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a20bf99fdb7ddd878f88c192741bf562f8917d0d","datavalue":{"value":{"entity-type":"item","numeric-id":537950,"id":"Q537950"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$DDFBC73E-3498-4CF3-84C4-711FB0CF46B3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d9925518446645d219093152a820aba790417b61","datavalue":{"value":{"entity-type":"item","numeric-id":164203,"id":"Q164203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$83233C7B-37E1-4A4B-B321-D8AC758CC9FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"59296522954f8d459370efc0222ca77af7f0a85b","datavalue":{"value":{"time":"+2018-01-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1688550$BB13915F-C0A6-43AA-BD2F-E93730F73F22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"76600ef8138472c7ac6a9a999315e8e1e7149cf7","datavalue":{"value":"https://arxiv.org/abs/1612.06154","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688550$4D3B39F2-3D6A-4627-B4BE-7D9B8F58DD12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"75eb01742a6fb32ce712540798bf9fc7a94db72c","datavalue":{"value":"https://hal.inria.fr/hal-01653883/file/faoc1.pdf","type":"string"},"datatype":"url"},"type":"statement","id":"Q1688550$582168E9-315C-44D2-A5AF-E08AE75EE150","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688550$7D70B5C2-E647-4ACE-AB23-4E89C6F8BBE9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cc860cd666ceb21c448abe675c63c85eb89298d5","datavalue":{"value":"6823122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688550$25CEB983-A90A-4178-9512-3D93DF5175AE","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":"Q1688550$B3574DEC-A9AF-45CE-A620-99D7CF492247","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf0b0a280733b46ba850d238936e5733d7a0abe3","datavalue":{"value":"W2594560464","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688550$1D2F0189-4C6E-4C18-8F92-FA1CC01E9A31","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bffeb4490e59b5a1b70472e5eaf00767c79f78e","datavalue":{"value":{"entity-type":"item","numeric-id":888419,"id":"Q888419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$03D38E05-9265-4127-8C92-C988E72DE254","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5873f983c72e1bbd8e1c5076d7576f10a1f7f807","datavalue":{"value":{"entity-type":"item","numeric-id":1938379,"id":"Q1938379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$81D63D6A-36B2-4BDD-AAB6-312015AC63D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70386dba3c7fc1edf193ffcbd8b2ebcc3f8f782c","datavalue":{"value":{"entity-type":"item","numeric-id":888412,"id":"Q888412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$9EEFC9CB-11B1-4AC4-8828-380B4D382F71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe06eda54f4cd3e438d9084b4f31164efa247afb","datavalue":{"value":{"entity-type":"item","numeric-id":3569195,"id":"Q3569195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$0F2402D7-881B-48DC-83E1-ED8A57F7D9F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a27f4b6c9f86dc5bc6311acafda5acfe7ad73c01","datavalue":{"value":{"entity-type":"item","numeric-id":4564086,"id":"Q4564086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$F457E21E-A3E5-401A-A50B-09E57D05E80B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4be6b18b199eacb36eb2e05ae61182e2238453","datavalue":{"value":{"entity-type":"item","numeric-id":681471,"id":"Q681471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$DC18DB33-D894-4266-A992-D4D56984A074","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad2f075c693b1dea2fd661e188c39b70cfe982c3","datavalue":{"value":{"entity-type":"item","numeric-id":4647842,"id":"Q4647842"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$41F3EBBC-DA74-4B59-B8D0-7633F9154518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d49f69f66b7289b7fcde3efaf557d4cabb2fe3bd","datavalue":{"value":{"entity-type":"item","numeric-id":3095241,"id":"Q3095241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$449F5EAB-FC38-4CDA-BAC6-4FDD191E5825","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"391e966cda7841966699f9d7a3bf9750dda40e97","datavalue":{"value":{"entity-type":"item","numeric-id":3992568,"id":"Q3992568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$1D3E5DC1-3C24-4C93-8D13-ED2FCF40FE7E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ac98135f30b4292582bd624f38182a0b5804a294","datavalue":{"value":{"entity-type":"item","numeric-id":4564138,"id":"Q4564138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$7224EE07-B6D1-49F2-BCE8-4C61ECB683F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"15656d6488944f658dd1c18ea1239c35123fd139","datavalue":{"value":{"entity-type":"item","numeric-id":1688550,"id":"Q1688550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$1D1D8451-6603-40AE-99CA-76DDF9EE6084","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce4eae0d30e8db13f3d475c28554a76edc58023e","datavalue":{"value":{"entity-type":"item","numeric-id":5466227,"id":"Q5466227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$4E56CB15-3713-46E8-9F1F-65D73C2E50CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"626bae08d1246f88200a39df86af055041dcba21","datavalue":{"value":{"entity-type":"item","numeric-id":1370654,"id":"Q1370654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1688550$6C8B984C-2329-45C0-8EE7-75CD4C41A582","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d0c06844141f0ca9d2152160ccef6c8034b52a2e","datavalue":{"value":"10.1007/S00165-017-0422-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688550$F7CA1426-866F-4C27-88E9-5F3FC36C47D7","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"a9b53420bf90eef9638ffd0bb1fceff8bcb60a14","datavalue":{"value":"Q130990197","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1688550$5361B266-C5DF-4566-8640-C1A342578A24","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2076cf58892f020200f74db88b5be5272579e97d","datavalue":{"value":{"entity-type":"item","numeric-id":3095241,"id":"Q3095241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c63fedd6bbc50f6764c4541e2e56416b49f25d8b","datavalue":{"value":{"amount":"+0.7006493210792542","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":"Q1688550$DE0AE8CA-C3DA-4B2D-919F-0EC31DB6FE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4fb8bb75975111aa68a3ee7f4ed77d335a0b7d9","datavalue":{"value":{"entity-type":"item","numeric-id":3190114,"id":"Q3190114"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7362381f9d9d8cafc53bca82b4e86aae6d7a53d0","datavalue":{"value":{"amount":"+0.69202721118927","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":"Q1688550$515D0F43-9386-45E2-87DD-1A36F1D17E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4518d59b307f8395ac6c6a37f86412cc220c1b00","datavalue":{"value":{"entity-type":"item","numeric-id":729809,"id":"Q729809"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4aea7843936ad2a6aefa3b3ed128bf76dc0c3704","datavalue":{"value":{"amount":"+0.6870913505554199","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":"Q1688550$15FDB285-A7A2-4362-93E3-B372C9FD9860","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9aec50c52bb5bcf624a20146818bb7e9a2180f9c","datavalue":{"value":{"entity-type":"item","numeric-id":888412,"id":"Q888412"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63301f848343f233a866170b12b405a10914a876","datavalue":{"value":{"amount":"+0.6789059638977051","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":"Q1688550$BCE97B13-2A42-499C-91BA-80BA63F2D5B5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Concurrency-preserving and sound monitoring of multi-threaded component-based systems: theory, algorithms, implementation, and evaluation","badges":[]}}}}}