{"entities":{"Q1870206":{"pageid":1880948,"ns":120,"title":"Item:Q1870206","lastrevid":69158943,"modified":"2026-04-13T05:09:56Z","type":"item","id":"Q1870206","labels":{"en":{"language":"en","value":"True concurrency in models of asynchronous circuit behavior"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1908514"}},"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":"Q1870206$9F83B9EA-88F0-4741-9403-04319E0ED3CE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f4ed774aaa2ac9ac57e02d952b106f4e0989554f","datavalue":{"value":{"text":"True concurrency in models of asynchronous circuit behavior","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1870206$C76A28E3-2F09-43FD-851D-7A289E254884","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dc9bda459be7f5d67bef9fffa48f946b2b2c0bb6","datavalue":{"value":"1020.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870206$6203B1B7-FFAE-4305-9A3E-221F21319DAA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"44ab77cef2a48eae83da9f36e55b68a7fa97a4b4","datavalue":{"value":"10.1023/A:1022902408130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870206$5363B014-3C82-47B4-A32B-9EDE27186FC9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0841f629b1c1468c8886fc5d5730872e083d52e8","datavalue":{"value":{"entity-type":"item","numeric-id":1870205,"id":"Q1870205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870206$3B7C77D8-6703-4C5C-AB7D-58304EA0843A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b9f832862fa3e37c7ddd1d59f12e84354da6f25c","datavalue":{"value":{"entity-type":"item","numeric-id":722208,"id":"Q722208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870206$72A39276-91A2-490F-A38B-A19E20A85E9E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1870206$8C15E577-8AB4-4D64-A637-DBAC75BE2776","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"947c49c6dc991ad4ccf38c0cba49a099db39b9c3","datavalue":{"value":{"time":"+2003-05-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1870206$A60FB125-BA3A-41FA-83A8-6EE9CC045CF1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870206$1A3EB6B8-39D1-48E4-95D4-2E6F67B8B26B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35bbdcbda53152c249a7f99650e19b5ef62999f2","datavalue":{"value":"68Q10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870206$47473259-7FC7-4225-8DFC-C8A46D0BFCA2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"634110a7201f148c81af5ed8aa5065dcf69ead6b","datavalue":{"value":"1908514","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870206$9238E42D-B0DA-4986-B5D3-9C5D5B0C674C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7ac5ee0f2904a688292c3716f91687d15cc3ecd","datavalue":{"value":"asynchronous","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870206$F87F1050-4065-4AC4-9058-0D5B7F5ABDF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bcaef8b48097d50a08be2219f6311c65284708bf","datavalue":{"value":"circuit","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870206$DFA889AB-0B47-4A75-8750-3FE349D4B0F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2ff6bd0b3f726ffc1eb8e0f4c0308606cf475b2","datavalue":{"value":"delay-insensitive","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870206$AF55D565-0FB7-4EE2-863F-65D1B9784D2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dd321c393213f7fbf91a9e50913e212479493f1a","datavalue":{"value":"multiple-winner","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870206$B7F2DF57-3559-429A-8FDB-43137999B2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2945c8c758d4e2bf702d374174e9dbbb50803b6b","datavalue":{"value":"single-winner","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870206$4375CF94-504E-41FD-8838-1EBD434757EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b6da5ebc8fc8655620f91e101487fe4436f8fa2e","datavalue":{"value":"interleaving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870206$94E5351F-019D-4B66-847B-A8CEECF49132","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bb767af770585cf84bb3c3d9da1216649cf0052","datavalue":{"value":"semi-modular","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870206$A51783DF-9390-4F92-8E5C-C02FE3D47A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c798bc82d40898e5a150c07cc309b46baa155c3","datavalue":{"value":"true concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q1870206$863BD516-9846-4989-B10E-9F53CE47CBCE","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":"Q1870206$69E9D10F-6078-40AD-8603-6ADB5BC671B5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a6a29346bb8c862ad79aa939a2f2a0bd3f81cdef","datavalue":{"value":"https://doi.org/10.1023/a:1022902408130","type":"string"},"datatype":"url"},"type":"statement","id":"Q1870206$D5C80C70-F614-4C4B-83E7-718299C7CCD3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0cdbb5591ca8cd4cbc08093810c701f20b010676","datavalue":{"value":"W141148094","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1870206$B9B581F6-84BC-4270-B56D-6878713F007D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"81a00e6f17faebc9eb6e6b1bdd8ebf80ccd86faa","datavalue":{"value":{"entity-type":"item","numeric-id":3350795,"id":"Q3350795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16ed9de19283e75faf0512bf7d8e0ec1557b9449","datavalue":{"value":{"amount":"+0.7864676117897034","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":"Q1870206$3F859BE8-E2C4-4A81-A988-3764F31DBC3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8e89fda66502fe440e8ea0739bbb87926dc74c3f","datavalue":{"value":{"entity-type":"item","numeric-id":3971274,"id":"Q3971274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a9fa75bae23db0f1f8642e1365087e0cf1458e5","datavalue":{"value":{"amount":"+0.7792701721191406","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":"Q1870206$E28EF638-C688-465F-95D4-420BF69D3C11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"41c76037a2c38535f977df381eb1421f7c860f6e","datavalue":{"value":{"entity-type":"item","numeric-id":3971259,"id":"Q3971259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5627196c2768d0f390fad4b9402e5d4686f77080","datavalue":{"value":{"amount":"+0.7599887847900391","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":"Q1870206$687045FF-E6C1-4E13-9096-F94D367D6912","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d412134f5211f7be5fc7b57a50858a42cec6b06f","datavalue":{"value":{"entity-type":"item","numeric-id":2535930,"id":"Q2535930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6ca713f60b8f21f54f6e6915c8110f26f3c460ea","datavalue":{"value":{"amount":"+0.7591343522071838","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":"Q1870206$E6901ABB-5358-4E26-9646-724F4C7D3ADA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e887c268b672aea897aeb7e61f72e98bf6083f4","datavalue":{"value":{"entity-type":"item","numeric-id":1314511,"id":"Q1314511"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3dcb71f9dbc7c698df46c8178135f109b9602525","datavalue":{"value":{"amount":"+0.7515259385108948","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":"Q1870206$929AB748-392F-4E5B-9C2B-4B61E82BCF5F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"True concurrency in models of asynchronous circuit behavior","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/True_concurrency_in_models_of_asynchronous_circuit_behavior"}}}}}