{"entities":{"Q5136322":{"pageid":7165894,"ns":120,"title":"Item:Q5136322","lastrevid":58451835,"modified":"2026-04-05T06:59:54Z","type":"item","id":"Q5136322","labels":{"en":{"language":"en","value":"On the control of asynchronous automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7278102"}},"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":"Q5136322$067AA272-E119-4880-ADFC-674DEB862099","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5b0f469be75de9f6c80060fef7a985eaa4ce88c8","datavalue":{"value":"1491.68123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136322$C7FB079D-1D71-4B5A-8922-DFABB209BD82","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"aa56517fb09a9f3548e30af9b0933225274b9538","datavalue":{"value":{"entity-type":"item","numeric-id":259584,"id":"Q259584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136322$28F19BF1-A220-4E99-856E-490FB7E8167E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"36052d8151ed4f678a8815b5626d247502b52b91","datavalue":{"value":{"time":"+2020-11-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5136322$93FF074B-FA4F-49C3-8B78-6B0B9D754AB9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"918d6fc62c724a7df14a25c12a1db86ad5592484","datavalue":{"value":"https://arxiv.org/abs/1601.05176","type":"string"},"datatype":"url"},"type":"statement","id":"Q5136322$F93BBE94-A04C-4074-A6E4-44B3094FECF6","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136322$67F95991-7BD4-4BAF-8694-6EFE0A208FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136322$6BF63510-AD4B-4D5A-B806-C1153F1E25CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d6c670ac731a27c7bfd90316f3e999219e79aab5","datavalue":{"value":"93B50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136322$626CDC49-BAC3-41F8-ACCC-ECA01536B9EB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"caf9412931fe262b35788135818106973d80873a","datavalue":{"value":"7278102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136322$AD9DC7D6-CB64-45E0-96AD-ABA29F22E56F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2b1f819495409ffc29c1f8db528862dca4c16e","datavalue":{"value":"asynchronous automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136322$6CC51238-4BCE-4985-BF4C-F9D524DB9D96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2d77521d995b00a7ce9fc2f9d899c30e96fbee6a","datavalue":{"value":"controller synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5136322$F68E776E-67C0-4069-BB2E-E014F3F7737A","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":"Q5136322$8B57F791-DF7D-4E41-8E3A-8BE4A39227CE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"50e35d6c7eda7b15211e8969f9247637ed3b0046","datavalue":{"value":{"entity-type":"item","numeric-id":5491869,"id":"Q5491869"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136322$1106B201-BCC9-4D8F-87E5-7DA4CA2F69F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"40c96acf389200ae0a7534eb1dede3d1d0c171ad","datavalue":{"value":{"entity-type":"item","numeric-id":5465860,"id":"Q5465860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136322$26A32635-F6EF-478B-8677-07E1F21330E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77eaae5f3f3287304f74412ab11d87eda5bd150f","datavalue":{"value":{"entity-type":"item","numeric-id":5327440,"id":"Q5327440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136322$4EE884AD-704E-4992-A2C7-455822F39C5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e8f234712b1aa94710207e78d0463a15230877fc","datavalue":{"value":{"entity-type":"item","numeric-id":5897770,"id":"Q5897770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136322$0FAF69E3-25D3-45EC-80E7-8DEC53CA7614","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a32e474500b7d14c2b1ab7cfe1674a4cf2d6cda9","datavalue":{"value":{"entity-type":"item","numeric-id":3449462,"id":"Q3449462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136322$4F96551D-5E2E-4B65-8791-42CAADEA6A4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"782615f367b4c7981c5f415c8f3458e7e600e9de","datavalue":{"value":{"entity-type":"item","numeric-id":2978553,"id":"Q2978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136322$55FDBF0F-82C3-4502-A13A-03858C4A6759","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07c37b7935945849a0c865115575d5143a9686de","datavalue":{"value":{"entity-type":"item","numeric-id":5190785,"id":"Q5190785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136322$C3B23EE9-FA7B-4ADD-A9DE-3B54F5D56700","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9ff1910bb3c0241d98d0996e4c11f3e32a28400","datavalue":{"value":{"entity-type":"item","numeric-id":3761703,"id":"Q3761703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5136322$079D30B2-8C75-45D4-8D79-786558A578E0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"36cdb451313a81d5e0959c3401f4faf48d0a7d0d","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2017.30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5136322$F88534B9-DC3D-43EA-8309-E3162236265B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5cdabc42ef28c73f1f5cd0820bc0ab40f2a15021","datavalue":{"value":{"entity-type":"item","numeric-id":4484484,"id":"Q4484484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3513637e018d5c14c769c324265554ef5d6d4119","datavalue":{"value":{"amount":"+0.8938862681388855","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":"Q5136322$5CD4CAA7-609C-4565-9DE8-4D1B9830D462","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"59f03dcf87ea8e9d1dec579a2fc85c539e6e89c7","datavalue":{"value":{"entity-type":"item","numeric-id":5190785,"id":"Q5190785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b51b174f688e6917d2db4be4e07a21982a206f08","datavalue":{"value":{"amount":"+0.8588475584983826","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":"Q5136322$5002BFD9-D0D0-472A-A677-3AE711FDCC6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9ae1faaeef8cec74391dfd6eb075b54d7b12c5b","datavalue":{"value":{"entity-type":"item","numeric-id":5327440,"id":"Q5327440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eeb316bfd5036262c35ddabd61a147a64b07450f","datavalue":{"value":{"amount":"+0.8483734130859375","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":"Q5136322$E382FE25-8184-4EF3-B2D9-12E2F31CBF2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60c27494c3a9640956096f8f7a0ba35162654a7b","datavalue":{"value":{"entity-type":"item","numeric-id":5901665,"id":"Q5901665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74a312a6ed58486d7a8827b90f9f50a2975e1672","datavalue":{"value":{"amount":"+0.8165314793586731","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":"Q5136322$CBA6B0D1-D0AC-4423-AE6C-D26E710E0B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3aa2ea07bf8384c9096724d3ba967505beaa4304","datavalue":{"value":{"entity-type":"item","numeric-id":5465860,"id":"Q5465860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de3e48d2fa9e2d68b66b5282cf861c3d8b1980f2","datavalue":{"value":{"amount":"+0.7912508845329285","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":"Q5136322$12704F89-A713-42E1-B10F-A8EBEA8A5C8F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5136322","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5136322"}}}}}