{"entities":{"Q3192209":{"pageid":3202917,"ns":120,"title":"Item:Q3192209","lastrevid":52096658,"modified":"2026-01-20T22:35:08Z","type":"item","id":"Q3192209","labels":{"en":{"language":"en","value":"Visibly linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6348255"}},"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":"Q3192209$39BDF0DB-A207-4198-80B6-BAE615793C49","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b04204f18635c69ac2f7297f5874719f8c1720ac","datavalue":{"value":{"text":"Visibly Linear Temporal Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3192209$89194B99-75A7-47B7-B4B5-71DCCF93B0CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"318ce0e23163d9469a8c39f8936bf1e49c6f9293","datavalue":{"value":"1423.68274","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192209$FF8DAD38-1C0C-49D6-B413-4FB933D25BF0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ac70a30688929badf5bb8af6abb2e89a62b3e716","datavalue":{"value":"10.1007/978-3-319-08587-6_33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192209$84481232-2188-4DCA-A1C6-BADABAE83C86","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":"Q3192209$58C4ECAF-14F2-4165-A77B-A571124BF607","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":"Q3192209$9699FB62-E5B1-40AF-9858-28178CEABE86","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3085facee3457e7f15d7356906b0165b8709b141","datavalue":{"value":{"entity-type":"item","numeric-id":2817907,"id":"Q2817907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3192209$E6FCD184-2E23-4DCB-B5D7-877596190D50","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7a6fb9003a97bbc70eb568e233ee4457edf484fd","datavalue":{"value":{"time":"+2014-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3192209$B78EE39E-DCAD-445A-84C8-E552065B9D51","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192209$D265FDAD-DB6F-44F7-B783-A34EC0A84063","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192209$3BC2EFCC-924D-4A91-B9A2-52E18EEFF613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192209$38EDE4ED-E938-4207-B78C-59BD2729ED20","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a9b70171d78763f3e5716a52a7013be6eed8b5a","datavalue":{"value":"6348255","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192209$2E5D73A5-F8D9-4059-9CF8-10059F202E1A","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":"Q3192209$DB66C26F-74A0-4573-A206-D45424E43243","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fabbcd93455e2ac0c9be313d86c730853bb98a5","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08587-6_33","type":"string"},"datatype":"url"},"type":"statement","id":"Q3192209$B24810F0-4AE7-4B7D-BFB3-AB3E459016B3","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b5307f3fea66acc2cf0c469881ca2e91347fe60b","datavalue":{"value":"W2278186161","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3192209$37831E38-F8E1-446E-99CC-BA82F534F10A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdaff6e547bfdedc860b6f81ba859f89f90365c4","datavalue":{"value":{"entity-type":"item","numeric-id":682377,"id":"Q682377"},"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":"Q3192209$CB53819A-64C6-4AAD-924E-FB83AA99C5D7","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":"4602d674b5755f0b70bf01e46d83b201a15b008c","datavalue":{"value":{"amount":"+0.8552811145782471","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":"Q3192209$982A6377-9602-450B-BEFA-AA4B4D450E64","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":"a0daeb6781a89695b689c07d496b79c3988a3c6c","datavalue":{"value":{"amount":"+0.8529842495918274","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":"Q3192209$91A3C0C7-C1EA-4409-981C-12984AD9B014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6efdaea7e6667e088715763d554b397b7d49fb83","datavalue":{"value":{"entity-type":"item","numeric-id":2366686,"id":"Q2366686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e5924b31a84effb817b8e109d1cc2aa214579d5d","datavalue":{"value":{"amount":"+0.7826686501502991","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":"Q3192209$DB179434-66EA-462E-8F98-4462A013FD6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e0a727728c823d941a76dd62f43e5f0649aab66c","datavalue":{"value":{"entity-type":"item","numeric-id":1207955,"id":"Q1207955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ba1c2c817206af8ecb1fb3b48c5c20737af87735","datavalue":{"value":{"amount":"+0.7803982496261597","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":"Q3192209$14396A09-1885-400B-A9DD-779CCF7D2C2A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3192209","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3192209"}}}}}