{"entities":{"Q2505629":{"pageid":2516372,"ns":120,"title":"Item:Q2505629","lastrevid":49926787,"modified":"2026-01-12T02:41:41Z","type":"item","id":"Q2505629","labels":{"en":{"language":"en","value":"Reasoning about synchronization in GALS systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5057730"}},"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":"Q2505629$A34A04E8-83EE-47A7-BBCD-0949BA26410A","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e705845717302d73a658793f5470e30255d5c25f","datavalue":{"value":{"text":"Reasoning about synchronization in GALS systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2505629$16C2F677-B177-4926-A7B9-8AF4EE3564A2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b19cbb4511bb42583ccb5fad09751099a51ae1f2","datavalue":{"value":"1099.68540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505629$09A1F166-7153-4BD4-85A3-1433FB3FF22B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9402163f6499a1d088bfc900c18810df19851ad9","datavalue":{"value":{"entity-type":"item","numeric-id":526772,"id":"Q526772"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505629$38A79C96-F7B7-46DC-99EB-1CFC51701498","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d465f250925f35c6a588d5157fd717a90a1f1510","datavalue":{"value":{"entity-type":"item","numeric-id":2505628,"id":"Q2505628"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505629$ED82FB04-7554-4B71-8D96-0EF41F1CC137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1237c9b46c18cb8d6e08008e347e9fe3130d5347","datavalue":{"value":{"entity-type":"item","numeric-id":1984235,"id":"Q1984235"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505629$51F91AD7-7FCF-47F8-B592-186F16E58755","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":"Q2505629$1CB5B324-1847-4730-8D5C-171AB379D0FF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"94743860e157c0fbf5b9e5527eaada210f8c037f","datavalue":{"value":{"time":"+2006-09-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2505629$52507808-21D9-486B-8646-BE00CDC7B851","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"06aaf19f4bbdd9676f0ed308701e830d30be51c5","datavalue":{"value":"68M99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505629$09E4A594-94B6-4333-B092-DE753F4113BC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b07d79ef312dced2717b60829df61a9d63a81445","datavalue":{"value":"5057730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505629$6B3A5449-B2A4-4224-949B-867AA8B04EC6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14686dc7cf06e22eb92f2cc9b67237fa06dbd990","datavalue":{"value":"symbolic timing analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505629$B030307B-D2D5-4A72-91C9-0A8F8A3F9CC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d068f0be78c66859cac0acf642324f4c0ac3206a","datavalue":{"value":"synchronization constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505629$63896199-A399-4762-83D0-B0B777F4689A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f6b95a97d9d3511f73a89f257665142e9a19cab","datavalue":{"value":"sequencing constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505629$82595C75-BD53-487C-A130-A56D8D68F55D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c689d3a2914d22ede811fbe5e2b4d0f388f35550","datavalue":{"value":"GALS systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505629$92C9110A-4DC9-44DF-A431-146734A421EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78555a203825eb58257a5721af5932dd3e04cf84","datavalue":{"value":"multi-clocked systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505629$CE674CA0-8400-4635-AA16-E52A22C4B3BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"187a9470470993c0c27bddf30d69154130b7d3c9","datavalue":{"value":"symbolic delay constraints","type":"string"},"datatype":"string"},"type":"statement","id":"Q2505629$3B6BE7CB-44DA-4408-BD16-8F885FE22F78","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":"Q2505629$81CB72DE-3E27-4F60-BEC5-F55A9F6018AE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e06f17c0a1083e11d66c52f4a7686c30ab668c72","datavalue":{"value":"https://doi.org/10.1007/s10703-006-7841-y","type":"string"},"datatype":"url"},"type":"statement","id":"Q2505629$3CCB0581-2982-4A68-AC41-4C2E25662D7F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"52e0189c86bd5656dd5a5f78f4ec8f9bfb008ce2","datavalue":{"value":"W2058700973","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505629$362ACB23-72B1-4D09-A3B3-F3626D7E0F1A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b2148cab7bb0f0347dea7e36d9a70bbec7d7c299","datavalue":{"value":{"entity-type":"item","numeric-id":4411960,"id":"Q4411960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505629$CC2045FD-4A81-4825-9163-A3B1EA7BF967","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bdccc5d83f7311582ae4e1c48da92b5c9b5c7298","datavalue":{"value":{"entity-type":"item","numeric-id":2559426,"id":"Q2559426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505629$45F5ACBC-B7E2-4E2E-B69C-C3E6339E6050","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b14c993e1226fc5f31c3c8ac0c9d7de4089cfe5a","datavalue":{"value":{"entity-type":"item","numeric-id":1306169,"id":"Q1306169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505629$A455702D-8B4D-4290-B626-456A6DD74CA4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2259d8cce0e7678cd22820d653f7521a28e18f82","datavalue":{"value":{"entity-type":"item","numeric-id":3495106,"id":"Q3495106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2505629$F0AA3A6B-0C80-4406-8F53-66A5AD5D4501","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9430f652cb50bfcf72d712cfc00d2c93fa09a3f1","datavalue":{"value":"10.1007/S10703-006-7841-Y","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2505629$7EF6340F-E8E3-4805-A1B8-0C279CFE818B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a4756403d3bd42cfaef9dee847628f1190f231","datavalue":{"value":{"entity-type":"item","numeric-id":5312940,"id":"Q5312940"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91d583ab48d1c605b351ef89639b9a854f6c822c","datavalue":{"value":{"amount":"+0.710217297077179","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":"Q2505629$FD91B0F2-6AEF-43C7-8002-65C66212FA75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74c89c78e295e4715d97af8a321cd27bd1e33ad7","datavalue":{"value":{"entity-type":"item","numeric-id":5493245,"id":"Q5493245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b920660c8a88f8633bb0a6aea0386dce101653e","datavalue":{"value":{"amount":"+0.6976386904716492","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":"Q2505629$E3A59B34-6325-42E7-968F-320A4247398A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a212f8aa58e20670461e6382ec0681ed0633da2f","datavalue":{"value":{"entity-type":"item","numeric-id":4439587,"id":"Q4439587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e454af05cfab7f6ed3451166571c5ff94cba61e","datavalue":{"value":{"amount":"+0.6681082248687744","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":"Q2505629$9E06B4E1-FB5B-4272-BCD1-5576DEC6E7DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a643df701ad7662525094aaba8f97dd63397efd8","datavalue":{"value":{"entity-type":"item","numeric-id":4417600,"id":"Q4417600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1613fbeb5abf839f9a328c8ab26a33dfbd1aca8","datavalue":{"value":{"amount":"+0.6642087697982788","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":"Q2505629$7A817F00-7F65-4A06-B8E7-6DDE9004C11B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37fad1599efa6e06b31930936d0c6ddac00bd3e1","datavalue":{"value":{"entity-type":"item","numeric-id":4804897,"id":"Q4804897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b0155e3163ec45f251992372eaa9224161120ae1","datavalue":{"value":{"amount":"+0.6582611799240112","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":"Q2505629$44562860-C037-4EF0-8E2B-3AB8A33A8483","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2505629","badges":[]}}}}}