{"entities":{"Q2117656":{"pageid":2128399,"ns":120,"title":"Item:Q2117656","lastrevid":43521883,"modified":"2025-07-30T14:00:52Z","type":"item","id":"Q2117656","labels":{"en":{"language":"en","value":"Back to the future: a fresh look at linear temporal logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7495100"}},"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":"Q2117656$E786B019-B1CA-4E09-8F63-E2833B545386","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e5103fc0482503d7796d2de3080532bcc4806bdf","datavalue":{"value":{"text":"Back to the future: a fresh look at linear temporal logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2117656$67E28EB7-F8AD-48DA-8004-BBB35D4A5ED4","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9b2ea9aa438878be9ac005e55d4ea3b8d10ef442","datavalue":{"value":"10.1007/978-3-030-79121-6_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117656$200FE35A-9826-44E3-B51F-BA9E9CBD3998","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e47b8a1818346ce22bd45f99ec3c619fd43a6a3","datavalue":{"value":{"entity-type":"item","numeric-id":264200,"id":"Q264200"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$2E186C09-224B-480D-AD35-FE8951E72C1C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"39b1515277af1c7c28c7fc6f6f97d2379899717d","datavalue":{"value":{"time":"+2022-03-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":"Q2117656$07C78712-F15A-4BAA-B7A4-95D3BA09B0F8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117656$40CD8B65-156A-443A-BA27-6B5B11EC6D44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abd066604574f7d3ed0f786cc41869a417442dc8","datavalue":{"value":"7495100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117656$8B736E25-FA0B-47F6-A0D3-740AA5A7C394","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f1cf12c900aeb5813ce8f84db8812e6bb27ae87","datavalue":{"value":"linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117656$B7A1C669-2B45-42B2-9B46-D810E7F13A57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d8c5518bc60aba0bcd6e12bdb3fa283d12b2436","datavalue":{"value":"\\( \\omega \\)-automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117656$C9E216EF-C408-4C4A-B5D8-92E82E89C05C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb4d1af95699ef062cce80ecbcf1e1484586450","datavalue":{"value":"formal verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q2117656$74941135-CFC4-43E7-A41D-6F387A0B2B1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c4fba667a1d42e5cab7404ffebbd6434ecd907e","datavalue":{"value":{"entity-type":"item","numeric-id":45131,"id":"Q45131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$1B84B26D-3075-4EBC-9CFA-388CE810115B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"42933d7d062dbf1ed1777664d7e2dcd6c0f9efbc","datavalue":{"value":{"entity-type":"item","numeric-id":5204340,"id":"Q5204340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$D2040B91-E8C7-4967-8051-16BD34E4B6FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6842708af3ba668ba7733b8a4a47ecc006344b9","datavalue":{"value":{"entity-type":"item","numeric-id":4572078,"id":"Q4572078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$02AEDDDC-E050-42F1-AB62-ACEDA09DEDDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c71ee253892b177799592f03938a61eb6c7732cc","datavalue":{"value":{"entity-type":"item","numeric-id":4369884,"id":"Q4369884"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$13A267AF-CC25-4165-9B76-B9623EE4841F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34b6e61168db1a4074b0ea52777a6c9cad1a4a50","datavalue":{"value":{"entity-type":"item","numeric-id":2363815,"id":"Q2363815"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$C5AFE424-1D9E-4BF3-BCCE-6150D03F470C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"618c35694b758a9839ac566e69a497bebcf10591","datavalue":{"value":{"entity-type":"item","numeric-id":5145312,"id":"Q5145312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$91FAFF50-99F8-419D-A50F-0B2EAB770A54","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7df88f3920bd528953a89800bb01de2ad68ccbc9","datavalue":{"value":{"entity-type":"item","numeric-id":4649288,"id":"Q4649288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$C83004BF-70FD-4DC8-A147-60A5BDE83812","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"370bcc1804636e81ced9f88785c3fe9081219375","datavalue":{"value":{"entity-type":"item","numeric-id":860862,"id":"Q860862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$C8FA1861-9D1C-44CC-9930-B5103321B5F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af7709ed700ae454081ce9b4a28a22d24dd33b13","datavalue":{"value":{"entity-type":"item","numeric-id":3503894,"id":"Q3503894"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$36B26A6C-64B8-45FC-880F-686870A46A1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f845e87d01fb9e974497b759d6bc381ae5e4471","datavalue":{"value":{"entity-type":"item","numeric-id":5166706,"id":"Q5166706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$94B34178-BB3D-4B8F-BA52-F1D487C7F207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f6d04c5f4ad33f5228976d2d495af9a574068a0c","datavalue":{"value":{"entity-type":"item","numeric-id":6109606,"id":"Q6109606"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$E35BB1AB-4964-4C69-8B61-E9150E8EC6B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a905ba949a06cde66174f0d589d9794d6c05423","datavalue":{"value":{"entity-type":"item","numeric-id":3711745,"id":"Q3711745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$9F1F8433-5CD5-4CB7-A676-79430D322B00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53a6fb179be4f0deb772b6a4020e8dd61c6e66ac","datavalue":{"value":{"entity-type":"item","numeric-id":2303871,"id":"Q2303871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$63FF8DBA-158C-4E88-A1D3-A4F2C6DCA486","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89e49da6f69a533cb995e5fb0e07b947527ac39","datavalue":{"value":{"entity-type":"item","numeric-id":3587258,"id":"Q3587258"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$E8EA7C12-B813-4C29-8B4A-BBEB198EBBFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a2b1afdfd50f7f4404e431384ee3957a9cf5c28","datavalue":{"value":{"entity-type":"item","numeric-id":1176248,"id":"Q1176248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$46C4234E-11C4-4F0D-B549-CB141D6BD27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"007b3bdccae716a59e9fcd68043221be3f0adcfc","datavalue":{"value":{"entity-type":"item","numeric-id":3587259,"id":"Q3587259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$43A8499D-CB45-4A64-BDCF-7594A80B276A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6a06f4c4197e594020d602c717ac1e1130aca08b","datavalue":{"value":{"entity-type":"item","numeric-id":5897680,"id":"Q5897680"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$95A362EE-A613-43BC-9979-B97B55D792E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$16CABB1A-A6D0-469A-9F2C-98FD90A326ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0100b938aa02592e3dcec5a016d883a9d79cc50a","datavalue":{"value":{"entity-type":"item","numeric-id":4205072,"id":"Q4205072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$6E92A567-1F10-4A4A-AE8B-481F5F40B205","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e00dd24e8cb21280e88534b735acd3d1514a7300","datavalue":{"value":{"entity-type":"item","numeric-id":5145684,"id":"Q5145684"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$E4988F0C-E166-4E0B-B7E4-DDD12AAE7EBC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65fe471308125d65582632b7b24e6589f89c33d6","datavalue":{"value":{"entity-type":"item","numeric-id":1090675,"id":"Q1090675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$4829214E-CD11-44E6-9B8F-22770093B172","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bb14764ca4f795a410ecff4a15a27cd8a8364134","datavalue":{"value":{"entity-type":"item","numeric-id":45131,"id":"Q45131"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$A94F872D-495C-4C56-A772-8B3206E8F5D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"531a52a4ab12ab6e2b5be84834036762ed677445","datavalue":{"value":{"entity-type":"item","numeric-id":13928,"id":"Q13928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$46BA7B07-882D-4563-8EAE-29F001E62BE5","rank":"normal"},{"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":"Q2117656$6D0A7C15-B5AC-4044-8759-C5B63C555302","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a85031fb0713ae5c27d157a52cfd6a0c9a84230","datavalue":{"value":{"entity-type":"item","numeric-id":5972836,"id":"Q5972836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$8F1ED106-FCF4-40D5-9A53-A85494E97315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c2d71b555d0fc422dfe27ba710278d9a7fb7a533","datavalue":{"value":{"entity-type":"item","numeric-id":32821,"id":"Q32821"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$0944BE41-BCDB-4202-BE9A-4FD34783D2A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2874d0d21c4a472cc12bb083d0e69926f1e2ac02","datavalue":{"value":{"entity-type":"item","numeric-id":5972362,"id":"Q5972362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2117656$EBA3F3F1-576D-4E18-B4B8-DE13F7C55D1E","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":"Q2117656$DB4F7D6E-6EF7-428A-8189-E871596236F8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"da5039ad93b6266a8b62341f0bb314aac0c7c341","datavalue":{"value":"https://doi.org/10.1007/978-3-030-79121-6_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2117656$A2AD7BDB-B75B-49F5-9848-B6AF8370F9D7","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a267848b7bdb7a91df2fcb167c35a633bca6b3cb","datavalue":{"value":"W3173305027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2117656$DAF628DD-0ADE-4C28-BC39-69E493278B17","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2117656","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2117656"}}}}}