{"entities":{"Q5450115":{"pageid":7479674,"ns":120,"title":"Item:Q5450115","lastrevid":101178443,"modified":"2026-06-06T00:05:10Z","type":"item","id":"Q5450115","labels":{"en":{"language":"en","value":"Invariance under stuttering in a temporal logic without the ``until'' operator"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5251106"}},"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":"Q5450115$CFBB868C-02D1-4565-84EF-961103D42E67","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"01475de4723cbf2aed01c4baeaa97f7efca6e024","datavalue":{"value":"1135.68034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450115$A84A83DA-9AC3-41DD-97F2-28C5DF2365FA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5502baf3530eb4ba54eb978f9bc54f1314c6bec9","datavalue":{"value":{"time":"+2008-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5450115$3A72F5A1-725F-4EC6-9265-BABB6E2CC2AC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450115$24DC4AB2-2A3D-425F-BD04-D1ADFEAF3676","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450115$F18AB29F-F457-413C-AE38-E7998C7DD718","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450115$2EC5F007-51EC-4905-8119-40BE736BC3D6","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0b3c012cf7af6e3384fefaef609dd300317c3dcf","datavalue":{"value":"5251106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5450115$46D90DC7-9165-417F-AE6B-41FA76F70808","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a86183f440d4ee623525d09f09efd4199f022e07","datavalue":{"value":"temporal interpretations","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450115$E957C432-EFE9-4165-B409-06229A021C5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2f96e187de74041b89c9f876b8819e3035b062b7","datavalue":{"value":"invariance under stuttering","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450115$93591019-E9C4-48A2-B2ED-292DB42155C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03aab8fb1825f85e1454e4e42cd0c699d3012255","datavalue":{"value":"specification of concurrent system","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450115$1FC5E0C7-28E3-4396-A6AA-4517AA389A03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"08f0a0d846f96d0ad21fc394acb3c1906b48ab4b","datavalue":{"value":"propositional temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5450115$9C182027-3E47-4280-9F01-C1C7B7A6CD5B","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":"Q5450115$3601B7E8-3D0C-45CC-9E04-8F200C4587FF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb229afd7e95d5e1272686403638a6c34aa4e26e","datavalue":{"value":{"entity-type":"item","numeric-id":859839,"id":"Q859839"},"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":"Q5450115$D4455436-9D65-4B9B-8DD6-20305D5F94D0","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":"28b7e4dbf9b3fb9a9374c75b4c07b6a833ed5891","datavalue":{"value":{"amount":"+0.8556457757949829","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":"Q5450115$B18C02EA-68B3-4978-8113-0CF65CE45D9E","rank":"normal"},{"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":"ad5289b5d0fd48126d1dd119043bcbd4c04e85ed","datavalue":{"value":{"amount":"+0.7903841137886047","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":"Q5450115$ADBC6B6B-7BE4-48E3-9955-F538C65E9246","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":"91fd0f8f6b81f5d371752ffd86fe25da288b7950","datavalue":{"value":{"amount":"+0.7762444019317627","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":"Q5450115$9A4862DD-B8EE-4CF8-A596-7BD40260AFBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"06be7117c7b6709d59ef3f418372bd87006b61d7","datavalue":{"value":{"entity-type":"item","numeric-id":294841,"id":"Q294841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"90eff1f17a23567cf27b3160cb886c7567ec672f","datavalue":{"value":{"amount":"+0.7740854024887085","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":"Q5450115$6A1CE690-2EEE-4139-A837-D0B23EE71F18","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Invariance under stuttering in a temporal logic without the ``until'' operator","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Invariance_under_stuttering_in_a_temporal_logic_without_the_%60%60until%27%27_operator"}}}}}