{"entities":{"Q3605469":{"pageid":5635375,"ns":120,"title":"Item:Q3605469","lastrevid":49666744,"modified":"2026-01-08T20:57:16Z","type":"item","id":"Q3605469","labels":{"en":{"language":"en","value":"Model Checking LTL Formulae in RAISE with FDR"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5510236"}},"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":"Q3605469$2C1DF880-816F-4FD3-8A64-D418F91E1675","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"ec6e1852132f8867c112086313d765eda4c28fcf","datavalue":{"value":{"text":"Model Checking LTL Formulae in RAISE with FDR","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3605469$1C39961B-32F3-4B6B-8310-BA8251489D28","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1e4af337ddbdc11a2822780003fa073a3e22dbc2","datavalue":{"value":"1211.68252","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605469$01818CA9-035A-40B3-9ABE-C431A74BC2EE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c946722d1c61e75d1368adb3d3ee2baad56202fe","datavalue":{"value":"10.1007/978-3-642-00255-7_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605469$7B8F27F9-022B-4158-9080-941D007CF587","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dee557c61590aa7d8ed93f04c07917c646d3eb46","datavalue":{"value":{"entity-type":"item","numeric-id":3605468,"id":"Q3605468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$52FA3F47-EBD2-462D-B1D3-8419FA712D03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"19119b71708e1df05038d33759d25ce3f697a899","datavalue":{"value":{"entity-type":"item","numeric-id":3423350,"id":"Q3423350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$D41E712B-1B04-4593-884C-8A7F8F5891ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8f791fa51bbe74236b4f6fe4d26120ef723136fc","datavalue":{"value":{"entity-type":"item","numeric-id":469999,"id":"Q469999"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$14D8B762-ACC2-41DF-B0BF-1D7A6AF73422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"34e7c5d1c8a7372cd937f16d452e7244a5c096d9","datavalue":{"value":{"entity-type":"item","numeric-id":1694446,"id":"Q1694446"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$ED747F31-03D8-4680-8BA4-F52EF4771AC1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$EF293CD3-F2E9-4DE5-9D6E-21662A1B9ABA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e18d4fd78a311e2c3bebfb4c4076a76532be8395","datavalue":{"value":{"time":"+2009-02-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3605469$350D70E6-33AA-4DD2-AE88-23A398F4C169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605469$8A67C3FE-1D5D-4A14-A52E-8DE94B2E1561","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605469$28BC2AE2-BA48-431A-87CE-DC0517188EF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"85b9d2ddccba1ebe97ae2a25e356d0115876afb4","datavalue":{"value":"5510236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605469$A728CA66-53A3-4184-9423-833CC1B3F4EB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b025775e53ab950535af5f78a8c16527c02ffe2c","datavalue":{"value":"RAISE","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605469$185989E9-7A0A-4A5B-9BEB-0DD67DCD4FB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3be9175e0043b97a2843fab90df5854dc50c6d55","datavalue":{"value":"RSL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605469$7487091D-2330-4684-9E6E-069BC0ECCA96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb1658b60e766a02ebffc17e47bf24ae50d17b7e","datavalue":{"value":"CSP","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605469$90254D04-323D-455B-8511-3775050D18E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"560176b9f90870250c4b94f96ff2cf2f7e622c22","datavalue":{"value":"FDR","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605469$91C1580A-46EA-43F0-8260-BEC69CA9EB87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605469$9A1CDE3E-A904-4B6C-902B-167ECE1F2885","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605469$CF0475A4-E730-4FAD-B926-E0A1CDC463BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605469$351042B9-B011-4143-BFC3-CD15FE38D363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dffc2b5816bbbc9c1c53426339d58fcc9739c7fa","datavalue":{"value":"tools","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605469$8366336D-B8C6-4B7D-9869-F9B4CD690999","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85a839a7ba93b7be8ef2a01122562abb5ca55aa9","datavalue":{"value":"LTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q3605469$3EBA326E-C4C1-4A85-9200-ED696EF65261","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"cae8739186f915dcdf22aade1969a1b064b021cc","datavalue":{"value":{"entity-type":"item","numeric-id":15781,"id":"Q15781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$77B8D6E1-CEF1-48C1-B6EB-A20CFC88C026","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"b7f2469d411e2768bc47538ae7e680705572b900","datavalue":{"value":{"entity-type":"item","numeric-id":22908,"id":"Q22908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$91EFFD9D-D8BB-420C-895C-301A2291DD4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9466f0b26c1dc8acd437f28f29f075bef564116e","datavalue":{"value":{"entity-type":"item","numeric-id":23408,"id":"Q23408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$69F45CDB-1627-4910-92FE-340C906004A4","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":"Q3605469$B14FA1D1-8EB7-4AA4-BEEB-68CE3D4B487A","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":"Q3605469$195FE936-3A0F-46AD-8C1C-3C6276F46B8B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"560fa53f11b1ff0f8ca81aee84699c5629741f4b","datavalue":{"value":"https://doi.org/10.1007/978-3-642-00255-7_16","type":"string"},"datatype":"url"},"type":"statement","id":"Q3605469$03592CE7-40C4-4EAF-911D-6D42430DDCCD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd051696d99acb36fd39f3b463e15b81f3ed83a0","datavalue":{"value":"W1517366058","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3605469$4A4D4399-EBA2-4343-979D-8A2EDA38F629","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b7a2ec3c749152e7b4afbc524ed973549c96f3","datavalue":{"value":{"entity-type":"item","numeric-id":4551134,"id":"Q4551134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$31226C6E-E6A1-4E40-B36E-727ACB3C12A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10823bf5be5278cbff1c98afd96bfe396ccae834","datavalue":{"value":{"entity-type":"item","numeric-id":4845499,"id":"Q4845499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$B8EE7234-89F9-4131-A4FD-5E9218F67669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$2B420EAE-DBFF-4D93-A110-6E6DC370A633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e3243e80a4e0ef20e36499ebb720b55a5c39f9e","datavalue":{"value":{"entity-type":"item","numeric-id":2763965,"id":"Q2763965"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$57C02753-4E5A-4686-9D1B-C77FE35823D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$D352818F-0467-4DA0-888A-81AAB93A9AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a979ba4e458cdbb8a1a27a189cd19f7088892ac3","datavalue":{"value":{"entity-type":"item","numeric-id":4845494,"id":"Q4845494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$A3D1868E-18FE-4881-AC4F-1B03442A8C6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0497b1545176817d598d6514d052d177c294b9d2","datavalue":{"value":{"entity-type":"item","numeric-id":4023850,"id":"Q4023850"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3605469$D190A2E7-0385-4124-908B-400C03FBEF7B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b9ec0decb7be3be1b5b97b74f6d05bf61c3d572","datavalue":{"value":{"entity-type":"item","numeric-id":6487366,"id":"Q6487366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a62e061890df8b2ab41079484428999b78c2e50","datavalue":{"value":{"amount":"+0.8845682","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":"Q3605469$90B65D2A-F468-4818-98B7-9ADDFD087352","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7de6e153b5969c090d61eb6bf4582a31803e6130","datavalue":{"value":{"entity-type":"item","numeric-id":4411974,"id":"Q4411974"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e93eea8ef506e01844c7bb76d69a299030a94576","datavalue":{"value":{"amount":"+0.88018864","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":"Q3605469$FC05A951-E48D-46A2-8349-5AD938732D3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b37c3f799908525fe7a2cfa211270bac0f09f086","datavalue":{"value":{"entity-type":"item","numeric-id":4494397,"id":"Q4494397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"112d814fad5287e19a500a89dd8da4e0de9ca492","datavalue":{"value":{"amount":"+0.8782421","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":"Q3605469$F2F3D5B9-9933-4B7D-93D2-F18516552A40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31b68073369f0cc8b5e82b6b47fbeb08c63281ed","datavalue":{"value":{"entity-type":"item","numeric-id":4899142,"id":"Q4899142"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eccd0432c513174bf9f6d18740b2e3fa11159501","datavalue":{"value":{"amount":"+0.8778854","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":"Q3605469$3410C8BC-2D95-4C2D-8286-112C7A1C9345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a934526edff3395a0f9d37af0f9e74bc3a261f2d","datavalue":{"value":{"entity-type":"item","numeric-id":3600466,"id":"Q3600466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4227e2ba6f42f2b35fd8b5989627e22cb075a185","datavalue":{"value":{"amount":"+0.877736","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":"Q3605469$9613340C-CF69-4065-A680-2A07AD62F3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d086b21205e8ff05dfe3d242c1a32cfbf4927ab","datavalue":{"value":{"entity-type":"item","numeric-id":3648714,"id":"Q3648714"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e46376e7e9c93bec3176035850eb3f6b2f69784f","datavalue":{"value":{"amount":"+0.87600076","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":"Q3605469$143F151E-9936-40D0-80B3-73BFF8334310","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9a90f689684b59872846c7387881c2eb0eb8fc55","datavalue":{"value":{"entity-type":"item","numeric-id":4551147,"id":"Q4551147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d4ea9d5f3e9f8f2221d214cac07d51040a4b4e7","datavalue":{"value":{"amount":"+0.8716244","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":"Q3605469$675620EA-A54C-4A44-B793-A22914ED7C9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"65f1386d26c8c22b090c8f1ac130f1e318ecd9aa","datavalue":{"value":{"entity-type":"item","numeric-id":2851053,"id":"Q2851053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ac468a9caacba64ccc84b0a4329bebd2934efdf4","datavalue":{"value":{"amount":"+0.8664169","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":"Q3605469$D4C270D7-573D-4FC0-B84A-E7E85D4A646C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3605469","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3605469"}}}}}