{"entities":{"Q294841":{"pageid":296608,"ns":120,"title":"Item:Q294841","lastrevid":60716982,"modified":"2026-04-10T18:42:00Z","type":"item","id":"Q294841","labels":{"en":{"language":"en","value":"A note on a question of Peled and Wilke regarding stutter-invariant LTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6594135"}},"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":"Q294841$91039894-67F6-4571-9E0E-E8F410FADF21","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cb1d9adb308ebc4f956f2b9db45891b75ac0e2c3","datavalue":{"value":{"text":"A note on a question of Peled and Wilke regarding stutter-invariant LTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q294841$80019C09-62C8-40E6-B866-DBE74C4D5307","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"02642745f10da344a34108f651500e4defc3e928","datavalue":{"value":"1339.68166","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294841$20F23AF2-7426-4F61-8302-D9AD7DCC4E7C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c1ed35961a4489bf18c7bbffed76ea4a88fa0a5a","datavalue":{"value":"10.1016/S0020-0190(00)00113-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294841$77F6F52C-00E3-4D68-A0B2-73AEC39165BF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2680b29e301ca65d036ea477d294af6c3aa1eaf5","datavalue":{"value":{"entity-type":"item","numeric-id":294840,"id":"Q294840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294841$03FE714B-593D-4F72-8BC2-6883A5E5CEE2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294841$202B0259-3769-4BF4-97A1-97BB32F194B7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b32ada740abbb03089ab30647d244c2741fb6e33","datavalue":{"value":{"time":"+2016-06-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q294841$ADC1E9CC-2EA7-4DDE-B537-13FE243AF873","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"11c138a7e31213806136d93879f7dafeef63ae21","datavalue":{"value":"http://www.sciencedirect.com/science/article/pii/S0020019000001137?np=y","type":"string"},"datatype":"url"},"type":"statement","id":"Q294841$91539B42-25E5-45B7-AF24-AF6409231B62","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294841$46C9B2A1-F6ED-4DCE-BF0F-09DD37E3E0C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294841$E25435E8-DB1C-4EA8-B956-122BBA5B2712","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"159a33b60898de681ed91aba8dec2f6823cad72c","datavalue":{"value":"6594135","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q294841$94F22133-746A-430D-9E6D-DCC2222C7DD2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a4a6f11756e1720f07cda5a080ef0476786d909b","datavalue":{"value":"temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q294841$66ED22D5-1021-4DF5-95FB-94FD303B49A4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eb1da862bb17d33e36021b917ee07baab23734e","datavalue":{"value":"stutter-invariance","type":"string"},"datatype":"string"},"type":"statement","id":"Q294841$F126C4DF-BF0E-42F9-A7C1-AF5E756B3C75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"50473df5c9c2860e3afaabf90de63bd3e7e0bcca","datavalue":{"value":"next operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q294841$FBB88DE4-85A2-4A49-9400-34201AF86DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"de800e2a3d0c7ec1ddf6ecc2e01f53c956b50752","datavalue":{"value":"efficient translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q294841$0397AC31-6871-482C-B80F-CB4E43920695","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"100336e59ffe810f6eb92fc3a35315a7e797f99a","datavalue":{"value":"specification languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q294841$F8EC37C1-D777-4D83-ADF7-ADB2A01C715C","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":"Q294841$9E24FCE9-5377-415A-922B-9A100BD60835","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6be45294957aebe75e8eb08538c0f5017350b1e6","datavalue":{"value":{"entity-type":"item","numeric-id":4817547,"id":"Q4817547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294841$A968A275-8E64-41BE-890C-D5ABD4EDB6C2","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":"Q294841$16A900D4-2F73-48DE-874B-0628FB3668BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"025603170ae7d76412d0530e5903dffb5b6ad1c9","datavalue":{"value":{"entity-type":"item","numeric-id":1276242,"id":"Q1276242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q294841$F721F1F5-53E2-4796-A412-3AA736AE7D49","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":"Q294841$CD066BB5-D3C2-41B5-BE71-FEF431869C7A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a4cd670c1830c36cae7da3626e3f8fab37298e5","datavalue":{"value":{"entity-type":"item","numeric-id":989448,"id":"Q989448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"85312611cb4484c457889c28ae2fc049e992eab5","datavalue":{"value":{"amount":"+0.9004117846488953","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":"Q294841$CE82921E-EC84-43B4-A872-1C295B75BC75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a8f1bd90a0772c9d8d07cbde33a45513ed8f9da","datavalue":{"value":{"entity-type":"item","numeric-id":2484066,"id":"Q2484066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4930e766722d790f653cba7ba685600c7d5faf1d","datavalue":{"value":{"amount":"+0.8143430948257446","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":"Q294841$10C81DFB-AF85-416C-95D6-DE8176D1D31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8d2e22090a1d7eca4467010a2c9cdf2926f6edbf","datavalue":{"value":{"entity-type":"item","numeric-id":4411829,"id":"Q4411829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6522416565caeb17a861164564060c53f8116dba","datavalue":{"value":{"amount":"+0.7987074851989746","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":"Q294841$AF020D62-248A-47BB-B89A-C4070F6AB98A","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":"ffdad91a049bf9a3307ed24ec1a8d45878597f21","datavalue":{"value":{"amount":"+0.7949140071868896","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":"Q294841$67C3C755-8326-41D7-B7DC-429B5EBA9DAB","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":"e2f546b022c9cdbb6f6e18a6f7ab61a45063d5f5","datavalue":{"value":{"amount":"+0.7844502329826355","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":"Q294841$038D22AC-E911-4906-B573-83FCA6072B21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on a question of Peled and Wilke regarding stutter-invariant LTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_a_question_of_Peled_and_Wilke_regarding_stutter-invariant_LTL"}}}}}