{"entities":{"Q784136":{"pageid":785985,"ns":120,"title":"Item:Q784136","lastrevid":42693381,"modified":"2025-07-08T13:20:10Z","type":"item","id":"Q784136","labels":{"en":{"language":"en","value":"Cheap CTL compassion in NuSMV"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7228510"}},"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":"Q784136$8C391ACE-BE54-4BC9-A194-83E24B03D2AA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"901b3f3a304dc03f616f6593409e03a8507a97bb","datavalue":{"value":{"text":"Cheap CTL compassion in NuSMV","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q784136$3AE633FF-C016-4C65-9B6E-E6AA0FE7C436","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"3165d98b4bf715da760a59b6417dea2c66a59029","datavalue":{"value":"10.1007/978-3-030-39322-9_12","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784136$DDDFDBCA-5988-4B7B-8CB3-9F5D3930C3CB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9a5b77d50e2c99c5b8c02feff26f37fbdd9f645b","datavalue":{"value":{"entity-type":"item","numeric-id":784133,"id":"Q784133"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784136$E6821FF0-02FB-4321-BBF9-0D0B9FF1194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"26d9c71379638878987f3550595bc014dcf04816","datavalue":{"value":{"entity-type":"item","numeric-id":299189,"id":"Q299189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784136$64A5C96B-4EE7-4F1B-A503-AD9C931A80E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ef21ede925cbe85297cfcc48f1f46593c90e8b5","datavalue":{"value":{"entity-type":"item","numeric-id":784134,"id":"Q784134"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784136$6C48B29A-36DA-417C-A98F-0DF5A51D807F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"081890015b7983e00917a6fbb0e2352d27c84c69","datavalue":{"value":{"entity-type":"item","numeric-id":784135,"id":"Q784135"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q784136$88BE8E1B-AA13-48F7-AD47-C35860254614","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"367b52f871d6b5e824ee75b3e7162a8cd956fdbd","datavalue":{"value":{"time":"+2020-08-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q784136$D4C319DA-E4A9-45A1-9A42-C85688A179A9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784136$83EDC391-7DBC-4EAB-8D6E-A5666CCAAF66","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"641cf03b36c260fa85f24a0535f863fe8e9083b0","datavalue":{"value":"7228510","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784136$1273DBD5-CC04-43A2-AF16-D91AF5DD9E9B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q784136$25AD6B37-7172-4D35-BCC5-989E51523918","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6df504878f8879f8679dbfce92c886241791d36a","datavalue":{"value":"fairness and compassion","type":"string"},"datatype":"string"},"type":"statement","id":"Q784136$5427AC59-FE3F-4E63-B8B9-F1792BDEF8F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"af948ab56df44408fff2ba197f928e63c9954960","datavalue":{"value":"CTL","type":"string"},"datatype":"string"},"type":"statement","id":"Q784136$798F0701-ED15-4BF2-A95B-C8C2C4D1B782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q784136$2620F8BE-5107-4445-9728-590C6BCBBC02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33e6e7fbc044e24a636f416a29bbfa6df53e6435","datavalue":{"value":"NuSMV","type":"string"},"datatype":"string"},"type":"statement","id":"Q784136$C6F47AC6-6CFB-4A87-9F8E-9960E374396F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3b277d5c1fdcf85c420ab8edc13f2c16380fbc05","datavalue":{"value":"parity games","type":"string"},"datatype":"string"},"type":"statement","id":"Q784136$B735D166-7C98-4EF2-A1C4-D95E611BA6B9","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":"Q784136$4FC2FE6E-C912-4F82-99E3-62F6AA4F2910","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"0a4d681c054e238499dd4f8a900b75d3e9f27ad8","datavalue":{"value":"https://doi.org/10.1007/978-3-030-39322-9_12","type":"string"},"datatype":"url"},"type":"statement","id":"Q784136$A3CAF01F-068C-40BC-988A-4137E6BBC7DA","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97ba08af70f97fd1f2c55d46e650be40a2d47244","datavalue":{"value":"W3000207228","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q784136$840D4D4D-6B9D-4EC2-858F-9DC163E9432F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac285ed5459b103c3a66aa3bd8853e91d2d776dc","datavalue":{"value":{"entity-type":"item","numeric-id":3325055,"id":"Q3325055"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f49a6de4e315fa761405bad3d88c23b1bf8ff4","datavalue":{"value":{"amount":"+0.67348444","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":"Q784136$5B4EB013-3AFA-4457-AD5A-93C9211278E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"917bd99cb64c5b19f21256598e8cf0438a5414c4","datavalue":{"value":{"entity-type":"item","numeric-id":5115147,"id":"Q5115147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f372ca6702a5338496c2cdec6f15652c160d835f","datavalue":{"value":{"amount":"+0.64849305","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":"Q784136$7CC352C2-10AC-466F-84C3-83E436C7AB78","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25e0c9879de3cc1d3222aac2641bf7a8375da221","datavalue":{"value":{"entity-type":"item","numeric-id":869851,"id":"Q869851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d754385ff1f7fbc40da7964ff86f2c0e8ba9b511","datavalue":{"value":{"amount":"+0.64141893","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":"Q784136$9BB18690-46F8-46B1-8190-1A27CCC60F5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f934670478e4ffd1cdb4a775cd88e1f4d73baa0","datavalue":{"value":{"entity-type":"item","numeric-id":5947657,"id":"Q5947657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea8f5b0271c9d4555eaf3f4c5f5552dbba40c87d","datavalue":{"value":{"amount":"+0.63315296","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":"Q784136$FB461A43-4D1C-4D70-A2B0-1E05EB027837","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb4f103f4c1d4b7a2b45b9e0b414a6b2c70720bc","datavalue":{"value":{"entity-type":"item","numeric-id":4635797,"id":"Q4635797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"36c47ae6e35599173147745af882abe9ebc8a46c","datavalue":{"value":{"amount":"+0.62797874","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":"Q784136$96E6D24D-2C60-4835-BF4F-6FE89D7F78D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74aebb30bbdc2a324972fd9a258d0376d63dc07f","datavalue":{"value":{"entity-type":"item","numeric-id":3470324,"id":"Q3470324"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61991facd43e89e65dba35819e5d2754f5fc2865","datavalue":{"value":{"amount":"+0.62755394","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":"Q784136$9F22D623-30AE-4064-B2D6-3D8AC35A86F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aa1954d249aa8e1ebbbe6d5ee62b90d8a3b5a8e7","datavalue":{"value":{"entity-type":"item","numeric-id":3802124,"id":"Q3802124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f5f7079bb2971e2cf09198133a60dc9e7535204b","datavalue":{"value":{"amount":"+0.626317","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":"Q784136$7B65021E-6EE8-41F5-8E50-71DBF112B124","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa3e90abfcfca3503200b666c8f3f8ba4992d2ca","datavalue":{"value":{"entity-type":"item","numeric-id":2708174,"id":"Q2708174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a04cedfc1d835f5b25fcfff44565b7bbb03abb67","datavalue":{"value":{"amount":"+0.6240194","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":"Q784136$D82C8DD1-746A-4688-8204-C8B10C9B9207","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"438f495f5f06cde279ad30f52e267f5b2bbd126a","datavalue":{"value":{"entity-type":"item","numeric-id":263377,"id":"Q263377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15752a4e597329918b303620506f96472963cec8","datavalue":{"value":{"amount":"+0.6172292","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":"Q784136$A0900CEA-C80A-4447-A06E-40BF29F2CA05","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:784136","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:784136"}}}}}