{"entities":{"Q2447179":{"pageid":2457922,"ns":120,"title":"Item:Q2447179","lastrevid":74277639,"modified":"2026-04-14T19:18:59Z","type":"item","id":"Q2447179","labels":{"en":{"language":"en","value":"A propositional linear time logic with time flow isomorphic to \\(\\omega^2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6287933"}},"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":"Q2447179$676F767E-77F3-4EC1-982E-37D5E954F0AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a1d9b2788d85e2302b96ce0345cf92c69b4c83ea","datavalue":{"value":{"text":"A propositional linear time logic with time flow isomorphic to \\(\\omega^2\\)","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2447179$21021327-9C17-44E7-9771-96B0EEAEEFED","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"78a7bbaf3ae35bf42f221d66e946a52a8b5f9048","datavalue":{"value":"1328.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447179$F281A812-7C8C-4222-B21D-198BBDB85F2A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"243fa58401b31cb4d26112d8c1eb628c5571af23","datavalue":{"value":{"entity-type":"item","numeric-id":1757157,"id":"Q1757157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$FB7E8FE2-9EA9-406C-8057-373AC4FF3DE4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5417c9d5a8d8b91df0e65b2ef01613f52beebd6a","datavalue":{"value":{"entity-type":"item","numeric-id":465580,"id":"Q465580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$23D5306E-5DAD-4F1B-94D2-89E055DA772D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e0bda7cdf92664a4bee0c3f7686e4c4dfbc6bfe","datavalue":{"value":{"entity-type":"item","numeric-id":991001,"id":"Q991001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$C4620F43-8E53-48E4-A13E-BBF0E38AF605","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c95639eea9749b2381c312d72fb0dced146c214e","datavalue":{"value":{"entity-type":"item","numeric-id":465581,"id":"Q465581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$D673B24E-7A42-4DAE-A496-6A1B1E229D38","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fd9c858b64e538228c66f00c768fd1506ee71010","datavalue":{"value":{"entity-type":"item","numeric-id":124852,"id":"Q124852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$2D0762F7-8BE9-4A3E-ABC8-2EC5A07075B1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f948fd99d5076165c83d676414494f03dfc11c9d","datavalue":{"value":{"time":"+2014-04-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":"Q2447179$E7A50A70-68A9-4E08-968D-06702AF588FA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c9ef49085cd2c29f822dbb7bc1763c72480b90e","datavalue":{"value":"https://arxiv.org/abs/1309.0829","type":"string"},"datatype":"url"},"type":"statement","id":"Q2447179$E9A3F1D6-B808-4161-91B5-510C441DBF98","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447179$C03B7699-811C-4D43-8EBE-D200AD7C1FEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447179$E97F95D9-2C66-4C1E-B0D3-00F9D8BBFA44","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"acc66790de7b8b07cdd716051180bc71364bd804","datavalue":{"value":"6287933","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447179$93430B96-D78F-4B6F-B3D0-DE2A19D2299D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447179$70A0A27A-F7FD-48D8-8EFF-C9DB6D90E052","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22e80fad7fd2a976d8595c9c2674ded4cdfe68fd","datavalue":{"value":"zero-time transitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447179$E6FD5297-7FF2-4915-B7DF-359098BE1574","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c4978f2c4d263ef258ed0ffc576a325d510c4d8","datavalue":{"value":"axiomatization","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447179$C42FE031-36A6-4AB8-90FA-4D778D91C16B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fd90b10c86bcd3a1ea00e5a723ecbd3727c10897","datavalue":{"value":"strong completeness","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447179$9DA67CC6-B3A1-4617-95E3-029DF0B67969","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q2447179$B456808B-BFB3-420B-AB76-CB7CD89A65A3","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":"Q2447179$AAAEBFEF-48D4-4E40-A982-4237DC0FAADA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f26117ac5e38b954f9358b9e39b2bfefa6264a9c","datavalue":{"value":"W3106321783","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447179$694F2C8E-E5B4-48EC-9DBC-13DF93A88F57","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8973abb951181b5865d7e8e53e525f0e4b9b6f41","datavalue":{"value":{"entity-type":"item","numeric-id":4075450,"id":"Q4075450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$13BFA316-55C7-4F43-9358-12835F2B55FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ef4165cdc01f313b12040c9657a14ef341fa2d9","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$15F78B62-493D-4235-BF3F-EC197B468094","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"72ce5aa56258788dfb3777204e4d711600da6de7","datavalue":{"value":{"entity-type":"item","numeric-id":3856738,"id":"Q3856738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$DF771950-69A6-4231-898E-493EE746B395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f65004c290e3f0ea315a4c52f604a40c6749f75","datavalue":{"value":{"entity-type":"item","numeric-id":1155599,"id":"Q1155599"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$94A7D11B-C09D-4104-B814-D175A92E7708","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dea1d8a229c54b15541be0fbaacfaaec5d75bf76","datavalue":{"value":{"entity-type":"item","numeric-id":1148308,"id":"Q1148308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$8B115BCB-5EA8-486E-9D7B-C1D561A29E8D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"409217ce1647c2ba67189b9324c5e54d65cf0dda","datavalue":{"value":{"entity-type":"item","numeric-id":4342094,"id":"Q4342094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$D84D65E4-196C-4C1A-9DD4-CB27A7C545E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d2eef12ac82849512880f883037a4ed73f951af","datavalue":{"value":{"entity-type":"item","numeric-id":3426789,"id":"Q3426789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$41D10B4A-A70E-49EF-8137-0741F3F11D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e9d91b6eec04b5c1e71242b2ece0bfccd69fe08c","datavalue":{"value":{"entity-type":"item","numeric-id":3081444,"id":"Q3081444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$C2A5DEB7-6B0B-4E50-ACC1-318F8D7E6F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05526e0b2bde4731559c71c12fdf9eda58a51464","datavalue":{"value":{"entity-type":"item","numeric-id":4929426,"id":"Q4929426"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$74AB7514-70EE-4DAE-93EC-6F7E180F65EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$D3DAFA82-49A7-449A-B43D-63B3BAB40081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a49c18731429c6e6e01fb66b974721ad0aeac5f","datavalue":{"value":{"entity-type":"item","numeric-id":1051419,"id":"Q1051419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$AA21D958-DEF9-47AC-9295-D9FDD39BF190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3cd835cd92b4ffb8a8dc9181c7068cd47877b025","datavalue":{"value":{"entity-type":"item","numeric-id":2265816,"id":"Q2265816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$627097E6-6B91-4A1B-9340-47EE8877576A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2c89b7fda5390f42e0f304a859cb2cf862b0eab0","datavalue":{"value":{"entity-type":"item","numeric-id":3721807,"id":"Q3721807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$E4FB3E1D-9CCC-43F2-BC6B-BE083740EB63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9f21257d8b20ccfecd3db595afbc8b2e1a0a737","datavalue":{"value":{"entity-type":"item","numeric-id":3835817,"id":"Q3835817"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$7CA4D57B-4F54-4681-84C4-73952E23F707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"823800dc6b68f86d53e7e9cc3be67495662aba4b","datavalue":{"value":{"entity-type":"item","numeric-id":1854267,"id":"Q1854267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$DEEF6DFD-0F0D-4C57-8FE0-8D28AD5E8F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e53d9e53c3c574e8c7675f6ec5036e8ca0ad199b","datavalue":{"value":{"entity-type":"item","numeric-id":1343864,"id":"Q1343864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$93FC4770-5A53-4736-A467-E6EA69C8C257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4c9a168cfecebbdce77004f3cafd3d6265c7163","datavalue":{"value":{"entity-type":"item","numeric-id":3674620,"id":"Q3674620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$C951D4B0-8E39-4F6C-BF7D-43056A8C898E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e8e82940fe0cfd6742dc0f9927cb999c30236c2","datavalue":{"value":{"entity-type":"item","numeric-id":5477458,"id":"Q5477458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$4F4CDA66-1DDB-4D53-B644-25DC82CC8AD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35e807ca0d12053bab51b75bb8a7e28c523159aa","datavalue":{"value":{"entity-type":"item","numeric-id":3246315,"id":"Q3246315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$90DB79B7-2F13-4F61-9E1B-FA43F6AFAD3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6440aa6eb5d414713f792f7d809d5508c4bdc0ba","datavalue":{"value":{"entity-type":"item","numeric-id":2758043,"id":"Q2758043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$C14D6843-081E-45F7-BD8A-8F7A04C2C1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d6ee8482439db0c1b60415d5abcf524a3b838fa","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2447179$7DFB1214-9B04-48CA-828E-94A0EE904F7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fce756518f402dff99025aec9c8ea1c35b61f7ff","datavalue":{"value":"10.1016/J.JAL.2014.03.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2447179$8FE50E94-E1A8-4A0D-A6C9-BE2A990D45A3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ce80263bac2b4bdecf2005119948986e1263482","datavalue":{"value":{"entity-type":"item","numeric-id":2865739,"id":"Q2865739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dfcbb9bab6e92d9f9cd6414ac0475e5cfb806ffd","datavalue":{"value":{"amount":"+0.9075226","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":"Q2447179$62B61BEF-F1CF-4931-B2A9-899226F0D90D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a45ee6945a12aafc901eda8407f297c7cd46e92","datavalue":{"value":{"entity-type":"item","numeric-id":4699305,"id":"Q4699305"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fe8180ec0cc948a5ffc905a923f79c20d0938aa2","datavalue":{"value":{"amount":"+0.893913","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":"Q2447179$7C9D6409-3EFA-48A5-84AD-EB2903C245C0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"808970fdcdd100f78bc7a745530c1d015ec895af","datavalue":{"value":{"entity-type":"item","numeric-id":3769957,"id":"Q3769957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"be7e4d632250b3b9556afe22b4d0ce69c656e719","datavalue":{"value":{"amount":"+0.88502556","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":"Q2447179$9BCD286C-BECC-4733-BC5A-31E6E146E4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ff3f7ba8827e2c2822488ec6ab8d6157556f285a","datavalue":{"value":{"entity-type":"item","numeric-id":4501157,"id":"Q4501157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e59b55bf835bd7dbe84fa813c0e9a497eab90814","datavalue":{"value":{"amount":"+0.88351613","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":"Q2447179$710450E9-CC29-4F26-A121-303DE9A86DF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49362bb729c585498bb2f70ad707fb98a2e3adc6","datavalue":{"value":{"entity-type":"item","numeric-id":5044765,"id":"Q5044765"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aa21cf63f651ac7a9d884bc4e26560c03f2b0e58","datavalue":{"value":{"amount":"+0.8832882","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":"Q2447179$1A2AEB33-A3DF-4C98-A168-460361877D6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"780549fdf9d02a1bd45c1951154a81aa837439e9","datavalue":{"value":{"entity-type":"item","numeric-id":2908502,"id":"Q2908502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c67adddfd1da3488d22002cc3739e72ee1a061dc","datavalue":{"value":{"amount":"+0.8782427","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":"Q2447179$EB928864-428D-43D1-99C9-11289000C7BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26f18a6381eaad99e3a6f3eda8492b1e2e3554a3","datavalue":{"value":{"entity-type":"item","numeric-id":2454548,"id":"Q2454548"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b772d28cecd1f6edf390a006b11dc498787a5307","datavalue":{"value":{"amount":"+0.8769065","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":"Q2447179$506AAB10-108E-48C4-A1BB-74E61AE09436","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28cce3de0989a7cb3d96e085e2b47481c4b37f62","datavalue":{"value":{"entity-type":"item","numeric-id":3084992,"id":"Q3084992"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e7dd329edc5d0d6b0c19776bedf2fd6af851885d","datavalue":{"value":{"amount":"+0.87595046","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":"Q2447179$CEE58C98-ED97-4850-AB01-721A8159BDF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95a9ba5e94655a498d66739a2d094514842c1d6b","datavalue":{"value":{"entity-type":"item","numeric-id":2767162,"id":"Q2767162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"527c05f88d2edc3b4af995bbf23b48247281b09c","datavalue":{"value":{"amount":"+0.87573564","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":"Q2447179$52699AD8-C1DE-443C-93D0-D3CCD7C1F10C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"faf473c9db566695247ab3f0587faa9d503c8c5d","datavalue":{"value":{"entity-type":"item","numeric-id":1102941,"id":"Q1102941"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fc0fe29f0453d37a2fb24bf048f6ab6ba9ccbd2","datavalue":{"value":{"amount":"+0.8740138","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":"Q2447179$8A111811-41A1-4CE3-BCAD-621B102BEBED","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A propositional linear time logic with time flow isomorphic to \\(\\omega^2\\)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_propositional_linear_time_logic_with_time_flow_isomorphic_to_%5C(%5Comega%5E2%5C)"}}}}}