{"entities":{"Q2165225":{"pageid":2175968,"ns":120,"title":"Item:Q2165225","lastrevid":57757764,"modified":"2026-04-02T09:46:50Z","type":"item","id":"Q2165225","labels":{"en":{"language":"en","value":"LTL under reductions with weaker conditions than stutter invariance"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7573250"}},"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":"Q2165225$91F4978E-47F9-4E41-871F-BC0F71F4AB1D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0a9791567a7cec23b8fb65322b085da4c4212a9a","datavalue":{"value":{"text":"LTL under reductions with weaker conditions than stutter invariance","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2165225$5EEAB54C-2EB9-442C-9FC6-DD8CCC67A5AD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"097da7578472a9b3c8f824112f1339fa81d21239","datavalue":{"value":"1499.68204","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165225$0D106F45-81F3-4F16-9405-E47186A7A9D6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6aee0111602a23b59cf902ad567f0ac2ab5997c6","datavalue":{"value":"10.1007/978-3-031-08679-3_11","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165225$B66E850C-9F5C-4D4B-B0BE-2B06DBA7AA22","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dcdaf332d13b421687f71dd92e10c140c73c4a3c","datavalue":{"value":{"entity-type":"item","numeric-id":2165222,"id":"Q2165222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$94ADF07A-EFEB-4E9A-B97C-CF618D846E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"db0dd6cda2b15938682161bb11f6f288629bda66","datavalue":{"value":{"entity-type":"item","numeric-id":453478,"id":"Q453478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$A667706B-4E94-47EA-8DD2-CEFD6027A6F7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4dcbbb57143b26c8a142236312cf5a6c3d49681b","datavalue":{"value":{"entity-type":"item","numeric-id":2165223,"id":"Q2165223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$19739F32-6292-4A25-9130-0F1433D81F50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58083c7cc0bfc34ba24bf6a67eb4c8044fdc332d","datavalue":{"value":{"entity-type":"item","numeric-id":2165224,"id":"Q2165224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$B2F6DD32-286C-4A0E-A569-DC7C299A34A9","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cc1df975eaf5d972c6cd76a177b15b62ceb34b0c","datavalue":{"value":{"time":"+2022-08-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":"Q2165225$543BEE2A-A8ED-41D2-B352-855151B2F39C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4fef647a77da008cfa61511318ad8af4be0e6240","datavalue":{"value":"https://arxiv.org/abs/2111.03342","type":"string"},"datatype":"url"},"type":"statement","id":"Q2165225$9DF27F7F-312C-4E8C-BC9B-FDE38506A305","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165225$8EBA98AA-C1D7-4456-A0EA-563AFFA4065A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165225$6902FC63-97EA-4D94-8EF2-1195CCF1F594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165225$CC4BB57A-0CFD-47FD-B3EA-DB7254BE47AB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"54e9ec561783fab0c3bd49f3ab8bff0203c478f2","datavalue":{"value":"7573250","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165225$ED693ECA-5206-48C7-B115-D44FC7AC1F28","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":"Q2165225$C4078D92-7C2E-46FF-AA55-FF2ECA2F0D51","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a66ad9458f89c806cbae96f53e78dec316c7d24c","datavalue":{"value":"W4226089547","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2165225$4808F674-C92C-4D8E-8C32-43B0EE4C809F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"59396f340e547b01222c9feee0a8658035251f7c","datavalue":{"value":{"entity-type":"item","numeric-id":3745291,"id":"Q3745291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$E1DC945D-E4F8-430E-BBAF-497F6984D13E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b1ca4463eaad5e2b392062cef8e5e6abde5678","datavalue":{"value":{"entity-type":"item","numeric-id":4493881,"id":"Q4493881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$06D0B2F5-8E67-4F5B-8D2E-AEC10E46BB27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"077765893fb070860b21513f2fa8e7755a88ca1d","datavalue":{"value":{"entity-type":"item","numeric-id":2894293,"id":"Q2894293"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$A92C78D0-650D-4100-8E15-A192350678AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a5b46a43271cb7bdb8bd8f6aed80d0b79118e81","datavalue":{"value":{"entity-type":"item","numeric-id":4536600,"id":"Q4536600"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$E27DD760-B5F1-461D-B61A-7237DBB2338A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cb3c59570034702bd111a4682874bffae4489c3","datavalue":{"value":{"entity-type":"item","numeric-id":5491864,"id":"Q5491864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$12EA0379-B7F2-4E5E-B9A6-09DCE4D8E4DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bc95d446f80c52ed7453599d680e586168dabac7","datavalue":{"value":{"entity-type":"item","numeric-id":1327383,"id":"Q1327383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$0737AC33-02AD-44CE-B8D2-0FDC9419EC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3007e272c702a764fae31e0614acd59795e1145","datavalue":{"value":{"entity-type":"item","numeric-id":3510873,"id":"Q3510873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$41CA63F5-0109-49FF-AD90-729DE56CBE3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05656618a7fbd87833428b51ffbb73b7b47e20fc","datavalue":{"value":{"entity-type":"item","numeric-id":4077431,"id":"Q4077431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$18A22A0F-2F2C-47CB-9E42-7DCAD1BD3401","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e1ca6fb5a4bcb0ff2fbfc78694def73fbd43973","datavalue":{"value":{"entity-type":"item","numeric-id":2766576,"id":"Q2766576"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$7EBE87DA-461C-486D-8543-D8E4B466CE2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2cd54413287e6e70989953202b0183dd784ecbc","datavalue":{"value":{"entity-type":"item","numeric-id":2754087,"id":"Q2754087"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$4DE34799-6BC9-443B-B6FF-DEC1ADD5C06A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a28fcdb9313fc16f0ed4174493ab5b2df5dac1b4","datavalue":{"value":{"entity-type":"item","numeric-id":5100759,"id":"Q5100759"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$75CAF084-312A-45E3-AA94-975F988256DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ec02d8b891c336785f7e10a18e41b4382dcbcc","datavalue":{"value":{"entity-type":"item","numeric-id":4037380,"id":"Q4037380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$FECF4E3D-9E5F-453C-B497-1E594262E2B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6571f5e7b59314ce70c60fe99520c2ad4472991","datavalue":{"value":{"entity-type":"item","numeric-id":5452603,"id":"Q5452603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$0EC25C2D-BD6A-43C2-8A1A-56C0E014CCF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed85e18da59707bcedc0a25df77e3b6ad7294e12","datavalue":{"value":{"entity-type":"item","numeric-id":6487379,"id":"Q6487379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2165225$ED8322B4-7D45-445B-90C8-1F5DABE7C74E","rank":"normal"}],"P1643":[{"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":"beded0add71374c5c2949912d1fd126c4049b1ad","datavalue":{"value":{"amount":"+0.7841318845748901","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":"Q2165225$DFB9DFFE-4E3A-40B4-B719-9D4E0B737014","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64572be908817f9cc4844c19d284302359d3ff28","datavalue":{"value":{"entity-type":"item","numeric-id":5170011,"id":"Q5170011"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f434ccf2e4cc3ba9cfa4fb49ee2177b14d67b8c2","datavalue":{"value":{"amount":"+0.7836455702781677","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":"Q2165225$BF0B49F9-61D5-41C0-B42D-67BF08534D54","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":"29b97cd1a9a3ce98b587d51e5d476b1006e4aca8","datavalue":{"value":{"amount":"+0.7618878483772278","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":"Q2165225$BCD7B92C-A130-4E44-B8F4-75869FEDA2BC","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":"3ca5e3382c2f23e7436dcaf3647886b088e5aa5b","datavalue":{"value":{"amount":"+0.7611451745033264","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":"Q2165225$EB9F767A-78FB-4A41-8500-E031CBF132CD","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":"c4ab638b13a6f693cc58f9335fb83585110dca0c","datavalue":{"value":{"amount":"+0.7474491000175476","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":"Q2165225$3C427E54-964B-4F13-B488-372D9275CC2F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2165225","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2165225"}}}}}