{"entities":{"Q779153":{"pageid":781002,"ns":120,"title":"Item:Q779153","lastrevid":64316094,"modified":"2026-04-11T19:02:45Z","type":"item","id":"Q779153","labels":{"en":{"language":"en","value":"Temporal logic with accessibility temporal relations generated by time states themselves"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7223675"}},"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":"Q779153$DCB022DD-AB82-4354-976F-B2EEBD2CF5F0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2e7b1410437ebb08db1b7e5f8f9286fc67326b61","datavalue":{"value":{"text":"Temporal logic with accessibility temporal relations generated by time states themselves","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q779153$32E114B1-EDAA-4E57-8E48-A66C9F77E055","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e7bd7609f39e2a898ee85594dcf7cec99e78dcff","datavalue":{"value":"1437.03081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779153$FFD1ED85-7557-4E0D-935C-C8AD29A36E02","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e352e5fed1237b3989bd37f56da7d305fcb36e06","datavalue":{"value":{"time":"+2020-07-21T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q779153$7EC424E7-FC64-4AD0-B774-D5215D084227","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779153$9EAACF9C-FA49-47A4-A4D2-10AE68929257","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779153$1118AB5E-C1E1-4707-8BA8-F7E529B183C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"08a14f2b12c85231e24ef2badf7777e043c804d3","datavalue":{"value":"7223675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779153$989D18B2-471C-4303-9847-BD13C1CD990A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q779153$2D7088DF-1C8F-47F3-9C99-5D6D10BA0473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"23c92926836d113aee1a308ad83e72230bf6a493","datavalue":{"value":"non-classical logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q779153$B411D65B-EC3F-486F-B0C1-8EBCCA6C66F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0a84e7851bbfde7825f2a30e6afb99473d2ec7d2","datavalue":{"value":"information","type":"string"},"datatype":"string"},"type":"statement","id":"Q779153$C1898C4A-B83C-48D2-8E9F-1D8F0CA26D47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe99cc33cb0d5ac2e6c3a73729bf23aa7caccf7b","datavalue":{"value":"knowledge representation","type":"string"},"datatype":"string"},"type":"statement","id":"Q779153$A1E31F00-08ED-4350-A98C-B33F159C36A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb8265dbb3afb4423c94a13c98e59893add0a12f","datavalue":{"value":"deciding algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q779153$108E893F-E636-4DC9-A393-A8624F5F5C1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4f2891ec95ee556b0ac2cc2dddee3d77811bd94","datavalue":{"value":"computability","type":"string"},"datatype":"string"},"type":"statement","id":"Q779153$2A4856F3-4038-4193-9B30-B1B31F741934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"252f9f9ed9fe8ca406cc19fba38a46c0414791ee","datavalue":{"value":"satisfiability","type":"string"},"datatype":"string"},"type":"statement","id":"Q779153$D6CC40CD-6860-4427-A4DF-FF9381E52732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q779153$97A1881A-23D6-40F0-B76A-22A2EBD122AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"96cc32b5114aed13d4cd109fe7265b4e5c590084","datavalue":{"value":{"entity-type":"item","numeric-id":1669761,"id":"Q1669761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$86D578E0-51A9-4320-9782-BACCE12919AB","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":"Q779153$195361A2-8C73-4CB9-9D47-4246F7D7CEDD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8dcbb03cfbf93b2206e49d6282fec5dadb78eb69","datavalue":{"value":"https://doi.org/10.33048/semi.2020.17.068","type":"string"},"datatype":"url"},"type":"statement","id":"Q779153$95FB9D45-5947-4F3F-959C-129790AB8527","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"f5a5d5c7ba71570f74ff27149ff5d58182b6bf42","datavalue":{"value":"W3115499460","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779153$758D40A1-B8D9-48C6-A8F2-407957E0C598","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"092d62405ccf45cfd5cf25dd4a0bc605b3b3cd7e","datavalue":{"value":{"entity-type":"item","numeric-id":5929707,"id":"Q5929707"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$5FB4991E-B5B9-4A59-A389-1C8DAC4DAF1B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8f93d6fe2fae1c684c4f3c15ccaafeac2ad027a","datavalue":{"value":{"entity-type":"item","numeric-id":3006112,"id":"Q3006112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$895D8A05-1AD4-4BAD-B1EC-DA648846FB67","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"450ff4101819de0e4417c076932f8fb04360f092","datavalue":{"value":{"entity-type":"item","numeric-id":4079563,"id":"Q4079563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$022A6897-A822-4669-8DF4-DF1CEC61E457","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b13946f1d5a57299c2b772eb839c22d24efd0a83","datavalue":{"value":{"entity-type":"item","numeric-id":4713419,"id":"Q4713419"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$6F7BE0C1-8FE3-4DC1-9199-731FCD4B6FA8","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":"Q779153$DC602FD3-223B-479B-8DA2-DF5ACD8BAD3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e5fe7a89f7f67f2bcf836fe38b4eb4e332645b1","datavalue":{"value":{"entity-type":"item","numeric-id":1919987,"id":"Q1919987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$B8A2464C-58C1-444E-91D8-1F035EB850E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"23c0b751d53100e5622267bb83d21d96dd380202","datavalue":{"value":{"entity-type":"item","numeric-id":4262590,"id":"Q4262590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$79C2C523-403A-4D4D-871C-BF60BBA99613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6882f0ed7644de06377e4e2ae2e5b66a685b7036","datavalue":{"value":{"entity-type":"item","numeric-id":4381867,"id":"Q4381867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$A4C05708-69DA-4CD4-BC91-B0E4C5EAFA1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d9f8ee76829ac067b44618906dbf19aff2ffc3f","datavalue":{"value":{"entity-type":"item","numeric-id":2342802,"id":"Q2342802"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$669B7C0E-808D-4748-A74E-F1523782CF33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc607fbd1fab85d76c416d6e499ba3d2145f78d9","datavalue":{"value":{"entity-type":"item","numeric-id":385070,"id":"Q385070"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$A22CEE12-50A8-4992-B121-DD1563927D2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4781a9e5c0303423493ce7374c1aa23ce6d95b72","datavalue":{"value":{"entity-type":"item","numeric-id":1407585,"id":"Q1407585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$FA4F5778-0C26-4E0D-8799-81E9FCD33E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5fd83c2edaf0d75e016ed7b02b9fc228c8c72b04","datavalue":{"value":{"entity-type":"item","numeric-id":5486245,"id":"Q5486245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$6DEF5DDF-575B-40E4-88F2-085BBDE42737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a46ead12fdf741b8fede0645c88e84f3e7e6ba","datavalue":{"value":{"entity-type":"item","numeric-id":947268,"id":"Q947268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$08F2D7E7-4CF5-4731-A4E9-0BE1AB49B07C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb28d581dcc9296ba68ece0f2cb50f3145b5b770","datavalue":{"value":{"entity-type":"item","numeric-id":833736,"id":"Q833736"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$4DF419BF-B71B-4EF6-BF6E-5A2F6A88A3FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3eed633cf9308c5eb7b77bff69d5658b9a4f78d","datavalue":{"value":{"entity-type":"item","numeric-id":3656763,"id":"Q3656763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$992557F7-99E2-4EE2-AD2D-8D0DDB95B5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de4b8af54d66781b9f226a9ac9a2f5d2a3103868","datavalue":{"value":{"entity-type":"item","numeric-id":3165757,"id":"Q3165757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$5B8E2853-73D3-40E1-8A34-D0B6FC37B309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a43060567729c3a38442ab2692d2a83f6265f17d","datavalue":{"value":{"entity-type":"item","numeric-id":2826032,"id":"Q2826032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$1F808091-F403-44D6-9A26-BA5187D29711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6692fa6c58c234094e2b1efee297af5bdfc3180f","datavalue":{"value":{"entity-type":"item","numeric-id":1694714,"id":"Q1694714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$85C3CAAE-DDCE-40A3-AEFA-7D522C87902E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10973721009083a63e4bf2177d9791308a07db5d","datavalue":{"value":{"entity-type":"item","numeric-id":1617988,"id":"Q1617988"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$2885CF1D-F373-47C7-ADAF-A4B2FEFB7AD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48475ac8ff83267ecccf477bb6c3eaf212e86513","datavalue":{"value":{"entity-type":"item","numeric-id":5214739,"id":"Q5214739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$5376B97E-F3DF-43F7-9587-BDF2D34184AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d98300141bca03a33830ccc9ad88d3708024b58e","datavalue":{"value":{"entity-type":"item","numeric-id":1669762,"id":"Q1669762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$14ECC6CE-9C07-48C3-A16B-D9081DE489DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0289c6fa77473039448151f42fc5a5dd926b9498","datavalue":{"value":{"entity-type":"item","numeric-id":2331127,"id":"Q2331127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$73D733C7-F3D3-4530-B5EF-6006A164C123","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abf9cfbf0be49d783b232834bbc88e62e8fd3462","datavalue":{"value":{"entity-type":"item","numeric-id":3185759,"id":"Q3185759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$0D919DED-0FEA-4DE2-9307-B4472E037A09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47d081c65dcc23d76245cac423037a78ff3d7af6","datavalue":{"value":{"entity-type":"item","numeric-id":791514,"id":"Q791514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$CFEF9E47-1E1C-4D95-966A-AD120ED2C2F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecbc0c3a12971b32d2a5e262ccdf452b1e8ca37d","datavalue":{"value":{"entity-type":"item","numeric-id":4219045,"id":"Q4219045"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$8DCEDBB9-DB6D-49C4-9E73-2DE406A30FFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99d0a14c14f21ea1bfa6613b216b05e06b8a885e","datavalue":{"value":{"entity-type":"item","numeric-id":4532196,"id":"Q4532196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$CD309430-EC48-4CE6-BA4A-5C87FE113B73","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"eeb8a16dc17f613ba80d522da726bf37d108d451","datavalue":{"value":"10.33048/SEMI.2020.17.068","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q779153$837533F6-2F0A-4147-AC7C-F127BE832698","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b799d93c9c23571e42d1b0fdc710b5b584588fc5","datavalue":{"value":{"entity-type":"item","numeric-id":5224174,"id":"Q5224174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q779153$2D4716E3-CC85-4F21-B402-A09384AE1DAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e3a03e0db93fbe38b3179b1de93a98517f567463","datavalue":{"value":{"entity-type":"item","numeric-id":2030777,"id":"Q2030777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3606de558323cabe2ed53bdf8bf56a86c658c6e9","datavalue":{"value":{"amount":"+0.7908234000205994","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":"Q779153$52520E78-B634-440F-9C2D-37EA8B330C9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5d28b87a147de28bc2134ecb2ac2c43a15e3583","datavalue":{"value":{"entity-type":"item","numeric-id":4733377,"id":"Q4733377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6f4e7ed9e4389cd0dcda883e391d2f8ebe23ec8e","datavalue":{"value":{"amount":"+0.7686054706573486","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":"Q779153$48A3EB96-F929-4D55-A702-17B1E03153F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309f995ebfc814203ab1311d6199f66c932e719f","datavalue":{"value":{"entity-type":"item","numeric-id":789895,"id":"Q789895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85b4552562e62de380dc4c1b922da4f60cfab529","datavalue":{"value":{"amount":"+0.7570322751998901","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":"Q779153$D63A978A-FB98-423B-9D08-3F28E7D0AB07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ab810bd1a8933f4f5c9739d7972f05526bbac2","datavalue":{"value":{"entity-type":"item","numeric-id":4532196,"id":"Q4532196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15e2d44337f26f5e687cbc981f74cd7744dc4409","datavalue":{"value":{"amount":"+0.7483198046684265","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":"Q779153$4ABDC852-1A23-423B-A38E-CFD72F803798","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"592765424e6503741bb123017c96976915414633","datavalue":{"value":{"entity-type":"item","numeric-id":3812208,"id":"Q3812208"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"96bb5edb7ea9f2fc9caf81c3728c8540547618ba","datavalue":{"value":{"amount":"+0.7483192682266235","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":"Q779153$268FF9C2-62F3-4910-B416-D8FEB1FD65DF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Temporal logic with accessibility temporal relations generated by time states themselves","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Temporal_logic_with_accessibility_temporal_relations_generated_by_time_states_themselves"}}}}}