{"entities":{"Q1306169":{"pageid":1316919,"ns":120,"title":"Item:Q1306169","lastrevid":46851063,"modified":"2025-12-25T17:32:24Z","type":"item","id":"Q1306169","labels":{"en":{"language":"en","value":"Timing diagrams: Formalization and algorithmic verification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1343513"}},"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":"Q1306169$B96882CE-E792-46B5-B2B4-69B9E0386468","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7508c21dee846f8f1b6ea9088ec40088fee46ffc","datavalue":{"value":{"text":"Timing diagrams: Formalization and algorithmic verification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306169$D2DBAE41-1235-49A5-9736-0BF2A8920A59","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4f5a31fb06cead4b902642b6199b9efa04098f9f","datavalue":{"value":"0941.03032","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306169$0018D319-8FD4-4B75-9E0D-7B0414CE2113","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5ee0e312963febd717ba46c8a0bcf243369cd327","datavalue":{"value":"10.1023/A:1008345113376","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306169$6A9382E7-1FF0-4584-A074-861954923538","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b97d821e1ec6f343519cbfc393a31dc7cf2cca6d","datavalue":{"value":{"entity-type":"item","numeric-id":698434,"id":"Q698434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306169$E8ED69E8-9434-4C9A-B366-1F09DC10FBCA","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"147edfc9dddd5bbefb3ef0a24d334c7da90bbf45","datavalue":{"value":{"entity-type":"item","numeric-id":195246,"id":"Q195246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306169$35241D55-F177-4026-BCA5-BEDD8143F619","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7780eb30db256747f91026d8cb0ff2dc4b116b","datavalue":{"value":{"time":"+1999-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1306169$377B2AA7-E4BF-4437-AA9E-014746641AE4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306169$8A400009-0076-46C1-98B6-21C749C0057B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306169$45EFD22F-4AB5-4112-9FB6-85892818E08F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306169$7FD46A1F-D664-4E1F-9F15-0549DF74481A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306169$BC1163AE-FF33-4AFA-B4B4-FF2602EBE2EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cd80e9ade304e6b9b43fd50d0c3436276c3c217e","datavalue":{"value":"68M07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306169$ED3913D0-E2EC-49F7-9268-D9DF3C13291B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"600fc5a291aad38abfafe9eaf74018dcb4aa88a8","datavalue":{"value":"1343513","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306169$1ED43F25-2CE1-4FAF-B481-A359557E18F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8c0b65ec3a2203625e099be9b073fc50289e061d","datavalue":{"value":"\\(\\omega\\)-regular languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306169$8B36EB2B-2DD9-435E-A1EE-79E3DE9B719F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b35a6a24dd17ea6cf383183766c8907eb9f2ef44","datavalue":{"value":"language containment","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306169$1F8A7DE2-B5BA-496B-9D25-6F28DB93839D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306169$7D5700F1-F873-4972-814F-D25B0AFE4E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7a3e302df6493f10b25a5840c84fe17ead9d974e","datavalue":{"value":"hardware design","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306169$8D35565F-B571-4023-8892-2C521443F09C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e3ba7951b4903ad74bc8156ee379fa7f0472a6f","datavalue":{"value":"computer-aided verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306169$580CB64F-DBD1-4A76-863E-13C3AFF79A20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a189ad78b75ca3d733997a6b84dd3947e0e48a1","datavalue":{"value":"timing diagram logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306169$21321E84-8A1B-43BB-9C92-7E4076B521DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3db880c44e3892417a5400283a3d37c5f9553d1","datavalue":{"value":"B\u00fcchi automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306169$41FD3333-598A-4FB7-B83C-5693EADD6BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e77b1441a499b75eaa4205a58bb2eaf615c7c121","datavalue":{"value":"reversal bounded counter machine languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306169$FE309804-D0C4-4B53-B6DA-CB9C11D68768","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":"Q1306169$0057F4D5-2460-4DB5-9A44-B27323DD2644","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d90c07d2b9ad8835f63b82e6445dcd40569664","datavalue":{"value":{"entity-type":"item","numeric-id":4471910,"id":"Q4471910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"122e0afc90d75986cc817bf96d42d996430aa295","datavalue":{"value":{"amount":"+0.7928676009178162","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":"Q1306169$17C04A39-1016-49D5-ADDD-FD290B2B13AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52f815cd8a479c78bca2a165beb2b2825a9dfba9","datavalue":{"value":{"entity-type":"item","numeric-id":4028161,"id":"Q4028161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c85f3b16c291d3f216abda9a154afda9de3e859","datavalue":{"value":{"amount":"+0.7830600738525391","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":"Q1306169$DFAA7BEF-2F63-4963-A209-D2AB149740D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d6ed59a8da5c4b360c5ec2f4bfad28762034bf12","datavalue":{"value":{"entity-type":"item","numeric-id":4243082,"id":"Q4243082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b4a9e0a22deb89385e607697cd0a742996364b8f","datavalue":{"value":{"amount":"+0.7503178715705872","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":"Q1306169$73214410-16C8-4BCE-876B-8C21BABA7FF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1306169","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1306169"}}}}}