{"entities":{"Q3628607":{"pageid":5658513,"ns":120,"title":"Item:Q3628607","lastrevid":49713967,"modified":"2026-01-09T08:36:37Z","type":"item","id":"Q3628607","labels":{"en":{"language":"en","value":"Linear Temporal Logic of Constraint Automata"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5555601"}},"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":"Q3628607$6BFEA5C8-FFD1-403C-9E41-C0AC528C7425","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"6d84709c782af3c8c6de6f07b977e27bef746105","datavalue":{"value":{"text":"Linear Temporal Logic of Constraint Automata","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3628607$FA7EF9B4-A90D-4FF2-8C7C-A9545C0BDB73","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c328cad2f30e604d0b4531db9f785796f8724812","datavalue":{"value":"1188.68176","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628607$0D4B624F-81FA-4B38-B003-A8AEBF8ED38C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"807c300465deab8a0745e634f088ace223c2db9f","datavalue":{"value":"10.1007/978-3-540-89985-3_146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628607$2E1CECE7-3287-4017-BA91-4DE529DBB267","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0bcfd805aaf8a39baed1ab855d3efd9b75887d5","datavalue":{"value":{"entity-type":"item","numeric-id":3628606,"id":"Q3628606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628607$4B799236-981D-4A79-8420-7662B5D1E11A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e095d5a0ac7f341866f731b8ac95c682bab1eaa5","datavalue":{"value":{"entity-type":"item","numeric-id":504331,"id":"Q504331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628607$5D593BF3-BE44-49DC-9FDE-26A82DBCB674","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d4077ffb18414bbb2357751629d411d50e25c5a0","datavalue":{"value":{"entity-type":"item","numeric-id":345896,"id":"Q345896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628607$D42886D0-BDA6-4299-B06B-245A680DECAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"156a3c6661c249635ccf68f02d9443cc24aebf14","datavalue":{"value":{"time":"+2009-05-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3628607$CC56EFD1-FB8E-4C70-A021-6B764E0D730B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628607$9FB938DA-BA4D-497C-9B69-ED9609450758","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7ce23db5c4595c78c4c35a340be4ac571018976","datavalue":{"value":"5555601","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628607$73F7B5E4-05B5-4C78-A250-C208D0A424D4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0aa662b2b7ee896a11f94703cabb105ae5fd891","datavalue":{"value":"constraint automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628607$BE2676D1-D6BA-4290-BF36-05B1FDB857F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eb7f00ee7fdadd911515b91bdfee9f839c293b4","datavalue":{"value":"concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628607$934E95C1-F996-4EDB-B090-97956DD2DC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628607$808CA8D0-6EF7-4B3E-B5EF-4A1F24490FC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11d48420dfe4f9b27e1a88ed30df09bbb4bb8907","datavalue":{"value":"coordination model","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628607$A009421B-1931-4365-9529-6345EB813194","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c1c75a12a4d7ba5a6cc5fa2a0393036060a3aac","datavalue":{"value":"weak and strong fairness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3628607$812AEB0B-E8E1-4833-8AD3-AC41CC267F27","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":"Q3628607$C8A1870C-8D0C-4B20-B1F1-D6F32BC2FAA6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a7fedbf48188a10021370a90c84cabd1b11ea73b","datavalue":{"value":"https://doi.org/10.1007/978-3-540-89985-3_146","type":"string"},"datatype":"url"},"type":"statement","id":"Q3628607$63CE9E82-610E-4F81-B5EE-A49FE6CFF016","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21bc02b965654c1617f94f5a3055fb754405140b","datavalue":{"value":"W1674073885","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3628607$DA8E673D-ABAA-467B-9C4F-DC7162EB58D0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"35c04514017ccf09a1182abf7d6ba78fbb552273","datavalue":{"value":{"entity-type":"item","numeric-id":5900818,"id":"Q5900818"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628607$FC3CD3E8-409D-44FF-9129-F8B21546D553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"316a7f52d1a85eea1cb2fa0afaf4cb5ab7a50ad5","datavalue":{"value":{"entity-type":"item","numeric-id":2495551,"id":"Q2495551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3628607$404A16EF-E7E8-4952-80CA-607F3900DCF9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25afcc95721b7fe2091e3b03a1a2d95794deed7a","datavalue":{"value":{"entity-type":"item","numeric-id":2920121,"id":"Q2920121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419aab9a7a1a1c7f260c65d7231113ebf40ac6f9","datavalue":{"value":{"amount":"+0.9227501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3628607$4124B44B-2060-4082-9F91-927DB3660157","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f4f4010920bd191f8a291c27d1d67c30e4dc1c69","datavalue":{"value":{"entity-type":"item","numeric-id":4415249,"id":"Q4415249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06c7b8986ac7770f3df914b9422097f800e443b","datavalue":{"value":{"amount":"+0.9156718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3628607$6D6C247C-CC71-49F8-AC16-024FAFE8B413","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b232b0c6858756f2d4c0c3d4d97129ff5e42078a","datavalue":{"value":{"entity-type":"item","numeric-id":870361,"id":"Q870361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e06c7b8986ac7770f3df914b9422097f800e443b","datavalue":{"value":{"amount":"+0.9156718","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3628607$4A593B7A-ECCF-4CDF-BACF-859805E829FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4355423a76cd224f33b1ba7bf7f637f7b4746087","datavalue":{"value":{"entity-type":"item","numeric-id":3647243,"id":"Q3647243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"74ec9f7af70770b01608b738f4fca8236ec9e01e","datavalue":{"value":{"amount":"+0.9117626","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3628607$BFDEACA9-00B2-4893-87C6-DC7CE3E1F3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cce3de0989a7cb3d96e085e2b47481c4b37f62","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3386da00ab01c6012e1216738f0eb5e65a433697","datavalue":{"value":{"amount":"+0.9094447","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3628607$42B08BBB-566F-40CA-9617-AB6CF7399D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13d3bc1ffa738d36e0aa4671214ad8123b4ee3eb","datavalue":{"value":{"entity-type":"item","numeric-id":2769587,"id":"Q2769587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52c768bbcbb06c7fcc6a0ae4a917af7407b15d1","datavalue":{"value":{"amount":"+0.9081611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3628607$823069A3-D648-4EB9-8FD8-3924778C5483","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db395c12c2ac42365f2e7cffab032a670a398c20","datavalue":{"value":{"entity-type":"item","numeric-id":1858447,"id":"Q1858447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c52c768bbcbb06c7fcc6a0ae4a917af7407b15d1","datavalue":{"value":{"amount":"+0.9081611","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3628607$9893D6EC-3408-4680-A2F6-EFBD929BA3BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9fe3ab0db80df592b300954cdae307d8a4b79a4f","datavalue":{"value":{"entity-type":"item","numeric-id":4633559,"id":"Q4633559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"32d45fe19fcf5817582cef38ada644566bee2d75","datavalue":{"value":{"amount":"+0.90687704","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3628607$3E018CC1-95CD-451D-A6C8-51BD41671819","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1883c23305d8a1b064ea2be02f161af8aa5e618e","datavalue":{"value":{"entity-type":"item","numeric-id":1192606,"id":"Q1192606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a37a6ad2b4b41d3a3559e87c1b2e238517f2ac85","datavalue":{"value":{"amount":"+0.90650666","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3628607$810FBF55-1BEF-4162-A298-140B362DB8FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f28dfd11ce40ef0b1453bf37d25eedb1598b1f9a","datavalue":{"value":{"entity-type":"item","numeric-id":465680,"id":"Q465680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eea60c42ca695cf16d7a71285f83f9c0a2322d69","datavalue":{"value":{"amount":"+0.9030436","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3628607$6FE41090-2528-43F0-B16E-2845166CFF57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3628607","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3628607"}}}}}