{"entities":{"Q682377":{"pageid":684226,"ns":120,"title":"Item:Q682377","lastrevid":63775044,"modified":"2026-04-11T15:27:53Z","type":"item","id":"Q682377","labels":{"en":{"language":"en","value":"Visibly linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833779"}},"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":"Q682377$35DBCBC6-019B-4CA0-8CB7-DEFDC73DED00","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c37deb1e8ad555ff85ab98cba0e57b5f5ed077fc","datavalue":{"value":{"text":"Visibly linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q682377$80138F31-EF21-4314-9917-45C94CC0BA45","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5aa6b6243d78c9f735076eb1a954e962a70a27b3","datavalue":{"value":"1425.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682377$163D63E4-FF84-4E87-A13D-EC7ACDF04D0E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"832ec9ac464bcea330b3bea6d0eade9569e13021","datavalue":{"value":{"entity-type":"item","numeric-id":278750,"id":"Q278750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$A7868313-C156-4392-A7B0-5E42B595FEC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a8713ee3f10f93ccd03e7402b982f504280ddecb","datavalue":{"value":{"entity-type":"item","numeric-id":278751,"id":"Q278751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$F1AEF3EA-52FE-496A-9680-19DB3D8FADF4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$142B21BB-7245-4AC5-BF93-D32ACB98C048","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q682377$48617DAB-7A33-4C46-A2AB-C7B37B92833F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682377$8F343651-B778-48BA-B4C7-C85434060BDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682377$F3D50770-D7FC-4226-AD34-B6954AD90EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682377$E8317127-6C73-4FE1-B450-6F379C2342FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d80fcb97877ae9b65205007cfc155e5f913f777f","datavalue":{"value":"6833779","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682377$1D73306A-3E3D-435A-B5FB-6DDC1E27DE29","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q682377$898463EB-56F0-4551-B58D-F964E341DDF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f7edc067c231fb0d474ec785414d027813dcbf37","datavalue":{"value":"visibly pushdown languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q682377$F7050766-E452-4C79-AF44-38827832E608","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c59c3edb1f5fa5cc58efd46afafd0ab9cb71bd08","datavalue":{"value":"automata-based decision procedures","type":"string"},"datatype":"string"},"type":"statement","id":"Q682377$F4CF6421-FB71-467F-8086-0CB9FFAE094A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68c261570392928413cb911f93665f42e10898b6","datavalue":{"value":"automata theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q682377$002154B1-2090-4B22-A39A-1172C1CA32B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$581E6328-F47D-4885-9AED-608ED4A07F56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d4f55591526bfa06dbd19dfd10ca3b2c9d44db2a","datavalue":{"value":{"entity-type":"item","numeric-id":20924,"id":"Q20924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$80126FD7-E320-484A-B9DA-A2E28BF9C592","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":"Q682377$B17464A0-AF82-4EDC-9C76-8B0FB45F5868","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c956f6b2c4c647a02bb02a325af9e9c5b5027bbb","datavalue":{"value":"https://doi.org/10.1007/s10817-017-9410-z","type":"string"},"datatype":"url"},"type":"statement","id":"Q682377$92C9C3D7-CAFB-4D9B-A71B-2F4A7CC8995D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"429bf4f6015374f33e5b4527e3b0665da672777b","datavalue":{"value":"W2593997315","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682377$8C471498-041F-44D4-8BDE-425B71263EF4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8841e650f6d58c1798bac2c784540f1469ea954b","datavalue":{"value":{"entity-type":"item","numeric-id":3499762,"id":"Q3499762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$FD083B46-6BF2-4CA4-A49E-E1973722BA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3ca5a54c67c83770e613bb050b490ce10deacac","datavalue":{"value":{"entity-type":"item","numeric-id":3623007,"id":"Q3623007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$D8610DA9-7B3D-41FF-82E3-E046FB4145CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b6196bb057adc2087bd5262ca2bda33f9a480e1","datavalue":{"value":{"entity-type":"item","numeric-id":5308427,"id":"Q5308427"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$67E365D5-301E-49EF-B9C0-1E0BE6C1B842","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9e7aeeecf2d28d1d75570eca357b2bf733654064","datavalue":{"value":{"entity-type":"item","numeric-id":3580970,"id":"Q3580970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$EBCBCAEB-74BE-4EAC-957C-E207CEABE24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9eb4c5c12ed0ce192c79ddead76566bbeffe2c7","datavalue":{"value":{"entity-type":"item","numeric-id":3617042,"id":"Q3617042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$C796AEC1-A959-4323-AA58-EEA27AC54B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c4aabd5f249e9548a514edda9194c86258841b86","datavalue":{"value":{"entity-type":"item","numeric-id":5428867,"id":"Q5428867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$0BD595ED-21F7-4E13-B0CD-7CBD0EF585B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e23095c9e979a8ccbe1d8e5e4d4b937b8eb36cf7","datavalue":{"value":{"entity-type":"item","numeric-id":4472249,"id":"Q4472249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$ACE3E38B-378E-43FD-9208-6005F64F1223","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ee36fea820e4ec41c645157a399b976a6698393","datavalue":{"value":{"entity-type":"item","numeric-id":2753756,"id":"Q2753756"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$4FFA124F-7CA2-4279-8B48-1324F1FE29A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2dc300ce19797e6bc158b65168abacbba354779","datavalue":{"value":{"entity-type":"item","numeric-id":3088034,"id":"Q3088034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$04E203F4-1FA9-43C9-92F3-169321854532","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e006dd7060267eb8c241907bdad1e9a1d82bb80f","datavalue":{"value":{"entity-type":"item","numeric-id":3525656,"id":"Q3525656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$D3969F8C-94D7-42F8-87D9-927E9F9D3AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"02a98e5ecc962174f4c241fa58f245d90c425666","datavalue":{"value":{"entity-type":"item","numeric-id":2957493,"id":"Q2957493"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$F951C5FE-8994-41F2-A17D-F9D1B1F2DC2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5c4cf0e5263f18d6bf7fc0d1be1bccdb7dde47a2","datavalue":{"value":{"entity-type":"item","numeric-id":2453980,"id":"Q2453980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$5AEE1902-31E2-4D58-A2BD-CE615A613137","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4f197043e5a9529035dd227221543a67c32359c9","datavalue":{"value":{"entity-type":"item","numeric-id":3000607,"id":"Q3000607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$D660DB98-5921-4FCE-A2CA-D662F9D0FF9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"76bc6a43e750b402e0400a21464ada47a220f82d","datavalue":{"value":{"entity-type":"item","numeric-id":977176,"id":"Q977176"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$59EC2788-4B92-424B-8979-F4A38253D3E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47c57a1bc98a9d819c8c4b25347f0c45d96256b1","datavalue":{"value":{"entity-type":"item","numeric-id":1258296,"id":"Q1258296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$E3415B76-E3E9-4052-B5D0-903AC8CAB96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19a61cdaa469b53d71144c66713ed5cb34575b94","datavalue":{"value":{"entity-type":"item","numeric-id":1295431,"id":"Q1295431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$0B135512-563E-4232-97BF-22C6CE20740B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6a31e0cf3ff6a73ad4ee5a92d1ed62572bdd89","datavalue":{"value":{"entity-type":"item","numeric-id":3317085,"id":"Q3317085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$2AF8988A-4F77-423B-8291-84D2FDF58BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdbace6415d89fca5d9ba31adb1a3b4e1ba6373e","datavalue":{"value":{"entity-type":"item","numeric-id":3549125,"id":"Q3549125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$A6EC3106-AE35-4C05-8F1C-D9BBBA33A746","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$88BBE388-8E9A-4DFA-9077-076F6AFFE11E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a01840145b645722449aa29d23c00ba5f807150","datavalue":{"value":{"entity-type":"item","numeric-id":3525092,"id":"Q3525092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$F421641A-F87C-43B6-A7A0-EB05774E772F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa364678443b05b6b0ee1f7cc61fbddb8d88198d","datavalue":{"value":{"entity-type":"item","numeric-id":5899095,"id":"Q5899095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$CFF54ACE-CDF0-41BB-B1B1-0BFDE3230905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5476819d0df9c9ab8da9b5920f69cb1204c0d797","datavalue":{"value":{"entity-type":"item","numeric-id":3182955,"id":"Q3182955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$77F2689E-24F9-42DB-9A46-2860072495B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e9159e9095f8ca510d538d7e9904c6f3ff891ad","datavalue":{"value":{"entity-type":"item","numeric-id":796990,"id":"Q796990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$C66E985B-35AD-4EF9-B65D-7B5C5E570F39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc8538023ff8d40f43d3f0f24e047ecceb14e467","datavalue":{"value":{"entity-type":"item","numeric-id":1098325,"id":"Q1098325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$5D619544-0137-4B69-B3AA-75665BC01CBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a8ed04e37aef26823c97fe93e0e3092b51453c4","datavalue":{"value":{"entity-type":"item","numeric-id":3656890,"id":"Q3656890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$D91E8C88-E91F-45DB-BB58-DF408A616F2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7b018e3243883c7f1b1bc3e7af5f1b7bdda0e2b","datavalue":{"value":{"entity-type":"item","numeric-id":2915098,"id":"Q2915098"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$ABBF5A64-8C62-4321-B2DC-87D5AD00AF6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f33f843778dfabfeef453cdfa627d4b42c24908","datavalue":{"value":{"entity-type":"item","numeric-id":4131648,"id":"Q4131648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$6EA734DC-E021-4C2A-93CD-6B5B9A005869","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$5F708D81-0BDA-4F59-B826-BE0970BD0987","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"acfbb86f652e01890434b94fbb49e1c97c375169","datavalue":{"value":{"entity-type":"item","numeric-id":4636575,"id":"Q4636575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$CE06F816-7318-4FCB-8A1F-67EC7765936B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee0f06f8149ad9449d52f3e00709cc707f14bc42","datavalue":{"value":{"entity-type":"item","numeric-id":1276252,"id":"Q1276252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q682377$3108D974-4559-4FE8-8EDB-7933FA935E9C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5d9b8421a560ecbef70bfd21beb71fb72d068bf4","datavalue":{"value":"10.1007/S10817-017-9410-Z","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q682377$92C03D77-BBE8-4B04-B81D-B027F5FF4855","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4cfad1942c2e978c9a5e20a81d9d4e9b4a4fa4da","datavalue":{"value":{"entity-type":"item","numeric-id":3192209,"id":"Q3192209"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e80142a9c816b249a1cad31a87abc8b394ac3782","datavalue":{"value":{"amount":"+0.9845160245895386","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":"Q682377$6A878BC8-3382-4A6C-804A-E7170E832727","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c32ba4b2e6ae466af28f1614280b378e69b401ee","datavalue":{"value":{"entity-type":"item","numeric-id":1786616,"id":"Q1786616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3a1cdc8723a581e8242ad02b2911ad2357065eb5","datavalue":{"value":{"amount":"+0.8693323135375977","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":"Q682377$DE811725-92E3-4517-8FBB-EAA6205DE732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d442347cd50785f2bf49c878fea751019c6afe93","datavalue":{"value":{"entity-type":"item","numeric-id":4636575,"id":"Q4636575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b54c2ca4f48a53704aae1058f9374d771bd0bb9","datavalue":{"value":{"amount":"+0.867140531539917","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":"Q682377$A42AEE86-FF3E-4E6E-A7E5-AF5D5E7F0C18","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"70c7777a24c74df2523a2b2ff7977551f2a60ed6","datavalue":{"value":{"entity-type":"item","numeric-id":3525656,"id":"Q3525656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bf999d66d44cf202007a7ff5701f78b6a98ccd43","datavalue":{"value":{"amount":"+0.7928173542022705","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":"Q682377$C0FE3CE8-9EF3-4E0D-B998-7C9FF0A6DD2C","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":"37320f0ab603fe32ed6a65cdd30151365c8490e9","datavalue":{"value":{"amount":"+0.7750915884971619","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":"Q682377$3613DA57-2408-4B46-9265-03E0AABD0BB5","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Visibly linear temporal logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Visibly_linear_temporal_logic"}}}}}