{"entities":{"Q6487557":{"pageid":14066326,"ns":120,"title":"Item:Q6487557","lastrevid":47810536,"modified":"2026-01-02T18:24:00Z","type":"item","id":"Q6487557","labels":{"en":{"language":"en","value":"Minimisation of models satisfying CTL formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7650201"}},"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":"Q6487557$41E081D4-DDA2-40F9-A65F-30DBBB413286","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"96fe6cc0b43660f43d8734b87db05f5550c3c9e0","datavalue":{"value":{"text":"Minimisation of models satisfying CTL formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6487557$1E0F77C9-6CCB-417C-A609-074A2EAF8AD5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e02b6b98e62056710cfa789b526da72e6a6d947","datavalue":{"value":"1515.68174","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487557$D31B4875-7E4E-40B2-B7DA-50499B515847","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6695abe38664d65c38747de7b5fe54d9caa92dea","datavalue":{"value":{"time":"+2023-02-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6487557$19B61FA0-C5C6-427B-8E49-8A97B706ECE2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487557$F4471639-ADF9-4EF7-ABD5-F92C267480FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487557$C334B6B8-1419-4641-8BCD-E212B448B96C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487557$0A08DB35-FFB5-4BFF-A537-E1406F4A6512","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5eb34d7d826ad7a5b848b364f89068dd54faba53","datavalue":{"value":"7650201","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487557$63D279A5-1A72-4ADA-A376-007BEE2D32A4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487557$CD8D0D13-AF50-49E6-A132-CE4BC1908933","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4c6f7357b04c800a53d2b73789b9125d725bb7a","datavalue":{"value":"model minimisation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487557$E0587089-E3E5-4074-B01A-70123D546767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82d70b752fb69ac20fc975b4458792a6c9fa2731","datavalue":{"value":"bisimulation reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487557$9B5553E0-3851-42FE-8041-B901B47A09F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f0c346a0da36be533e7abefa8879b20d78bb6f4","datavalue":{"value":"tableaux-based reduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q6487557$93ABF2D6-781C-4C2D-9622-3D4D9D667289","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":"Q6487557$CE710359-92D9-4D8F-BEA1-080C60CF98A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3ae349a53375cf707c27f98ae333ea2b89cbeb02","datavalue":{"value":"10.4230/LIPICS.TIME.2019.13","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6487557$3D4F0E88-2936-47D2-A86F-88146AA6DFD4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e949293b15e7924f6d87c71de3e88b1f35e5f6f","datavalue":{"value":{"entity-type":"item","numeric-id":1694465,"id":"Q1694465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e9583610d24f90221f5b1cccc6af3f023098620","datavalue":{"value":{"amount":"+0.8091168999671936","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":"Q6487557$FDA7CBFC-B79E-4EA4-8506-2ECFB80822A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"856ca66cfa3a174bc499433f747f22d69228e3c3","datavalue":{"value":{"entity-type":"item","numeric-id":4639929,"id":"Q4639929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ca097cb278feab4e0d4d5b415750615396c6896f","datavalue":{"value":{"amount":"+0.7803483009338379","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":"Q6487557$A4ED7158-E272-4CC1-A220-88EA0A3A2298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49889eaa14e1e79792df2f7fee33e78df0c895da","datavalue":{"value":{"entity-type":"item","numeric-id":4808748,"id":"Q4808748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9c151cf5c9a0857067e5c3f9b49a8576db6b3833","datavalue":{"value":{"amount":"+0.7714588642120361","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":"Q6487557$57256A71-F29F-4E5C-ADE9-737CFAD3E5B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"04d7a290c730049efccd8a4024ceef1a60c45dc0","datavalue":{"value":{"entity-type":"item","numeric-id":2453698,"id":"Q2453698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1824d752d73dd8bf1de432a38f2434d320135648","datavalue":{"value":{"amount":"+0.768278956413269","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":"Q6487557$080F2ADF-E0D8-4DF4-8051-D95AE5D94FC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28d2ea00a2382793338661ad6355dfc8665986cd","datavalue":{"value":{"entity-type":"item","numeric-id":906254,"id":"Q906254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"07a1f7fafa193a164da7f9a89fbab7f81cc8fd1e","datavalue":{"value":{"amount":"+0.76664137840271","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":"Q6487557$AD3EE59B-5EC0-4945-967A-590C523780BE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6487557","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6487557"}}}}}