{"entities":{"Q698104":{"pageid":699953,"ns":120,"title":"Item:Q698104","lastrevid":63602988,"modified":"2026-04-11T14:16:48Z","type":"item","id":"Q698104","labels":{"en":{"language":"en","value":"Formula-dependent equivalence for compositional CTL model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1802399"}},"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":"Q698104$88EAEB6B-67C8-4A95-B1CB-7E33DAEE5FDE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"00f336f1c134a1fc12d981e1e42830cf6a9942b2","datavalue":{"value":{"text":"Formula-dependent equivalence for compositional CTL model checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698104$5FBF4690-2107-42AB-AFCB-A66A12EF0C84","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a715b4159c40b74b96b4a40ac9cebee36dd44861","datavalue":{"value":"1019.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698104$4956BF89-45C4-48B5-9160-5A5C5D08420C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"db3b89998127ad9824050eca3c31f374d6159525","datavalue":{"value":"10.1023/A:1016043502772","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698104$F6835A73-DD2D-478D-91ED-AD8A7115D794","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"238db7322480cbf9b60af7b2fd0ef39f78fa5615","datavalue":{"value":{"entity-type":"item","numeric-id":698099,"id":"Q698099"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698104$53E1BA07-65BA-44C4-9F48-37100A55A974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2489f64c292581e753c070c79d0b41597f8b696d","datavalue":{"value":{"entity-type":"item","numeric-id":698101,"id":"Q698101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698104$6DD76F31-6CA6-4373-83B8-49F76523F2D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"979de187157b90d79f3ebadcfdfcce809985a776","datavalue":{"value":{"entity-type":"item","numeric-id":453537,"id":"Q453537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698104$E8CA1F5C-9156-4D41-BA6F-AF9FFF5A02D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c287079e407405d0883d696b618e0b7ff853eb0","datavalue":{"value":{"entity-type":"item","numeric-id":1020551,"id":"Q1020551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698104$70CD7664-CCC0-49BF-A186-F9422EA4C56E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d086e44329306ab3ecd40903a02197703cd48951","datavalue":{"value":{"entity-type":"item","numeric-id":1020553,"id":"Q1020553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698104$2736631D-341B-4F88-B57A-69AD5B0C5268","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698104$EB9D1EDE-E1A9-4F88-81AD-7102AC8299E8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2b7d40e35d39a6c5a15c7832f15c6b676b96fd9b","datavalue":{"value":{"time":"+2002-09-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q698104$478E9DE7-2971-45D8-BCAA-B29F9A74D6EF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698104$F98739EF-B39F-447F-BA9A-4E873F39C8FB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d972b7be77e5ceaac509425532a9cbcd00ca4d8c","datavalue":{"value":"1802399","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698104$63522261-EC17-4BC2-8D28-CA672D3BFE38","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61b2bed11dababcab09097a5cb31da4a0684c969","datavalue":{"value":"CTL model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q698104$9BC70E75-A6CC-4EC8-A9FE-D759408949A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q698104$8A16D9F1-7F2F-4779-BC4B-1A76489507DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"902efcc3bc5223ef01cffeb96ecc151561bd5d36","datavalue":{"value":"compositional minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q698104$A3323E63-9CED-4FE7-B432-1FBFDEC60B37","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":"Q698104$D6C96755-5366-41B5-B61F-E59313AF6E00","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5189bfcf7b2cdc9bf53d50e65a2af5b419e3c0c","datavalue":{"value":"https://doi.org/10.1023/a:1016043502772","type":"string"},"datatype":"url"},"type":"statement","id":"Q698104$DD61B007-97AE-4302-9B46-25ED281822C5","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"c225fb44398d0264c6df162e8b9d3a8403a8f9ba","datavalue":{"value":"W1520559746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698104$4097EBDA-3255-4E98-9535-704BCA4DA088","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"21a2862ede5b88f80876dfdb71ce99439df879df","datavalue":{"value":"Q57380746","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698104$CF6F7FED-B127-4998-9FBD-12792582E129","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97101831c09d96b24543c8e5c8ae8045b952f248","datavalue":{"value":{"entity-type":"item","numeric-id":2810967,"id":"Q2810967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a8849f0ae5f8df1da2f863770df893524aaf0335","datavalue":{"value":{"amount":"+0.9109054","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":"Q698104$E3C3EC7F-4402-45BD-B30C-875AFEBD04BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"def4e52c6ef17061b38fe53997c56fdb96710c18","datavalue":{"value":{"entity-type":"item","numeric-id":1770366,"id":"Q1770366"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eac0780e015a798007e8817c6ef6ffca3969bdd0","datavalue":{"value":{"amount":"+0.910867","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":"Q698104$FC0DA903-7BED-4C92-A7B5-705A88733E17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ea01d914082b4e177b7a684824a21dab7e5087bd","datavalue":{"value":{"entity-type":"item","numeric-id":2272926,"id":"Q2272926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bfd1136cef6fcfb34aba5acdd555709e7380f9c","datavalue":{"value":{"amount":"+0.90600586","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":"Q698104$D2719FA9-DCFC-4612-B99A-8078EAA7240F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7094a3c988c734ca21ea53bc6ec6f202282d2855","datavalue":{"value":{"entity-type":"item","numeric-id":3204034,"id":"Q3204034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c9fd24a42cb57b120a6cd0de9afcbce101c70a73","datavalue":{"value":{"amount":"+0.90301865","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":"Q698104$960E5870-3503-48D0-AAD2-9164F82FB007","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":"4788558e9f8f512fdbdebf028f56e4373420a0e9","datavalue":{"value":{"amount":"+0.8968261","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":"Q698104$D0336539-53FE-4EDE-9C4A-0396AF53BA28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"dfb0e469db8af7a009a867a359818028b3fb0366","datavalue":{"value":{"entity-type":"item","numeric-id":3402273,"id":"Q3402273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc2d7050aa69b0510dcc5b0450dc418ff2f2634","datavalue":{"value":{"amount":"+0.89489156","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":"Q698104$625C13E6-C0AD-4B03-9327-8B965CB1CCB0","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":"d11c30e579d69b798b9a0a4bf30b524dc0ae7bc4","datavalue":{"value":{"amount":"+0.89244527","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":"Q698104$0F44A700-8702-4855-9CBC-F6A05AF90076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71956962bb60a291a3a6435582c535bd5edb1b5a","datavalue":{"value":{"entity-type":"item","numeric-id":2914370,"id":"Q2914370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4723453291337ceef83c8942110a0ce9414598c1","datavalue":{"value":{"amount":"+0.8921181","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":"Q698104$F0525F25-1A9D-4989-8DB4-176199E266CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ab7f8552e21f052ff6f192f2dac9acfc95b1f03","datavalue":{"value":{"entity-type":"item","numeric-id":1205713,"id":"Q1205713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23e0f29fb908acf6770976dbfd2eb62215ad2f24","datavalue":{"value":{"amount":"+0.88993514","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":"Q698104$DBA1721D-BB6A-4DCA-A406-8646573F57FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Formula-dependent equivalence for compositional CTL model checking","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Formula-dependent_equivalence_for_compositional_CTL_model_checking"}}}}}