{"entities":{"Q989448":{"pageid":991296,"ns":120,"title":"Item:Q989448","lastrevid":65725527,"modified":"2026-04-12T04:57:08Z","type":"item","id":"Q989448","labels":{"en":{"language":"en","value":"A note on stutter-invariant PLTL"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5773773"}},"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":"Q989448$CBB0CB5C-DAE7-4E09-88D3-76E789E2780F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b4d60c3da1d69166a47393a1bc8612ea22a400e4","datavalue":{"value":{"text":"A note on stutter-invariant PLTL","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q989448$32D610A7-463E-4F99-9746-FA010F567FDA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4bff16c8d35b798eee7737b3417afd803f3ce7e4","datavalue":{"value":"1214.03015","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989448$13C86EB4-7249-4EFD-A449-5D389945CC76","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b63c8a7d27ac589b244a048d2f920a9e8c6bd330","datavalue":{"value":{"entity-type":"item","numeric-id":247892,"id":"Q247892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989448$201DAD4B-EDE1-48C1-B284-2120AD098C42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"30d9aa89bda10e60a2b2b6e5c4297a8a726a7ab3","datavalue":{"value":{"entity-type":"item","numeric-id":247891,"id":"Q247891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989448$374EEC5D-7AED-4F0E-9B39-1A2D0F8014DA","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":"Q989448$B3DF4659-DA7C-45A9-B07F-2F1373C6B797","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eca87747cfd61cbf3bdf39bd7734ed4289af3510","datavalue":{"value":{"time":"+2010-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q989448$14D6CDC4-DD9E-49D2-A612-62E0749C0775","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989448$E0FC1FF2-6A61-4029-A35C-DCA319BB43A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989448$3B2D52DD-CBB3-4D12-B288-0D51E8F885E7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"20c4a0eafd6f2c148ce3415c6985082cd25909ad","datavalue":{"value":"5773773","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989448$CBCEE9A6-0BD8-4D3A-A531-89D051BCB706","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f81406898349e4c73610116261aaccda50fa702","datavalue":{"value":"formal language","type":"string"},"datatype":"string"},"type":"statement","id":"Q989448$3043F125-2553-4BC8-B511-F934511313B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ceda7008fe09fdf28806f1d5cdbb9e84182a0456","datavalue":{"value":"propositional linear temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q989448$DAF63C11-4077-4E3D-A7C2-F3DEC73FBC8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc9a3541a6f788ad9fe0a67a6a36ec5024391de8","datavalue":{"value":"stutter-invariant","type":"string"},"datatype":"string"},"type":"statement","id":"Q989448$3134018D-5150-4630-A23E-67B2F446A317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4be0568078bdb23907326b194531a896f4c2e986","datavalue":{"value":"partial order reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q989448$4965CF46-8D4C-4B7A-A78F-64B63B7D6325","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c501ab323e163505bb9be2c89fcfe67e62b2b8ef","datavalue":{"value":"normal from","type":"string"},"datatype":"string"},"type":"statement","id":"Q989448$0ACC035A-D387-4764-A6D7-2C1C72D00398","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"53a4a9b6c38d395d5b2eb80cedc3eefcbf3e9947","datavalue":{"value":{"entity-type":"item","numeric-id":15987,"id":"Q15987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989448$2A11426A-5380-4293-AEA8-63ACF75F58B0","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":"Q989448$DF4201B1-E71B-4015-924F-06A64BC292B3","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b0c8c253740d74971bd7d65f6c0487ca35b7147c","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2009.02.020","type":"string"},"datatype":"url"},"type":"statement","id":"Q989448$389E0998-D9FF-4258-91B7-F95CE9834F6E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5526d4857d2a3530915ae071170f91c405369a3c","datavalue":{"value":"W2035480563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989448$F2817BA5-0AF4-4562-90BD-4460DC09F932","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"120c8e41431895a309f8ef32cac52a772f33d796","datavalue":{"value":{"entity-type":"item","numeric-id":4385542,"id":"Q4385542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989448$449C6A1F-8270-456C-93B0-D00A38F8C2D2","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":"Q989448$E19CEA5C-3988-47FA-97D7-BF4A5BF41C66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d32aef2848b78ced22461a6480915726b399fd8a","datavalue":{"value":{"entity-type":"item","numeric-id":294841,"id":"Q294841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989448$912E2DB8-7203-4291-A1F6-6843FF2465F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80baa7dd24c818fd0c0c74f2138ba1261f4733e6","datavalue":{"value":{"entity-type":"item","numeric-id":2480780,"id":"Q2480780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989448$6E14B557-8CBD-45F0-9C8C-5CE3543C797D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"367615c89c5e53362735b1e2712e2074018e117f","datavalue":{"value":{"entity-type":"item","numeric-id":3616217,"id":"Q3616217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q989448$DAC35663-466E-428C-BD3E-A5DF699D0BF3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6e1e98945b16d7daf141f02303e97065f893966b","datavalue":{"value":"10.1016/J.IPL.2009.02.020","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q989448$031B5060-614A-434F-B1D0-95CA68627586","rank":"normal"}],"P1643":[{"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":"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":"Q989448$AD6C8E5B-280C-4CBD-A4E7-8FAD98098C5E","rank":"normal"},{"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":"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":"Q989448$826738AF-C09F-4A14-82AD-7647E395D98D","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":"52017c3babfec90d951eae18df5d883ad9345264","datavalue":{"value":{"amount":"+0.7582248449325562","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":"Q989448$73EBDC78-DC90-43A0-A30F-C45E2D7DDFB6","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":"d0da7523a221638213192b9a0e80a56729f9c2ea","datavalue":{"value":{"amount":"+0.7535423040390015","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":"Q989448$3D18C8E9-F837-40C7-992F-32162CE27D80","rank":"normal"},{"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":"1d4c9fc9f76b5fd575af35d01598467c39dbfc06","datavalue":{"value":{"amount":"+0.7507294416427612","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":"Q989448$992A7C1F-1992-4387-B3E5-3E32D7B7477A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A note on stutter-invariant PLTL","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_note_on_stutter-invariant_PLTL"}}}}}