{"entities":{"Q5167836":{"pageid":7197408,"ns":120,"title":"Item:Q5167836","lastrevid":58467888,"modified":"2026-04-05T08:38:44Z","type":"item","id":"Q5167836","labels":{"en":{"language":"en","value":"A Nivat theorem for weighted timed automata and weighted relative distance logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6312312"}},"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":"Q5167836$2CC0502A-4283-45D8-8E6C-90EC91E16040","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"876452b3272cf908644de95ba3e737edc151151b","datavalue":{"value":{"text":"A Nivat Theorem for Weighted Timed Automata and Weighted Relative Distance Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5167836$470E2602-9E8B-4D40-96CC-E8336C7EF521","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"525e82fe3b83b10b6fa739860520656b405c63c4","datavalue":{"value":"1409.68158","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167836$F4C6CD5A-F308-4F2B-8ADA-9AC3C5AFF828","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0f989b02705742f7b5f2dbb919b7346452167256","datavalue":{"value":"10.1007/978-3-662-43951-7_15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167836$62ABEF75-8C35-4875-B667-F27E94BB028A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f95497efcf4cfff655d901d69a1e66fba3bb20b7","datavalue":{"value":{"entity-type":"item","numeric-id":504992,"id":"Q504992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167836$F088AAA8-EA55-4E5D-908B-C55E34176A62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0d77a7be4855473ed96522980e8feac1b6621e47","datavalue":{"value":{"entity-type":"item","numeric-id":382935,"id":"Q382935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167836$C4314C5F-A4CC-47D8-96B7-25340C21F545","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"803e72eb03c20f6e7d37022dda043ce5d2a7ff36","datavalue":{"value":{"entity-type":"item","numeric-id":2843225,"id":"Q2843225"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5167836$94043FB4-A9C3-4EE2-B15A-4DECA54D14A2","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1e60bf630f2383f14de32b8ca35633600a7b19ea","datavalue":{"value":{"time":"+2014-07-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5167836$41EC1449-D2AF-4E09-A12A-9FCB233420D1","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"38e8f2673e021a6d5c86b7b1809b67a990ab0ef0","datavalue":{"value":"https://arxiv.org/abs/1506.06038","type":"string"},"datatype":"url"},"type":"statement","id":"Q5167836$51ED4A56-5163-4957-BCE8-D7E54654197D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167836$82D16094-42A0-458A-8833-521E3E26945D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167836$77AF0634-9E34-4D23-A4C6-EF0E3A912DBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7030da87e9d35078817d5792e9c59eea6690bab7","datavalue":{"value":"6312312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167836$7317B727-DFB6-4220-9F69-69AC9CF9B79A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1830611f60e73ba6d127e5cba1326aed2487f131","datavalue":{"value":"weighted timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5167836$4DCD8B27-B09E-46F1-9BE9-AD4E73A7EC3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7899d01f4466e2b5303804e0b5bed2ce263956e","datavalue":{"value":"linearly priced timed automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q5167836$AF2DD0F8-7DE4-4ED6-B305-A601BB51FB0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed19cce34a56bcc96a1fa41895faff2eb6292ba9","datavalue":{"value":"average behavior","type":"string"},"datatype":"string"},"type":"statement","id":"Q5167836$740FFF6A-BE6B-4C6F-A487-2090425871D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a99c658905e5cf11d3464c908605f4500185621","datavalue":{"value":"discounting","type":"string"},"datatype":"string"},"type":"statement","id":"Q5167836$0BE09554-3412-4EE9-81E1-DF4791E60A84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"597192f1cdddf6d611b0c6f24841ee3042c8484e","datavalue":{"value":"Nivat's theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q5167836$1579A3EB-3398-4575-92CE-F713228A8DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"216b76ccde76ad20b67a49b68bd1e5f2c4650a5f","datavalue":{"value":"quantitative logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5167836$AA2E2AE9-371D-4CF0-B635-55467AE75E39","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":"Q5167836$29B1E03D-AA80-416B-BF6F-14A54EEFE21E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a76e34fd4655e3daceeeb4ec7939989b12035d41","datavalue":{"value":"W49543784","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5167836$7BC924AB-F37C-4D29-8BE5-8CD268457DF1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4095b72935dd220102f2fa3aae26ccecf11c7e54","datavalue":{"value":{"entity-type":"item","numeric-id":548692,"id":"Q548692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7e7bbd4ebb3a0c0996fcd7d6855bebf68bec64b","datavalue":{"value":{"amount":"+0.8312031030654907","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":"Q5167836$3F9DE124-20DB-4429-8FD4-55213725E086","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4d663ac3b918ce88b0afc6fa4fea5c1063fb263c","datavalue":{"value":{"entity-type":"item","numeric-id":5458356,"id":"Q5458356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f0a7608566b3ce50f119caaffda34799f46ddf7","datavalue":{"value":{"amount":"+0.8216744661331177","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":"Q5167836$0AC8C6D1-926F-49C2-A920-2D0A41AF08D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9a252667062555b7ba19efdd00b53da09782d64","datavalue":{"value":{"entity-type":"item","numeric-id":3574978,"id":"Q3574978"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcd5ca6c4dcee3d06899542254b56f0c8285ac2c","datavalue":{"value":{"amount":"+0.8125948309898376","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":"Q5167836$C1148BC3-3A59-4D1F-8749-769250CAB8B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d2050444750b3d8ae0d2e87a14f87f9e7710cff","datavalue":{"value":{"entity-type":"item","numeric-id":3637244,"id":"Q3637244"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de5d726e71fb757e8afc97a053a127612cef6112","datavalue":{"value":{"amount":"+0.8054996728897095","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":"Q5167836$4BB6889E-21D5-4DA4-98B1-59A5894C7749","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4bb819c8f68f641587161e5264bf1042a256e9a","datavalue":{"value":{"entity-type":"item","numeric-id":537908,"id":"Q537908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d01f74b61432f50daf3ba6f5ce7b00c79ed066ff","datavalue":{"value":{"amount":"+0.8021119236946106","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":"Q5167836$543BDD55-576F-4FF6-A67F-E1518044E931","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5167836","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5167836"}}}}}