{"entities":{"Q6195088":{"pageid":13329976,"ns":120,"title":"Item:Q6195088","lastrevid":39756314,"modified":"2024-12-30T18:21:08Z","type":"item","id":"Q6195088","labels":{"en":{"language":"en","value":"Synthesizing Computable Functions from Rational Specifications Over Infinite Words"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7805943"}},"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":"Q6195088$4B6B4C64-469A-464F-9B8B-D57FB7CCD8F1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ae8d736c67e7ec04fa2e9c98cdbd0314aac5ca87","datavalue":{"value":{"text":"Synthesizing Computable Functions from Rational Specifications Over Infinite Words","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6195088$B0595DDC-B34E-4646-9109-2BB4E6BC1A24","rank":"normal"}],"P16":[{"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":"Q6195088$2C4722CD-B3CB-4E52-B2DA-AFCAD526F85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"be29f8371795d635a9238c2c74ca0a26b2e42bcc","datavalue":{"value":{"entity-type":"item","numeric-id":515669,"id":"Q515669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$7008AEE5-8879-4E0D-BF09-448E8E043B18","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"47adaa7123c6f3744cf7fa8eab088d52b4982295","datavalue":{"value":{"entity-type":"item","numeric-id":2703009,"id":"Q2703009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$9B3319BA-A00E-45F3-AD38-E6A294B87C59","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adfab34f3c3d8e61a418701d66917b32bf911dc","datavalue":{"value":{"time":"+2024-02-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6195088$81567962-357B-48B4-AD8A-B24794965A31","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6195088$242A41B3-F891-4F23-A9E9-AF622C708F56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"944126536d5c63d6c101d24929ae9cdac4ed39bb","datavalue":{"value":"7805943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6195088$1CB2374B-3AA3-4176-85CE-E4A1BD3A3C2E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66099e696a2c19d271c11a5347ac1363d45c8b06","datavalue":{"value":"synthesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6195088$D29D456B-18DE-4831-8E89-9EDFE792907E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94eb22cef142cd94fafd7e29182c87453d09d9c6","datavalue":{"value":"computable functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q6195088$528DACEB-91F7-461E-BE0D-BB5A42DF9D46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a58f51272fb0b2fa2be656b34d0d4d36523f365b","datavalue":{"value":"two-way transducers","type":"string"},"datatype":"string"},"type":"statement","id":"Q6195088$FC3D862E-495C-4FD0-8FC8-4E84845041DB","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":"Q6195088$26DCC61E-6899-4EC6-A423-A23A07EC7C78","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8743a0b80b7df14051e815094bdf9e772d6a337e","datavalue":{"value":"https://doi.org/10.1142/s012905412348009x","type":"string"},"datatype":"url"},"type":"statement","id":"Q6195088$A569F240-AA2A-4B3E-805A-97FBAC3E26E2","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"080f347fdd2a4ca61721c1b985dc08edcc70b5e0","datavalue":{"value":"W3192040540","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6195088$5C02A22A-9B0E-41B5-8105-CEB6C29E20C9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9f134885eacd57c371c7d9398ea17172c0c430","datavalue":{"value":{"entity-type":"item","numeric-id":2226757,"id":"Q2226757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$3F3FDB6C-78B1-4C76-BB11-4016FA44542B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3a8ebbbadc6e9f82c2d6f7883eea75ef4c0f2aa","datavalue":{"value":{"entity-type":"item","numeric-id":2986782,"id":"Q2986782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$F7477A3C-D436-42F1-8E97-EDBDF0333C0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3b8058325fbac4d9515218eb0d7e36a535c0f933","datavalue":{"value":{"entity-type":"item","numeric-id":4275432,"id":"Q4275432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$90E807CB-9ECF-409B-86B4-720BB78213D5","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":"Q6195088$D826A4F4-B84F-40D6-8E8D-E42BB71409D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c30cd0184616c791f159edd27bc653b0ce393965","datavalue":{"value":{"entity-type":"item","numeric-id":3460581,"id":"Q3460581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$79EA066F-931B-4097-B2F7-D15298C0D0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faab337e9d7f0e9705d3a9540cc5e613e59a70db","datavalue":{"value":{"entity-type":"item","numeric-id":520340,"id":"Q520340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$896D632F-5B4B-4CE8-9840-1DC284E3992B","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":"Q6195088$089544FB-7473-4D04-8ED4-29E0E36F580C","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":"Q6195088$BC78C9C5-B348-4E1E-B474-554D41B1402A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4857472ab7a7fc0e2b77e238d9cbcb3d364d796f","datavalue":{"value":{"entity-type":"item","numeric-id":5758113,"id":"Q5758113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$CB72F9F1-FAAF-4B37-86EF-5C8F57EBDEE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60f444ea46d7b93721be6058a4eefb1a26bfc9ca","datavalue":{"value":{"entity-type":"item","numeric-id":4941148,"id":"Q4941148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$3B7FD4A9-A317-46A3-A7A8-657FE4FF70AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$9F0AE4AE-4603-4DE5-9471-C6F6012F1E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a12cb598d98d97d37467fdfec8f830a34dd499ed","datavalue":{"value":{"entity-type":"item","numeric-id":4598263,"id":"Q4598263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$6D639D93-6626-488D-BFE7-A091F892B67A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e991062094ae7ac00425528e5422a3bcfb37ecb","datavalue":{"value":{"entity-type":"item","numeric-id":5089310,"id":"Q5089310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$F433796A-57E0-4084-BA4A-2D09C9546466","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a473dcab5d30dbad46982f83785e13a0cd916e36","datavalue":{"value":{"entity-type":"item","numeric-id":4406290,"id":"Q4406290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$108BFEBB-E103-43B9-8E0A-6DD82A211BAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5797702199a650a3cb489cbb2e2c3c5ae937eaaa","datavalue":{"value":{"entity-type":"item","numeric-id":2937387,"id":"Q2937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$72DBF5EC-1D79-4578-B200-98BAE8DEFCDA","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":"Q6195088$62C34ACA-9FA2-4455-B4E8-4C84BD506378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fbf7de833a6fcacc05a59be475fa860fd0ef52c","datavalue":{"value":{"entity-type":"item","numeric-id":6187060,"id":"Q6187060"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$EE668989-28A8-41D0-AB37-0EBFF20191D4","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":"Q6195088$FBD8AE06-CCAD-4285-B4F4-22C07EB42BE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0257e75248b442dac60fef4e65b0c3537f7619f1","datavalue":{"value":{"entity-type":"item","numeric-id":6109601,"id":"Q6109601"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$A8DB5F0D-0D09-469D-B2A1-9A897E23E94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a346b0d1d8d58eca29ba3d568dd9754ed71fd2e5","datavalue":{"value":{"entity-type":"item","numeric-id":1866725,"id":"Q1866725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$224FB57E-AF31-46D2-A685-1260BB06BA13","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":"Q6195088$0A30207C-4262-40F0-8420-DB802C0D715C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c9d9a351340c0a47caca277d12ce9de6df36b217","datavalue":{"value":{"entity-type":"item","numeric-id":5536637,"id":"Q5536637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$79E8DD9C-431D-45FC-855D-09A932443684","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":"Q6195088$31530A9B-1D68-466F-94B7-C3C598C7D204","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":"Q6195088$9335C7AC-BFB7-44C2-A654-016D7D39EC59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fdf560790028689b31f820345fd7f3e402b946f","datavalue":{"value":{"entity-type":"item","numeric-id":314471,"id":"Q314471"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$13C62B8B-8AA4-4289-865F-E578B15D46C2","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":"Q6195088$D6B31B72-CEC7-4AD0-8608-161DB30F691C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f0ee39b073dbcae23fd86625bc24634b1f64ac38","datavalue":{"value":{"entity-type":"item","numeric-id":3644388,"id":"Q3644388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$60E79EB6-FEC6-41F4-BCC0-BD639151A7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c61bd4561350d78843929402a0458a42d91c83e","datavalue":{"value":{"entity-type":"item","numeric-id":340584,"id":"Q340584"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$6EFA4953-9FFC-444E-AA06-036EB710D1E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66e8a62cd46463c62f9ff883109d60c4695ebc92","datavalue":{"value":{"entity-type":"item","numeric-id":4485693,"id":"Q4485693"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6195088$E73E02B1-8D13-42BF-8782-06206027A054","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c49d9680d88fb6a08a35c940d8d965f0f580f7a4","datavalue":{"value":"10.1142/S012905412348009X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6195088$79F6E544-0E17-42F2-AE43-3FC443156514","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6195088","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6195088"}}}}}