{"entities":{"Q1694465":{"pageid":1705206,"ns":120,"title":"Item:Q1694465","lastrevid":53009273,"modified":"2026-01-24T00:45:11Z","type":"item","id":"Q1694465","labels":{"en":{"language":"en","value":"Minimisation of \\(\\mathrm{ATL}^*\\) models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6833557"}},"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":"Q1694465$F9F2BB8E-CA59-4108-8F68-89979BA55709","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83cbbc83512e30cce9b9f26dd9d79a92448ff2b6","datavalue":{"value":{"text":"Minimisation of \\(\\mathrm{ATL}^*\\) models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1694465$67FAF2D3-C50C-4CF8-B1E2-7DC16D9D15C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c00d2fa39467add4c662fd981d54234c7a9fef11","datavalue":{"value":"1496.68188","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694465$CB846808-4832-42DB-BEA8-318578ECBD67","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ecddc520d866e5d913221e717f6975165a5c887a","datavalue":{"value":"10.1007/978-3-319-66902-1_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694465$DF4186B8-10BC-43E8-93E7-3888FF31CE26","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2286efb444136e1100eb0b2f7ac6cc03053147b","datavalue":{"value":{"entity-type":"item","numeric-id":229750,"id":"Q229750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694465$090CC523-E988-47BD-86E0-2FD8820BE2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4a5fb3e1e8f77c1327875a9fad6ceab7a6663ca","datavalue":{"value":{"entity-type":"item","numeric-id":1694464,"id":"Q1694464"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694465$93FF9957-7A0D-4708-9CCC-6C33D1DF2819","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3340cc79e75714646430612898cfc312969e0dd0","datavalue":{"value":{"time":"+2018-02-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1694465$64E64790-13DE-4BB4-BBA9-B1AC41CEAA4A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694465$010B652A-4C8F-4807-BE51-2EA1D70A8EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694465$9A9C7211-6594-4E7B-943D-F446C68503EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694465$B793C6CB-1159-47A0-86D9-CB44CFB6BDD2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e610eebf78166a4f54b60bd4bf558d08abf5a647","datavalue":{"value":"6833557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694465$4F4BEAB3-53E6-43F2-99D1-2B13201D933C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1ae521718438d9dae164938ac201015537dd61f","datavalue":{"value":"alternating-time temporal logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694465$7DDD40CA-48FE-45E1-88B5-EC6B836C3FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694465$82C6643C-83FC-4F78-9492-E496D4EF6E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79e6869498fd2fca6f6e2b26627bd8a94e5760c7","datavalue":{"value":"model minimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694465$B8808799-EAFF-4C90-B6A7-544E2C0C9168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"45ba0550e07e04a3326d1cb7dbe398ac3d7c209d","datavalue":{"value":"tableaux","type":"string"},"datatype":"string"},"type":"statement","id":"Q1694465$C31B56DC-8CAF-401C-90DD-D884ED4C0B69","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab9d91a949e316f8b2003bd6315e399064ba44e0","datavalue":{"value":{"entity-type":"item","numeric-id":19549,"id":"Q19549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1694465$4119ED51-641D-477C-8E62-8241E8EF0157","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":"Q1694465$5D7098AA-F62C-4617-A422-35C96570B1C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15df3d5d55f00f5fae4278add814ed7d425680cd","datavalue":{"value":"https://doi.org/10.1007/978-3-319-66902-1_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q1694465$3110C414-4800-42E7-86AE-1D109329EC61","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0921bd1a2d76d3e9ad0bca56679fe8e1f6fd9c62","datavalue":{"value":"W2753354997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1694465$F5AF80CD-DF56-4B27-8D76-CC241AE1E430","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf6de32a2dec7b233f9187ef7f7448772352ddbb","datavalue":{"value":{"entity-type":"item","numeric-id":6487557,"id":"Q6487557"},"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":"Q1694465$6F060F3C-25FC-4875-AFDD-AF72302997A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"534c732d5c617b36b436c4b80cdfdff269a9acc1","datavalue":{"value":{"entity-type":"item","numeric-id":4737004,"id":"Q4737004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0d520419fc18594799d790f098c0fc8f96d50929","datavalue":{"value":{"amount":"+0.7913632392883301","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":"Q1694465$A02160D4-3F99-440B-AAED-BAF48FB1DBAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"23de453f775486c73bd1519a9c7b7e37186fe8c6","datavalue":{"value":{"entity-type":"item","numeric-id":3454093,"id":"Q3454093"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd9236d93d82c08cea39e7a3b54d1b857d22c6f1","datavalue":{"value":{"amount":"+0.7689776420593262","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":"Q1694465$FA99A155-22F0-48A6-A483-B95A96A4A076","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5a8ff0559c90e71f8bd33dab2ca673be18744c84","datavalue":{"value":{"entity-type":"item","numeric-id":5277905,"id":"Q5277905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"864906359d8cf46b143c170359dd5e075b67532e","datavalue":{"value":{"amount":"+0.7503010034561157","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":"Q1694465$6B3A124F-7CFA-41AA-9965-7ED2C98AFD02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a5628edc85fe271b05b9a9ff57c20250d510c7f4","datavalue":{"value":{"entity-type":"item","numeric-id":2723424,"id":"Q2723424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"14e0d8f72ab1c0c4826f447d73f0eae39b9cf61b","datavalue":{"value":{"amount":"+0.7484177947044373","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":"Q1694465$66F96698-B777-4801-8C7C-5F3CDC34C79C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1694465","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1694465"}}}}}