{"entities":{"Q407518":{"pageid":409285,"ns":120,"title":"Item:Q407518","lastrevid":61627812,"modified":"2026-04-11T00:34:31Z","type":"item","id":"Q407518","labels":{"en":{"language":"en","value":"A quadratic construction for Zielonka automata with acyclic communication structure"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6338732"}},"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":"Q407518$D7A4F1AC-E960-409D-B0C3-496AFDD18155","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"46037abec90e852666c5f1cef6dda737dc3be400","datavalue":{"value":{"text":"A quadratic construction for Zielonka automata with acyclic communication structure","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q407518$3907E121-63CB-4BCD-A97A-25819A68DE9A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4a50cd4cbb290632422fe7ba2a1da182b29bf2d","datavalue":{"value":"1360.68566","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407518$E04203E0-1F39-4CAC-A771-EDC49933D54B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d20e0932111d364cf334454e830b7e5d1be9b8c0","datavalue":{"value":{"entity-type":"item","numeric-id":407516,"id":"Q407516"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$31A7E11F-FBF6-4BDD-A155-EF6731ED62B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d5a53865c1f184b73cba92d65c57544179b9e023","datavalue":{"value":{"entity-type":"item","numeric-id":407517,"id":"Q407517"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$1995ADFD-469B-41AC-B1AD-C3A8C3562560","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$55FD03BD-CBB5-44C0-8BBF-2879269CAC10","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0d0d0cba453ee9297884d6a65b53ea15efc84e68","datavalue":{"value":{"time":"+2014-09-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q407518$81157175-A18E-4499-ACCB-F5FEFDF5F8DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407518$F126DDC1-5B8B-43D3-B169-3242952CDBE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407518$6FAA6C24-AAAB-40EF-98B1-22E476BF5EF3","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b95b148e3662cbbbf8591d7a7efcda11a44a4eda","datavalue":{"value":"6338732","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407518$FCD850A0-2D77-4104-9123-07014829C57C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"884c56ec58b79b2ead19bd7c1ad298425c1e8cd1","datavalue":{"value":"distributed synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q407518$E9BCEE2B-0B9B-401E-B7FD-EB60ECCCD17E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e2b1f819495409ffc29c1f8db528862dca4c16e","datavalue":{"value":"asynchronous automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q407518$A6942BCA-D06C-498D-98B4-EBE2DD0FF99D","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":"Q407518$5C54F7FA-9A0A-41B2-ACC7-9DF0C14DE229","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26fa2678fd28fc01b1e54906c26645bd44f95d14","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2013.07.015","type":"string"},"datatype":"url"},"type":"statement","id":"Q407518$E7AB384D-1939-442D-9B11-8ACC80CE1DE2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"03ae2e6808c938a3fee27f76bc29fa725d6af731","datavalue":{"value":"W1988549888","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407518$42EEBCF5-66C7-4E05-80F5-09E6CA0E2DAE","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3286ff5ad183efe3ac6482f4280b199ae6530dd","datavalue":{"value":{"entity-type":"item","numeric-id":3184669,"id":"Q3184669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$65055181-DABE-40DA-A59A-48E85A7ABB20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6cad72f183563a822760617a5ef6445d62af8f5b","datavalue":{"value":{"entity-type":"item","numeric-id":690237,"id":"Q690237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$4BC5D9EE-FE93-4F11-BE46-A5630741338D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aca06766684d6875f2b6c3dc42b2014a90381129","datavalue":{"value":{"entity-type":"item","numeric-id":911308,"id":"Q911308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$86379A2E-0372-42A3-8496-911E333181BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$8E578E05-5239-411E-A13D-F6E16315D3F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3433e81f38bf4d36eab932542c2a15ccaad9561f","datavalue":{"value":{"entity-type":"item","numeric-id":3587426,"id":"Q3587426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$66515FE2-9117-48AB-B80C-413AA0ECAC27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"610f18af86e72d607815e49bf82138004c1095e4","datavalue":{"value":{"entity-type":"item","numeric-id":2496297,"id":"Q2496297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$416CE846-28A3-43AE-99E2-3466891D9D38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b0685d698c977ebb79b5d59f81e36ff658358900","datavalue":{"value":{"entity-type":"item","numeric-id":3591422,"id":"Q3591422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$DC5A0F86-2955-4A24-882D-DB201333B16D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"01bdc88213ad901fc13d8a639e5a25c91349bfab","datavalue":{"value":{"entity-type":"item","numeric-id":2573333,"id":"Q2573333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$80DDA0C2-F821-4145-87F6-5590E3603B4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51bf6afc026279f8ab250ce5679641868f9db191","datavalue":{"value":{"entity-type":"item","numeric-id":4632421,"id":"Q4632421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$55ED2D7F-DC95-400C-A40D-AA2F4FABE206","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"216ba92ee7c93eb88a639cafbc2d6d4055f707f1","datavalue":{"value":{"entity-type":"item","numeric-id":3783583,"id":"Q3783583"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$0B17EB0C-BEF7-4C85-9535-6772EA932888","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f87bea368bb687c968dac5ba717c4c09f8d973b","datavalue":{"value":{"entity-type":"item","numeric-id":4536625,"id":"Q4536625"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$27CA062E-1580-4B93-9C9F-FB33CEE14B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa3c599a6d4390d928bfcaacd134fc8557765945","datavalue":{"value":{"entity-type":"item","numeric-id":5137336,"id":"Q5137336"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$4C760A54-B53D-4449-B3DC-248BAAE531C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"294f3c77849fadda1b21115644549b302a4f9e80","datavalue":{"value":{"entity-type":"item","numeric-id":5900556,"id":"Q5900556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$AD332BCB-4568-4E88-8709-4891E4FE4D6E","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":"Q407518$C133BA09-9CD0-42CD-8828-6E972406558E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d64c4b5dab72504cdcbb4f6c6095768fc09cd017","datavalue":{"value":{"entity-type":"item","numeric-id":3835040,"id":"Q3835040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q407518$FB9F696C-3896-46CF-96DC-A6B53A5C76BC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7be8c3f019d4a8a0554226bc921d95df5544435a","datavalue":{"value":"10.1016/J.TCS.2013.07.015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q407518$9786FD95-C1A8-4AF1-B122-BAC4AFC8A630","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fb8b715748009f4a202ce78ff05a67fc99ba1c9","datavalue":{"value":{"entity-type":"item","numeric-id":3587426,"id":"Q3587426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc75d11ed4d8404c205617d39b0af0977ad7857b","datavalue":{"value":{"amount":"+0.9059710502624512","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":"Q407518$8522E06F-1F64-4C67-9E20-9033A7215332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94fa9912c7818451155079fdc48d3da3747360ad","datavalue":{"value":{"entity-type":"item","numeric-id":3591422,"id":"Q3591422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec30a85118eb0e7d24953f96f4a2f48e30e32cab","datavalue":{"value":{"amount":"+0.8545218706130981","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":"Q407518$7E2D6088-24DB-4611-B760-9E3172EA1BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8663cc87ce4b3be91c83e5c36e992c1ec9696f8b","datavalue":{"value":{"entity-type":"item","numeric-id":4632421,"id":"Q4632421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d43cbdf764995f6e17b473fa690d725e6926701","datavalue":{"value":{"amount":"+0.8522060513496399","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":"Q407518$24B5FEB4-9F6E-47A6-BBF0-1BB6DD4B18EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"10fcbf3e2de45ce6b35164c3748dc01f196147d8","datavalue":{"value":{"entity-type":"item","numeric-id":3184669,"id":"Q3184669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6493f16ce227b712ae109023ddb8b1281239de26","datavalue":{"value":{"amount":"+0.8402350544929504","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":"Q407518$A875A38A-6001-44C4-949B-87F21E433A8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27e99423f2f914a007127e81256b9f5dfb951dd8","datavalue":{"value":{"entity-type":"item","numeric-id":551202,"id":"Q551202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"47707c81e1e06d9646b449844ecc45c698749a2c","datavalue":{"value":{"amount":"+0.8399890065193176","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":"Q407518$88D98B5C-96A9-4CB0-BB18-388C23831E7E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A quadratic construction for Zielonka automata with acyclic communication structure","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_quadratic_construction_for_Zielonka_automata_with_acyclic_communication_structure"}}}}}