{"entities":{"Q2117668":{"pageid":2128411,"ns":120,"title":"Item:Q2117668","lastrevid":55963339,"modified":"2026-02-21T13:45:25Z","type":"item","id":"Q2117668","labels":{"en":{"language":"en","value":"Guessing the buffer bound for k-synchronizability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495108"}},"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":"Q2117668$6F5A4FFB-8662-4C9E-8F3F-6F7F3759D703","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"eb74a309c0121d0b00cee1a124e8fa0fc23c9962","datavalue":{"value":{"text":"Guessing the buffer bound for k-synchronizability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117668$A0E630FF-E64A-444F-B897-36A35F0D4766","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"4f0050edeb8f86bf712a4ca7d07d09ac548089de","datavalue":{"value":"10.1007/978-3-030-79121-6_9","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117668$519E4E67-B466-4A60-9467-21D277DF070D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e2812f73242dd02b70546181bb4320d8e9dd3b7f","datavalue":{"value":{"entity-type":"item","numeric-id":265820,"id":"Q265820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$3B8635BF-9751-410D-86A3-1E95477BAA60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"25c8e9399fb6d7a6907040ef5acb9ee027c27faf","datavalue":{"value":{"entity-type":"item","numeric-id":2117667,"id":"Q2117667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$0AB712B4-A06A-43B8-BBFC-3176CCEF0AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e1c1ffcb608d047f67d583033b7312668433cc60","datavalue":{"value":{"entity-type":"item","numeric-id":418136,"id":"Q418136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$14F3F98B-819B-4DA4-B256-7CA489162B78","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2117668$5406CC8B-017C-46FA-8621-BD7ECED60B37","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1de053fd63da0a21b34bb13d45918b9eaf4c26ff","datavalue":{"value":"https://arxiv.org/abs/2104.14408","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117668$73C5FB07-243F-48BA-94AD-539A582FA63F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117668$8B2922CF-251B-4ACD-8886-149E2A2C7641","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6fe97270664625efa00b6c7a5f9deac223e22b05","datavalue":{"value":"7495108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117668$E2BFCB32-5DEF-4429-8B01-D6CC329988AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d4b540c1974e4f91a1ebdbd0611399a8ad7d05f0","datavalue":{"value":"communicating automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117668$E472F38F-ADC7-4565-B67D-5A0CA61EDCD8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3672ca782fb7569580b54a9f2a38e6772a8111ce","datavalue":{"value":"MSC","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117668$4481B274-823C-4802-B3BE-21D7E8185006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccf9bc148cc377aa54c8b949eb83c7a87c576bfb","datavalue":{"value":"synchronizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117668$BCE0D327-807B-4FCB-93A2-589B75F3A347","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":"Q2117668$C8BD5B58-B73C-47FA-9BBC-EE8AA289DD87","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fad174ee65e37a6f0a82b1c2798b261b3220b46a","datavalue":{"value":"W3173280383","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117668$1E4169A0-45A9-49C8-B2B5-46E506C9CE6A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$5A5F8A29-5A60-47FB-8ED9-91AA537226CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07aca6b3686947c16400c0bbe2ec8549cf7343ab","datavalue":{"value":{"entity-type":"item","numeric-id":344799,"id":"Q344799"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$4ABE4C2A-D36F-4544-B201-9D4C4585D4A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a00e5f9acb3e071b719cb1ef4646f599160dbbd3","datavalue":{"value":{"entity-type":"item","numeric-id":6043166,"id":"Q6043166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$68E86ECF-A1F4-4F63-8532-D9C71B535196","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$4B11C68C-4ED4-45C0-B7F3-BCFC7BDB22D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77b2ff660052bcc3951024ec2f1eee7fb3a43ecd","datavalue":{"value":{"entity-type":"item","numeric-id":3646255,"id":"Q3646255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$F75EBA5E-5CCD-4E09-8DA5-EC32715AA50C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b358bee3f2c561a4cb9fa988016d8aa82f4c054","datavalue":{"value":{"entity-type":"item","numeric-id":2200819,"id":"Q2200819"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$96B204FD-9930-4ECD-9341-9FA2E30C1D1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9f7f230e0c6f84622662a17f7b7525f9c1408851","datavalue":{"value":{"entity-type":"item","numeric-id":1051420,"id":"Q1051420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$54BE759D-9F25-424D-9E54-AC4C18AD9BFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f092966db210c9a9c9270bd8c548e203adf45991","datavalue":{"value":{"entity-type":"item","numeric-id":3504343,"id":"Q3504343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$B778E023-6CB3-465F-94BD-2A0FB5BD09F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c957ac666c57c8339294ee1421e84c2ec2af13e2","datavalue":{"value":{"entity-type":"item","numeric-id":5009435,"id":"Q5009435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$6A6CDB9B-31B1-445C-8BC3-E6F075309476","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b3d28acd643d396b152fcaf01bfc8613dfbfd42","datavalue":{"value":{"entity-type":"item","numeric-id":5458334,"id":"Q5458334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$DC9FBA80-A7A2-41E3-9C7D-A1C2A225C44A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117668$DBDA7005-CF21-4215-9C7E-33D10A3A59F5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117668","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117668"}}}}}