{"entities":{"Q2920121":{"pageid":2930841,"ns":120,"title":"Item:Q2920121","lastrevid":42500922,"modified":"2025-06-30T14:37:41Z","type":"item","id":"Q2920121","labels":{"en":{"language":"en","value":"Automata and temporal logic over arbitrary linear time"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6098222"}},"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":"Q2920121$C2F38A88-88A4-4275-B90E-46B03B57980C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c87b5a3d47087fa0d12d582a40929e8d6755c6c5","datavalue":{"value":"1248.68293","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920121$92B0B9E4-937A-47DD-829C-C63E73A551C6","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5b7e81db5e9fbeb079b8d689d040cd94f90bd673","datavalue":{"value":{"entity-type":"item","numeric-id":2920120,"id":"Q2920120"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920121$27B8F7E8-FE4F-4037-90A1-71DDAA1A0284","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6ee92d50481ed05c06549abf63f6ece88b90dd74","datavalue":{"value":{"time":"+2012-10-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":"Q2920121$869C9F51-5D27-44E4-9A14-5F9CBBC4DB14","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"05e3b07658857764e293381f2b90c43fd3b9fbdb","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_32b3.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q2920121$4D4A8DA5-43E8-46FE-9F58-D2960EACF54D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920121$9DC25350-E113-4873-92A3-0A1A879C1781","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c270fb88a62fde738bd530246c5ba57a005a4efd","datavalue":{"value":"03D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920121$631987D3-D941-4DAF-A4E5-A751CA1B27D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920121$7ABF4450-B06D-40F7-8E97-C9905CAB3935","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e009708f2cf08abf5b4873b6a2ed4723410edbc2","datavalue":{"value":"6098222","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920121$9DF6B78B-B100-4607-A2FF-DA9B46303655","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920121$BEFEEAAB-47C1-40AF-A3D8-719D0151FA1E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ee4d3b893c84524f731854a992aef708a35a810","datavalue":{"value":"linear orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920121$FAA3BCC8-5603-4268-8E41-7BEF542467DC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dae07fe120276ee4c21c2b056394433e1dd18622","datavalue":{"value":"automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2920121$C2300058-4FE0-4F98-B9D0-5ADDD50E1816","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2920121$0BA60844-CDA1-4C0A-B55C-1D6975EAB89B","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":"Q2920121$2ED1FB56-977B-467D-A510-D5A51C056F0D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d1ccf676bd7988b1e65ac49a33b6b1e399fc8819","datavalue":{"value":"10.4230/LIPICS.FSTTCS.2009.2313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2920121$5D47D2C4-A040-42BE-A832-540E82BFB5A7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"813708190e215a58a1cbf823d748ee65352b3d9b","datavalue":{"value":{"entity-type":"item","numeric-id":4028163,"id":"Q4028163"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a532fe823191ebc20a749642802ed233de96c721","datavalue":{"value":{"amount":"+0.93102974","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920121$DD0D4499-BFA9-4B42-84FF-BBC4BE28504B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8aa8bcf4a6e5e5c47d8f56333094c825f8422521","datavalue":{"value":{"entity-type":"item","numeric-id":3739111,"id":"Q3739111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d9cbe60e4cbca6a6c65e5922d6b2de16a3f2529","datavalue":{"value":{"amount":"+0.927102","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920121$A124D7DC-B72F-47BF-88EA-98C06AFE0D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"301ddc2298731a8a016fbbc12e07b891a3c36891","datavalue":{"value":{"entity-type":"item","numeric-id":3628607,"id":"Q3628607"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"419aab9a7a1a1c7f260c65d7231113ebf40ac6f9","datavalue":{"value":{"amount":"+0.9227501","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920121$045180EC-C191-475D-83C9-441B3852528D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf3713ab19c69ba72c4fa21353c1dab30c48e96b","datavalue":{"value":{"entity-type":"item","numeric-id":1608937,"id":"Q1608937"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"05c9b74cfd784cf83259629f2cf5fb8be2bef732","datavalue":{"value":{"amount":"+0.91278565","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920121$69F301B7-D6F1-4450-A928-41A86B3A4CAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"43bbeb0469e8ff83022992506ae6dbd94d9cec72","datavalue":{"value":{"entity-type":"item","numeric-id":1322162,"id":"Q1322162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c6da23422bf2e71d25a32d981e6ab458e3695ce6","datavalue":{"value":{"amount":"+0.912314","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920121$4209BED4-D941-4D30-99AB-CE18000FDEDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f6e37e5d60cc234557cc37febbd6c437897cfa75","datavalue":{"value":{"entity-type":"item","numeric-id":5712294,"id":"Q5712294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7bccc3962c17429a7abe7bd3d9f4312fd59bfea5","datavalue":{"value":{"amount":"+0.9095211","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920121$BE57C206-12B1-49E6-8C27-BB50FA370EFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07b80bf534db2061dbb1a2fea6dcdbdedc5cf1ac","datavalue":{"value":{"entity-type":"item","numeric-id":4669652,"id":"Q4669652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dc382629757ce538608ef3beb82c971000397ee1","datavalue":{"value":{"amount":"+0.90545547","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920121$C4E5FDC2-80CF-4210-B5D4-F3003E084AFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"586e244c0177497a29fc0de320a03965e35c6c8f","datavalue":{"value":{"entity-type":"item","numeric-id":5215449,"id":"Q5215449"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c014e322c71df8ba4c0e158695228fff4dd031bc","datavalue":{"value":{"amount":"+0.9018634","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920121$EF25843C-2C9E-4230-BC9B-8856F7E65303","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6bc979a364ab460f2912f6c7a1529f33ac20efb","datavalue":{"value":{"entity-type":"item","numeric-id":1399970,"id":"Q1399970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bd0a40e5d3c5872aa29720e345c4db2344abbcb6","datavalue":{"value":{"amount":"+0.9006908","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920121$24E2A256-620B-431C-97E6-6ACE599C7D72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7ccfd046a92a4ddabb1864ef0107d9abff346ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4472451,"id":"Q4472451"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"db6d7068a349ff8aedb4240584896bbfd663b7da","datavalue":{"value":{"amount":"+0.9000913","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q2920121$51724FA4-5474-407B-8F98-CE1DAE8CB423","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9983174dfcb0e38119fadc46956d9a57bb4bd98a","datavalue":{"value":{"text":"Automata and temporal logic over arbitrary linear time","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2920121$1C938563-E44E-40BD-93F0-D73A8FE862E8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2920121","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2920121"}}}}}