{"entities":{"Q3088069":{"pageid":3098784,"ns":120,"title":"Item:Q3088069","lastrevid":51317756,"modified":"2026-01-17T17:59:09Z","type":"item","id":"Q3088069","labels":{"en":{"language":"en","value":"Distributed synthesis for regular and contextfree specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5940130"}},"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":"Q3088069$F6941DEB-4D75-4120-B576-9F79B2FD7AE3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"036b30fdc74a864e10e953d713824522c47b46ed","datavalue":{"value":{"text":"Distributed Synthesis for Regular and Contextfree Specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3088069$C2384DB0-F63D-4BDD-900E-083CCF28DBF9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80ed36c6a14f2f46ed362c9002b06c1bbe010d48","datavalue":{"value":"1343.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088069$3A7D5CB0-CEF2-4AAC-A2E2-6334CA2A3576","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f842d202932419d90e69fb75da18892b3daf06c9","datavalue":{"value":"10.1007/978-3-642-22993-0_48","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088069$EFBB9BF2-529A-4B1D-B98B-6E116E5F9935","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8648f613668a775a74ff33be97f98a4dbb115fbb","datavalue":{"value":{"entity-type":"item","numeric-id":2249663,"id":"Q2249663"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088069$AAFDE401-0333-46CA-A6CE-664AE2D3F164","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8417b24f778a8493e6056ee689284ee2d7021f62","datavalue":{"value":{"entity-type":"item","numeric-id":343926,"id":"Q343926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088069$F9C7212D-46C9-4DE3-864B-7A7551BC2C03","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"799375dfd9c57273d55698de42084d11cf9e071f","datavalue":{"value":{"entity-type":"item","numeric-id":3088024,"id":"Q3088024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3088069$ADA74E2F-8610-44B9-98BD-27BADD2B806C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf253edeced6fad2edf52e73f99001914b4fc105","datavalue":{"value":{"time":"+2011-08-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3088069$DA90C21B-4F9B-45D4-8FB4-15A45D94F2F2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088069$3810797E-DF7D-447C-8529-56B19186BA03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088069$BA2048DB-1EA2-4A0C-ACEF-44907847F85A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8c4278c65da8de518df1429ae2669af75d40470","datavalue":{"value":"5940130","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088069$CA0AF324-BB01-4E4F-98DF-33BADF84677E","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":"Q3088069$CAFFA4D3-4982-42BE-A9B0-21FDA889D51D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1ca02091c71b0f72200832cd4ebc7e58f56e896e","datavalue":{"value":"https://doi.org/10.1007/978-3-642-22993-0_48","type":"string"},"datatype":"url"},"type":"statement","id":"Q3088069$63D114C3-8204-429D-94DE-AE9A87B1B4FC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"465f9bdfed1f36bfe903141504fee7bd5aa9882e","datavalue":{"value":"W1682025808","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3088069$E47577FC-8929-48D2-8EC9-A072D531F851","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50cc52e06ad5309cedad88a1ac03be43d7aaf760","datavalue":{"value":{"entity-type":"item","numeric-id":2249664,"id":"Q2249664"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23c89334cd807a2cfe3a54314a2d1e4726f13984","datavalue":{"value":{"amount":"+0.957274615764618","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":"Q3088069$DC4724D3-CBDA-4259-98D7-F3C9F1667861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"48d1abacc730d1fa9a2783eaa81d323ddd249d16","datavalue":{"value":{"entity-type":"item","numeric-id":4535033,"id":"Q4535033"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b94a90430fb85aec432b5554b882ed1983dbbd7c","datavalue":{"value":{"amount":"+0.8702341914176941","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":"Q3088069$0ABC5ECD-924F-4422-9A87-419EE94C5C43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9d9fb8ebac4ad5d031bf9945a7998c194d46a6e3","datavalue":{"value":{"entity-type":"item","numeric-id":2978553,"id":"Q2978553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d56dc3ef0a5c16408fbada05b9838fc42139351","datavalue":{"value":{"amount":"+0.8560280203819275","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":"Q3088069$0F049ECF-DEEA-420F-A3B1-C78790456269","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0772d8d27e0895c96bbb7463dde40dcb3f845d","datavalue":{"value":{"entity-type":"item","numeric-id":3599069,"id":"Q3599069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b76d5446a6276fdf6f4b8ed58a26f7372a4a4f8f","datavalue":{"value":{"amount":"+0.8059966564178467","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":"Q3088069$B2A9FB8B-1345-4A1A-B971-4F736672650E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0ca9ab59e8807f34ea8c7250d6cb4594ac8edd2a","datavalue":{"value":{"entity-type":"item","numeric-id":842581,"id":"Q842581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e17b1729fee32137a79a376371d31e8c6d2f0384","datavalue":{"value":{"amount":"+0.8036864399909973","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":"Q3088069$F40EDA03-EF25-4120-AA19-0315225F71B2","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3088069","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3088069"}}}}}