{"entities":{"Q5005148":{"pageid":7034725,"ns":120,"title":"Item:Q5005148","lastrevid":54057866,"modified":"2026-01-26T04:19:50Z","type":"item","id":"Q5005148","labels":{"en":{"language":"en","value":"The complexity of transducer synthesis from multi-sequential specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7378363"}},"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":"Q5005148$21DB563D-BB51-4BD9-A195-63A13DDBFB09","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"81f20dcf6d7a6582faf23d532c21a25d4059d249","datavalue":{"value":{"entity-type":"item","numeric-id":2200822,"id":"Q2200822"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$CA6B911C-E5CB-4648-A981-122796439316","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c484714b6d84cb7bd9fe483e9d2b43a21d9a07ce","datavalue":{"value":{"entity-type":"item","numeric-id":453495,"id":"Q453495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$38ACF622-BE77-45E2-B56E-C546C511B146","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"664a7ef549dcefba681d3129d8625a39efb39789","datavalue":{"value":{"entity-type":"item","numeric-id":2170279,"id":"Q2170279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$B70AF59F-C7A8-4D34-9860-6CE106B8CFB3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6f25f924676185979ab6f246b476dde833797f44","datavalue":{"value":{"time":"+2021-08-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5005148$A8185443-F2CE-4030-9DA9-AF8CA61FD625","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"df323555b685d7685e55c690f51716e01fd8046b","datavalue":{"value":"https://arxiv.org/abs/1905.03560","type":"string"},"datatype":"url"},"type":"statement","id":"Q5005148$FDC1EE3C-C316-46EA-9726-ACD9155976D9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005148$23D31141-AFFF-4DB5-AD7F-D327532B9A8B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eee0c03cab1e2fcc436761f804c3a1480f49d768","datavalue":{"value":"7378363","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005148$262B7D0E-20B6-42F2-8BDD-895271226657","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b960583538d59069a8653c1bd9432554833c09a4","datavalue":{"value":"transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005148$94B88411-0232-4CB3-8EA3-9ACFD564B4CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0211ef8719892b8543269474751980c1fd62e174","datavalue":{"value":"multi-sequentiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005148$0A9A561B-F0AF-4726-A7AF-212BB6874319","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5005148$D2C0DFA8-3885-4400-900D-7546543BE246","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":"Q5005148$68E40DDF-FCA6-4AD3-9561-999F8321DAA3","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$3A171F11-B578-4359-A94E-9D46EF6EF2AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e64cccb087873aa66c6e29d7dde54192ce0f98a1","datavalue":{"value":{"entity-type":"item","numeric-id":1853731,"id":"Q1853731"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$DCF4788E-91EC-4305-82DC-B75B1900DBEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$13CD4FF1-C2EF-4B05-B9BE-B451DF592194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c55aad4e169a5f3e1af1ab2b898aa69105aa8028","datavalue":{"value":{"entity-type":"item","numeric-id":5271416,"id":"Q5271416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$E0EC618D-4EC8-4578-9289-50D80FE74503","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e9740972113806023f4ec7d6f4291a9ddcdd7d1","datavalue":{"value":{"entity-type":"item","numeric-id":979080,"id":"Q979080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$D05638BA-06E2-432C-B8BE-9AEE59177722","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf9a1315074240e598ff942b86bf582ac5d10cc2","datavalue":{"value":{"entity-type":"item","numeric-id":3742745,"id":"Q3742745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$5FD06A63-A825-400E-9384-F2B3733DDD92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ead8421943a1be8110df254acca9ad1e8d64eb52","datavalue":{"value":{"entity-type":"item","numeric-id":5725991,"id":"Q5725991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$7B4AC624-3BAA-4C48-A188-89224CC96953","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"515de812bbdc4d05018811e2e0d08aefb377c2e4","datavalue":{"value":{"entity-type":"item","numeric-id":2988370,"id":"Q2988370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$0916D773-F392-4271-AF4B-DA6FCC2EC346","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b6e9707197bbe478638106ece823cfeeb58420e","datavalue":{"value":{"entity-type":"item","numeric-id":4791854,"id":"Q4791854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$C351A8A2-D0EC-42A3-BD57-B8312C0B3353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36d84aa78f0d96f7d40459af01bc21793f5962fa","datavalue":{"value":{"entity-type":"item","numeric-id":4079524,"id":"Q4079524"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$A92DF96A-BA29-4AF1-9684-464F274239A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9625ddfd813f0dcc93ed91611183aa8024ccaeb7","datavalue":{"value":{"entity-type":"item","numeric-id":4598267,"id":"Q4598267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$07D059A0-E376-4465-9BEC-0202794565A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28c11585d6392da0604fd3c12d216689fdec031a","datavalue":{"value":{"entity-type":"item","numeric-id":453498,"id":"Q453498"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$F1CF58FD-59A6-4BA4-824E-21C033A7D46D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db78d50143ea0e5cb4b3baf9a9316c442947ede7","datavalue":{"value":{"entity-type":"item","numeric-id":2915687,"id":"Q2915687"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$A7A27C70-B1D1-4080-98F2-EC0B990AF713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4350892d7df19387ec0804bd15d8a9dc062b47c","datavalue":{"value":{"entity-type":"item","numeric-id":1151753,"id":"Q1151753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$24A0CB83-BE07-49A4-90DD-4F26D7AB634A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"039be9caf7cf2c795b4682d81c47027f1ce70d73","datavalue":{"value":{"entity-type":"item","numeric-id":3557856,"id":"Q3557856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$30CA8AE1-33BE-4661-9F5B-672E078CF90B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b492cfbe2135e1396a659f032774b6aa813baa76","datavalue":{"value":{"entity-type":"item","numeric-id":3451110,"id":"Q3451110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$42313297-7875-49DF-871E-D11A01CD0D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eed95bbddeb07790db452fc32f143b39f90e5aa8","datavalue":{"value":{"entity-type":"item","numeric-id":5573394,"id":"Q5573394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$D1C5614B-412C-4DB7-8149-0ABE882A40DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a2f1219290564ed68e3aff968afca8c62f4d65","datavalue":{"value":{"entity-type":"item","numeric-id":5892380,"id":"Q5892380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$DDF4810A-81F5-40D5-A179-D948B2FAC9E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"135a85665d0c50a3d61b1e5a7440911606a6c442","datavalue":{"value":{"entity-type":"item","numeric-id":4636593,"id":"Q4636593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$775AB1C5-9DAA-48C8-854B-6CE8E2C748EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2041315d00a88dc79e863a3a012b3bde28192bff","datavalue":{"value":{"entity-type":"item","numeric-id":5588666,"id":"Q5588666"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$A702505C-B2AD-470A-B8A3-59D35AAAD41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$A4BD935F-495A-4075-B413-1C02E9E6A34E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9496983c523e576ed7e030ef8b8418be0e0d0","datavalue":{"value":{"entity-type":"item","numeric-id":3510817,"id":"Q3510817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$FAB5A42A-02CB-4D0C-A3E6-E03838E7D7B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f406c2e61a8f11f8b13ee95227117f1cfc523bb1","datavalue":{"value":{"entity-type":"item","numeric-id":5452202,"id":"Q5452202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$03FC64FF-2CB4-4301-BD2C-8AB2C8287FCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28dc20fea325df094456b5f903194b925d0ce86a","datavalue":{"value":{"entity-type":"item","numeric-id":2953690,"id":"Q2953690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$9BCB267B-F155-4D51-84C0-2C7FF46F77C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c6cea6a50c5c0b8e346298d700400d454cc483c","datavalue":{"value":{"entity-type":"item","numeric-id":3384169,"id":"Q3384169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$AB56A63D-BB99-448E-93ED-D8E1ACB8638D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7a5e0975abc87fd24fd7a33e718021d850b08b60","datavalue":{"value":{"entity-type":"item","numeric-id":5144672,"id":"Q5144672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5005148$92492596-DA8E-4933-B1C5-0500F5E952F6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b65c61aebe474cdd16c7f44dfbe1724bf24fe0a6","datavalue":{"value":"10.4230/LIPICS.MFCS.2018.46","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5005148$9A21DA31-879A-401D-8F4C-C4D6DAF85B5D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e7664ea195b09da5412a1afb3ca2159dbcd6316","datavalue":{"value":{"entity-type":"item","numeric-id":5856426,"id":"Q5856426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"03b8551ec1ba41777d3acd528f6aca636a5e84cf","datavalue":{"value":{"amount":"+0.7672436833381653","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":"Q5005148$F84D9DA4-DFDD-4D93-986A-8489CBE40E0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82f8fefdb63394d42595a52d52a858b79b7a1b25","datavalue":{"value":{"entity-type":"item","numeric-id":3591079,"id":"Q3591079"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f367b33f108ba4957c9dc7c296cef246ae40a07","datavalue":{"value":{"amount":"+0.7534381747245789","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":"Q5005148$8E79D348-5462-44D5-A271-DC6A6298E2D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"261d6969a17e5867b8f544372f1d2b4b7c36b587","datavalue":{"value":{"entity-type":"item","numeric-id":515670,"id":"Q515670"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a2b1dc2f11f8a2c48973f2c16e4f5014c25caef0","datavalue":{"value":{"amount":"+0.7438124418258667","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":"Q5005148$3096C86F-3E83-45A9-A647-962BDCE3F847","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"76873cf6c412d0c30ddc41128002ee5caf5d6b29","datavalue":{"value":{"entity-type":"item","numeric-id":6109605,"id":"Q6109605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a26538966b0813ace72807e990e8d6b84e96813","datavalue":{"value":{"amount":"+0.738034188747406","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":"Q5005148$E34C6341-B745-48A5-9786-CA4E551B727A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d38e6ce4b5e19f2f551179532101e258f5ad51b0","datavalue":{"value":{"entity-type":"item","numeric-id":4995361,"id":"Q4995361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"594c6cfcb733710d6687b5a100debf08e09c6a32","datavalue":{"value":{"amount":"+0.737530529499054","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":"Q5005148$99B399E7-D0E1-4DC6-B6E6-4368FFF7178D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5005148","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5005148"}}}}}