{"entities":{"Q5404469":{"pageid":7434043,"ns":120,"title":"Item:Q5404469","lastrevid":75596593,"modified":"2026-04-19T20:55:53Z","type":"item","id":"Q5404469","labels":{"en":{"language":"en","value":"Linear temporal logic for regular cost functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6272592"}},"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":"Q5404469$E73EA3FD-5B2F-42FB-B4E0-DAE6A717EF64","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9023353de7e651a0fda244ab25bac132537f7b22","datavalue":{"value":{"text":"Linear Temporal Logic for Regular Cost Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5404469$7BCD1568-85C0-4EAF-B1EB-132D47935BC7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"936e23f73d8f6a5fec336673942153a809b1e617","datavalue":{"value":"1325.68131","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404469$8836D02E-2220-410C-914E-C6F7B63191D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"056f434605bd5bb34c162bb43930299054a5cc4b","datavalue":{"value":"10.2168/LMCS-10(1:4)2014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404469$5A06D977-9C9C-48AA-AE28-AF48F58DC94C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"818fe5cf5f9df33fa0efbead4fe6079cbb5dcd6e","datavalue":{"value":{"entity-type":"item","numeric-id":651315,"id":"Q651315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404469$87ECA9A7-70F2-4409-BB8D-470802DF2C07","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"da58c52dc46c86e7440f2499c9e1bef3537c5562","datavalue":{"value":{"entity-type":"item","numeric-id":2786118,"id":"Q2786118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5404469$CD70885D-2A41-4DC7-8872-A74CD9A6381E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"630dce3b2853701ed9536abebcceb27951f83aed","datavalue":{"value":{"time":"+2014-03-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5404469$70DA7F80-DB5A-42F5-9C06-ADFBC387C420","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404469$8E4F51F4-B4A0-4FA7-A080-64B3816F2FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404469$05EDF9CA-3452-4231-9693-89720E0EE6E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404469$287C99F1-4B49-41F0-88E1-54F07D082B31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404469$5A8E2CA8-6C2A-4DAB-A281-A360C0134956","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8195a9e26c453276e1d31339bf2413392412013d","datavalue":{"value":"68Q17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404469$44FD00C5-EBB2-45E7-8908-855A1DEF5FA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"284ecbbc482bb005c89832e40d80121bce08d993","datavalue":{"value":"6272592","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5404469$396CB3E8-79F7-4D76-AED0-84E2323F8907","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404469$0ACE6FCC-62CB-4C42-9F9C-EBD7F36D7656","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ef903c0650e327ae0661a5e09bb13f9f2b55b2f","datavalue":{"value":"cost functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404469$38F8BD7B-4CC7-4FEE-BC6D-828BAF9E6556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f8e453c06c40882feafec2aba2007be3a1c6dd6","datavalue":{"value":"cost automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404469$FE355F02-8935-4CF7-92C4-B5FD12C3D670","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08aa3c68064a0985e1e2e65511923b8e175803f7","datavalue":{"value":"stabilization semigroup","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404469$D01FA7AB-DB43-48CF-8721-6FF1F9D79673","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38db77d753154cd8d5f07a21f379107399a92b6b","datavalue":{"value":"aperiodic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404469$2599CA39-1B86-45E3-956C-AE162E204F18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d65953b716ac45a02fd3c7df3999ad035b109ede","datavalue":{"value":"syntactic congruence","type":"string"},"datatype":"string"},"type":"statement","id":"Q5404469$8642D75A-1D10-4DA6-87DB-DC7D4DCE06B0","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":"Q5404469$AA0370DC-A31C-422D-8EFC-A80E0244F8D9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d8551b4dd6acfe22f50d358c0b732eb28fc64f86","datavalue":{"value":{"entity-type":"item","numeric-id":3113725,"id":"Q3113725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"099d9822f41efe1a5457c31937de7de4bc3bacc6","datavalue":{"value":{"amount":"+0.9935409426689148","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":"Q5404469$138E0B70-CAF0-4595-A084-ED6BBC2A0D37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ace54b00f80e50170c361c7c958c377ac7f08bd9","datavalue":{"value":{"entity-type":"item","numeric-id":3587468,"id":"Q3587468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ed4e9042eef8ccb8338dd62ef72497f002c6204","datavalue":{"value":{"amount":"+0.8520954251289368","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":"Q5404469$AAB5C7DE-7F08-480B-92E0-4B7725399019","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1025cf6c5d1da43002404a56fc9138b8769ebb1","datavalue":{"value":{"entity-type":"item","numeric-id":3167019,"id":"Q3167019"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed9b1c48e7759b3c29a9a16757e478cb387cd20c","datavalue":{"value":{"amount":"+0.8437963724136353","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":"Q5404469$4D779592-A6BF-4A17-909B-B1A123591FCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"825e6cfd97f262aa6cd3d959d902ce1bd6111b8b","datavalue":{"value":{"entity-type":"item","numeric-id":2846575,"id":"Q2846575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46babeb18c9f0fd60e33dc7e3dcc58a9c9730a19","datavalue":{"value":{"amount":"+0.8262439966201782","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":"Q5404469$3A983DAF-7B45-432D-9076-AE36AFA5FEFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7c407890860efae23b3223165cac9e39a7f1c330","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9480eec5a78f10b97a8ac3b6c754a209cb92176","datavalue":{"value":{"amount":"+0.824180006980896","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":"Q5404469$DFA37C94-BACB-42D5-A742-83946D0F3048","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Linear temporal logic for regular cost functions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Linear_temporal_logic_for_regular_cost_functions"}}}}}