{"entities":{"Q1023285":{"pageid":1025133,"ns":120,"title":"Item:Q1023285","lastrevid":69628479,"modified":"2026-04-13T08:18:52Z","type":"item","id":"Q1023285","labels":{"en":{"language":"en","value":"Partitioned PLTL model-checking for refined transition systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5564227"}},"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":"Q1023285$F2006BBF-09BA-4448-B0A1-2E2F578BEAB9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bba4dcbf71d244226917b25b24ddbb6abb83e4ab","datavalue":{"value":{"text":"Partitioned PLTL model-checking for refined transition systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1023285$BB8B4BF7-7077-4B49-AA96-10B58253B626","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"32bf01a5f17e6fd5f15ef9b64758147fe34dbc8e","datavalue":{"value":"1183.68375","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023285$8FD6A5B0-E2C7-45E9-9186-3C6AB23BB6A1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"99bee940303b75bcee9b430f39cae72e0705f286","datavalue":{"value":{"entity-type":"item","numeric-id":1023284,"id":"Q1023284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$8F91A225-70A6-4E3A-BB2C-B0328CEBD2FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b0ea8e448665b06fdc15b872b5a3c294da68ecc2","datavalue":{"value":{"entity-type":"item","numeric-id":493527,"id":"Q493527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$D4D6E054-4652-464E-8563-026128E70E40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d8e8b0056e29f22768c66b98d281aa53ae66174","datavalue":{"value":{"entity-type":"item","numeric-id":539224,"id":"Q539224"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$6346776D-54AF-4D43-9027-7CCDF500BBD2","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$6C9DE5CE-E554-4D60-9F3E-F772D7500AA7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"476bfa1eca806cbbd7c0c525c26fe211bba5b0be","datavalue":{"value":{"time":"+2009-06-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1023285$5AEDB0AD-AB57-4F1A-93FB-DD189BE1FE01","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023285$E6DB80FC-DD69-43A6-9639-6A1819407A1B","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d8b614c719877f68d19bc2e34e109e8ed08ae7c7","datavalue":{"value":"5564227","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023285$8F10E6DA-4A76-479C-B829-059AEB8F13F8","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023285$94AED7D5-0AEA-401E-B71E-7AE4E9417DFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ccf19d241c6437ba3a56245bed5c21fd310e0d19","datavalue":{"value":"PLTL model-checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023285$BFDDC9FE-45C0-411E-B9BA-AC1B0FFFDDF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cdcb61ac56b298908f3e9b5862f0656e7d11849f","datavalue":{"value":"state space partitioning","type":"string"},"datatype":"string"},"type":"statement","id":"Q1023285$FEF7B5D3-494A-4DDC-9E61-F706E6983CF7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"7f078e243cc5b2a268355ae913e6ed1ca3bb0dc8","datavalue":{"value":{"entity-type":"item","numeric-id":20519,"id":"Q20519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$A9DDCD88-8C11-4EF4-A1BD-F012238D6924","rank":"normal"},{"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":"Q1023285$690A719E-49A6-4392-983C-6C9DD9139D65","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":"Q1023285$8DFAE8B9-83C1-4D2A-9AF9-9C2F67F64848","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e300723efb6f5526520021956b20847d6ffa950f","datavalue":{"value":"https://doi.org/10.1016/j.ic.2009.02.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q1023285$C2128924-48E1-477C-8670-ABE47017C223","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"afe735315bd5c7ca3a0f8f58e8682823aebcca21","datavalue":{"value":"W2111670141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023285$68C9001D-317C-4693-933E-F2A29B5DF9A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf4fab5a4519bb0e4a7392865538dc50ad77fca2","datavalue":{"value":{"entity-type":"item","numeric-id":1193587,"id":"Q1193587"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$DC5924DF-A5E2-46B8-8D55-EB80EF021A81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$4F2E6891-A482-493C-B4B9-77D364092044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca796b91648fb86030a62c7715ae255b6f71a7bf","datavalue":{"value":{"entity-type":"item","numeric-id":4436980,"id":"Q4436980"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$53F50D0D-6954-45D9-95F1-51918ECA5AE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e016121a20972b54628162e32384a16ea24af92","datavalue":{"value":{"entity-type":"item","numeric-id":2760253,"id":"Q2760253"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$44D89D59-E40B-4AF8-A032-639538EF170D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3399f5121e7c8f51f0135a441ec6aeb62d5737","datavalue":{"value":{"entity-type":"item","numeric-id":4733386,"id":"Q4733386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$FA90B7EA-49FB-44DA-B9BE-45868A0D2833","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4968b8cabc6e7e2146fbbb19353be5139e1037e5","datavalue":{"value":{"entity-type":"item","numeric-id":4002642,"id":"Q4002642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$9129E058-8BDA-4EB6-A1FD-C1BCD0EBE974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b002b02135c7254439ace160131505268dca2358","datavalue":{"value":{"entity-type":"item","numeric-id":4471931,"id":"Q4471931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$69B5177B-5FC5-48C8-AC85-F52BFDEA715E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cee1f5c4e596769f20c3e18240de0776d1bbf0f7","datavalue":{"value":{"entity-type":"item","numeric-id":4804900,"id":"Q4804900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$13613134-1CAC-461A-AB1F-E62E6124047D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d53d19922c3a7c2ab66b49e3b99548004028739","datavalue":{"value":{"entity-type":"item","numeric-id":3940830,"id":"Q3940830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$6CD9FF29-DACB-486E-8202-22D5941DF849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c258e920b69fc9081ac0baf8648a0039856b1c","datavalue":{"value":{"entity-type":"item","numeric-id":5312902,"id":"Q5312902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$78987F58-D391-42FD-8268-86420530AD38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9be1d7bb0141c600a3415908525c502c9ffc451c","datavalue":{"value":{"entity-type":"item","numeric-id":1341752,"id":"Q1341752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1023285$0A60BF30-F3E2-481D-85FD-159601D40069","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01ef4ca3687d7149211ddd43067977d7f475aa36","datavalue":{"value":"10.1016/J.IC.2009.02.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1023285$529822EC-A83C-4F61-BC75-F11656B544CF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abdfcf297e1870fbdc9ebe5100f7830f5105aa58","datavalue":{"value":{"entity-type":"item","numeric-id":4884237,"id":"Q4884237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f31d094e2f16e8901bd434941b7e92a8c76b7d63","datavalue":{"value":{"amount":"+0.9001934","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1023285$45CCF1C2-56D6-4483-BA7C-D6514E002C32","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8079e18fb15a15b0d06c52bce8360e7866f53dbb","datavalue":{"value":{"entity-type":"item","numeric-id":5716540,"id":"Q5716540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"492f0da01e7be870a9744fa496fe1f7f0be36e3e","datavalue":{"value":{"amount":"+0.89926004","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1023285$75EA2B8D-2082-4003-8718-5FF2A336FB8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13cc8e5136ed228462cf6b1d2b424896e9863d07","datavalue":{"value":{"entity-type":"item","numeric-id":5717496,"id":"Q5717496"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dceccfc066a7945c5bf8c9acf5ace640603d5038","datavalue":{"value":{"amount":"+0.8931151","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1023285$7610D071-84BB-444E-BA3C-1DAE8B9BEE22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f038f77b20ad7e8769b155fb14d5cdc70099ce15","datavalue":{"value":{"entity-type":"item","numeric-id":5716899,"id":"Q5716899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e3e5b7f3ffbca8f2ca3d86e3874cde00bf8d9d","datavalue":{"value":{"amount":"+0.8891802","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1023285$0CB284C5-EDA2-42EF-9BC7-FD7881D17C93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9021e837ddd2c2a7502348cf284da4a2a50d3d2","datavalue":{"value":{"entity-type":"item","numeric-id":2894281,"id":"Q2894281"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"421cd4b96ce3545cfb36bbb939ff8500de39ae30","datavalue":{"value":{"amount":"+0.88174564","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1023285$DE3B24AF-D5FB-428D-B0E3-E3C905E05963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9ec441c3d44fca65d57104a393f9283143df5c7","datavalue":{"value":{"entity-type":"item","numeric-id":2340259,"id":"Q2340259"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69588f1ef0699decdf1b201d45192dc12655ade0","datavalue":{"value":{"amount":"+0.8789736","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1023285$F5FDA838-530E-4AD9-8A46-5A4239A29B45","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"762cc99b7320bd391a07739fc9af99c14ba43827","datavalue":{"value":{"entity-type":"item","numeric-id":6487556,"id":"Q6487556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0aec2f42b0247fc7c932782e6f5646a20d3eabc8","datavalue":{"value":{"amount":"+0.87174857","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1023285$3C044F5F-D631-4E2B-AE61-46DE3B13F069","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b7285201ac10ba55f0f547e6e1942d9e4654f699","datavalue":{"value":{"entity-type":"item","numeric-id":2851316,"id":"Q2851316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d434a9a18c24cf8f0df38e870d157c5d8997b1d","datavalue":{"value":{"amount":"+0.8713038","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1023285$0C3AEE6F-A07E-427F-B82E-C5BAEC290062","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f0f0d22544dbe3d7895f2e7e8daa69317a89139d","datavalue":{"value":{"entity-type":"item","numeric-id":2986774,"id":"Q2986774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9be5a1e6f162d3c553aae58bf60552489468f56a","datavalue":{"value":{"amount":"+0.86963975","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1023285$54A01466-3171-4D0C-BEC2-F2CB246A2D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a81d05c5057fb055fd0b7b1806601a483097f486","datavalue":{"value":{"entity-type":"item","numeric-id":3090847,"id":"Q3090847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5f3b1347ef4e232e6c8c3a2c8339460a25ffcd15","datavalue":{"value":{"amount":"+0.8674522","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1023285$DEBDAA8C-8A0E-4E81-AAC0-D84F3A415CEA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Partitioned PLTL model-checking for refined transition systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Partitioned_PLTL_model-checking_for_refined_transition_systems"}}}}}