{"entities":{"Q859839":{"pageid":861687,"ns":120,"title":"Item:Q859839","lastrevid":64890543,"modified":"2026-04-11T22:54:43Z","type":"item","id":"Q859839","labels":{"en":{"language":"en","value":"Invariance under stuttering in a temporal logic of actions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5117652"}},"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":"Q859839$E8510F07-2ACA-44A3-A946-E0EED5B81EB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d3f4ca47eaf66aa44e52e816636037715096c2ee","datavalue":{"value":{"text":"Invariance under stuttering in a temporal logic of actions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q859839$92A2D285-2EB4-45AC-8D16-78C6C7F9C839","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"25336625a9f49cc6190cd9dbbb7e7f38d8de25f1","datavalue":{"value":"1171.68549","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859839$1AF52215-0D41-4348-8F27-F52200EA4EA8","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cbf639b300d72e78610ef679f5196c1e753facf","datavalue":{"value":{"entity-type":"item","numeric-id":332085,"id":"Q332085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$A64BF3CF-C524-4A33-80DB-76F0F2C1BC95","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$08EB9024-A215-479B-8B84-9115A6E93CE3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"8717bd621ac828fb200d97d6d2f52c061cac920b","datavalue":{"value":{"time":"+2007-01-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":"Q859839$97EB0270-8D68-48FC-89A2-E7BD73D45D9E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859839$A60FB7DD-290D-4217-AB69-C5F1ED3436ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859839$2E7241B6-8B88-46AA-A594-0B6F9856314F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"145c8b53d9616ae2af23888fe4829dbc2db169b0","datavalue":{"value":"5117652","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859839$0BC92B14-8B2E-40D7-9ADB-80BB990389EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06724a773904c4661c141536901a259bd363379d","datavalue":{"value":"temporal logic of actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q859839$6787D852-CC16-431E-8ED6-9123549A89B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a86183f440d4ee623525d09f09efd4199f022e07","datavalue":{"value":"temporal interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q859839$AFD0129B-D479-4CEA-9AA2-D8481EEE4B3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f96e187de74041b89c9f876b8819e3035b062b7","datavalue":{"value":"invariance under stuttering","type":"string"},"datatype":"string"},"type":"statement","id":"Q859839$3A0673E1-D54B-406B-A95B-619FA1B65E7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe44d9822c33115a96a928b36a73eb34ae28f964","datavalue":{"value":"Ehrenfeucht--Fra\u00efss\u00e9 games","type":"string"},"datatype":"string"},"type":"statement","id":"Q859839$FEF88390-316E-498B-BB2D-DE82BB6ED547","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":"Q859839$374D722C-6774-42C6-8D66-424FDD01F83E","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1138149c18ef96abc148644988a89cbdff7b5181","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2006.06.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q859839$E58C3A58-4CAC-4EB4-93B2-F29BB6286F73","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"103cc859596cc01779aca4cc3b4de9b8615892c3","datavalue":{"value":"W1994112979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859839$B7B7CDC2-60AB-4A9B-A3E4-97697E81BD3B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$9937A100-02BC-4641-AFD2-2E1EDF55B81C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21ba3964561c6339cb3ba43543aed014dc7a60d0","datavalue":{"value":{"entity-type":"item","numeric-id":1123183,"id":"Q1123183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$55A4B09D-EC46-4626-A545-1A3643D53378","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$C65A413F-8D30-4298-8553-31D5C1850B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3489024180659bac95ec49539c2b227b6dbcc5f7","datavalue":{"value":{"entity-type":"item","numeric-id":4779589,"id":"Q4779589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$C1DFDE58-CE9D-4D72-9394-F5DAAD614BA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a799a37d06aed9fd253638bccf88acff400670","datavalue":{"value":{"entity-type":"item","numeric-id":1854353,"id":"Q1854353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$85D6FB54-74A3-49B7-87E4-D240CDDBE797","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"adb7d5ef3eb356038217081da936504becb73708","datavalue":{"value":{"entity-type":"item","numeric-id":3230355,"id":"Q3230355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$2745EC1D-0A99-4CAA-8470-EDB29E33603F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97a935d8a6d38fa08406cc5caf1b9ac2a739c373","datavalue":{"value":{"entity-type":"item","numeric-id":5586197,"id":"Q5586197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$16098134-E527-4C17-86F8-46210B9F13FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e85f3b2c6fd462f50318a3cbee9f4fc649882604","datavalue":{"value":{"entity-type":"item","numeric-id":4493899,"id":"Q4493899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$C79195D7-2D3A-4FF1-B4AF-708EA755D35C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"857799d8f0c80d23f1693fb90d554f48eb5bb5a0","datavalue":{"value":{"entity-type":"item","numeric-id":290250,"id":"Q290250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q859839$1A7FF847-CBCD-46EE-BCFE-38BB9F5DA7A9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"04bdd281df3b39ca6cbde3e75eea68afa42ea136","datavalue":{"value":"10.1016/J.TCS.2006.06.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q859839$9A0C8DF8-E320-4524-8AB2-8A059AEE69C8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"60baecb7c104226221dfca818834f8544400a737","datavalue":{"value":{"entity-type":"item","numeric-id":5450115,"id":"Q5450115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"50e9e33cf51abf41a2964147a0d60eeeac634eed","datavalue":{"value":{"amount":"+0.9112237691879272","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":"Q859839$C6DC76BF-F01F-49DF-92EF-6AC9DC78A287","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"209d6662c08dd3f302fe8a715778a3167d2124b7","datavalue":{"value":{"entity-type":"item","numeric-id":4779589,"id":"Q4779589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9bce8cbaa66e29b9e1a65f6dbb67ce60af9e1838","datavalue":{"value":{"amount":"+0.8535870909690857","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":"Q859839$F6409C2B-5FC9-4AC2-8D14-05257F456A2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2ae43f359d587f7750196002de06e121a5c3a907","datavalue":{"value":{"entity-type":"item","numeric-id":4493899,"id":"Q4493899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411d976b52cfd2e7e166d37590f1d70cdaee9db1","datavalue":{"value":{"amount":"+0.8214052319526672","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":"Q859839$1DA1D5D6-B48A-4C8A-ACD7-5CC050946866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c0d12e519a9eebe8e958ccfda95a7aac27d5398c","datavalue":{"value":{"entity-type":"item","numeric-id":4817547,"id":"Q4817547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5fe1848a37d231bad8d7e7714660a7da2a3c0f89","datavalue":{"value":{"amount":"+0.7926225066184998","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":"Q859839$CA3D28AA-6932-4A02-B660-E9029DB60EB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25a15e0ad55a1220d4f1841234ac51561e86f158","datavalue":{"value":{"entity-type":"item","numeric-id":1423532,"id":"Q1423532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4c901a0e0bcdd7fa4ae351d540ad37bc5f98189","datavalue":{"value":{"amount":"+0.7755143642425537","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":"Q859839$E0F2B5F7-5E4D-4F17-866A-48CDDA77547D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariance under stuttering in a temporal logic of actions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariance_under_stuttering_in_a_temporal_logic_of_actions"}}}}}