{"entities":{"Q4595595":{"pageid":6625180,"ns":120,"title":"Item:Q4595595","lastrevid":41666356,"modified":"2025-05-06T23:08:27Z","type":"item","id":"Q4595595","labels":{"en":{"language":"en","value":"SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6815546"}},"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":"Q4595595$1FBF7644-2644-41ED-8A41-C70142820FF6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"95d66cc80906df50c03c975fad917a11046adf39","datavalue":{"value":{"text":"SMC4AC: A New Symbolic Model Checker for Intelligent Agent Communication","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4595595$5F01ECAD-14D0-45B8-9B6B-575AB9B8E181","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3b3d78d3cf74fcb561a480deeb9c16d40ea5c08d","datavalue":{"value":"1375.68078","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595595$F9177763-DB60-4C97-B766-94BBB1F09848","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"01e983a6cf45f36789369d90ea4175f4a188cad4","datavalue":{"value":"10.3233/FI-2017-1519","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595595$FA0ECA8B-D7F4-4F37-8168-26AF26AFA5CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9f797a972752266a19cbb445969daff1669da9f8","datavalue":{"value":{"entity-type":"item","numeric-id":4595594,"id":"Q4595594"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595595$18A684B3-D5B3-4911-8C52-9ECBF9476579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5bed19bc2addd9f5bf02ef14c22e3afebb03d7d","datavalue":{"value":{"entity-type":"item","numeric-id":2999246,"id":"Q2999246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595595$CA731807-4552-4855-A1C9-CDBFD058BB4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2319ecfd84feb87551cf5bc57e7e7e87e6a447c0","datavalue":{"value":{"entity-type":"item","numeric-id":2999245,"id":"Q2999245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595595$EF84A806-6D49-4D4A-83BB-901F9B7292EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e4b7b7694de42580b828c1d9702cbdf9a379289","datavalue":{"value":{"entity-type":"item","numeric-id":947795,"id":"Q947795"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595595$6AA53C32-7118-47A5-8816-CDC1C3EE675A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccc87e5757b5bb80152295a027ae4d26eb0172c1","datavalue":{"value":{"entity-type":"item","numeric-id":2999247,"id":"Q2999247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595595$DEEB29E5-6C47-4E91-AE11-7D3F4EBFFCD3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"1529db038bde6a8aed76ac5e8432917aee1a9200","datavalue":{"value":{"entity-type":"item","numeric-id":2803574,"id":"Q2803574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4595595$4F1C7D66-8B04-4CEE-BA14-9A9F9EED5311","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cdab343d1a060561d678a5315e50f7f9875dcc76","datavalue":{"value":{"time":"+2017-12-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":"Q4595595$7F134ADB-D460-484A-A503-07EF334A0468","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595595$C49CCF47-FAA6-4EB8-B7A2-AFCD893E4517","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cdd1cf392cd8eab04f6572994dd151dd095c5f5a","datavalue":{"value":"6815546","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4595595$0214529D-3ADE-4C64-B09B-335DD9102CA4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"85b3d3000e800deacd177f7f11c5053f9fca37d9","datavalue":{"value":"symbolic model checker","type":"string"},"datatype":"string"},"type":"statement","id":"Q4595595$D18249DB-49D9-4E68-AA59-EB7DAD1F1315","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b689fcc2128c18f58d182a22575270aa094ad664","datavalue":{"value":"conditional commitment","type":"string"},"datatype":"string"},"type":"statement","id":"Q4595595$19B73292-6087-479E-B34C-472A089DF8A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"638f621edc6573dd4b9c496b49cabbe731df7830","datavalue":{"value":"conditional commitment actions","type":"string"},"datatype":"string"},"type":"statement","id":"Q4595595$C35FA2E9-A64E-494B-AC05-D65601277044","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"78e469cb56ef748b3f9619abee5f10dfa052a7b9","datavalue":{"value":"expressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4595595$E982B848-705E-470A-BD50-8E4D56449750","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"61fafe7b39e19b1ce3e7a8a5ff1f582b7749617a","datavalue":{"value":"commitment action modalities","type":"string"},"datatype":"string"},"type":"statement","id":"Q4595595$E1997531-271A-4A17-9E6D-90EDBBD2339F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4595595$B99D80D6-7F71-4593-8D77-AF6A5EA78603","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":"Q4595595$17104E93-F053-425F-8218-C387CF7A8256","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f7bf3ba22f1df87a325e726eb4975cb62ff8e244","datavalue":{"value":{"entity-type":"item","numeric-id":4260709,"id":"Q4260709"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2a083a033f5a2838014c8dfe657cf22afdd3fb33","datavalue":{"value":{"amount":"+0.84476435","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":"Q4595595$AAE46155-9950-4D09-835C-A4DBC0159DFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95c80cddb6e959b85dcb0d73bf6d9ca1bb6c5489","datavalue":{"value":{"entity-type":"item","numeric-id":3433724,"id":"Q3433724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea457fb0dd52ce22cec701073e5ec1c44a5fb3fc","datavalue":{"value":{"amount":"+0.84200877","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":"Q4595595$2F850FE3-84CA-4DB9-90DB-F909E1136DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2883aa54596a176e1ba114458028922de336a969","datavalue":{"value":{"entity-type":"item","numeric-id":4413373,"id":"Q4413373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4464482a239af95d927ca591aaa6272dfdd8eeb","datavalue":{"value":{"amount":"+0.84179","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":"Q4595595$AD29BCB2-86D6-4290-8467-C5C855708C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94f84670331ba87cfa916e7454a7b5bcf3f69c9b","datavalue":{"value":{"entity-type":"item","numeric-id":5394113,"id":"Q5394113"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93e18111f59a896b9b9fedc5c9a1f19fec916c19","datavalue":{"value":{"amount":"+0.8376364","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":"Q4595595$61F37AF6-2F90-42F8-A2AA-B74B0C8CADD2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26d04c27f84e2a857bf313b4b509998c5d74de10","datavalue":{"value":{"entity-type":"item","numeric-id":3056327,"id":"Q3056327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"82131d00ae117fbf7099af08c4928891651daced","datavalue":{"value":{"amount":"+0.83666307","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":"Q4595595$F9099330-F1BC-4ACD-B1A3-151E2D3966A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b70573db95a8f75722c48f229fe3f419d8d97b1e","datavalue":{"value":{"entity-type":"item","numeric-id":5311127,"id":"Q5311127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27138786b76fa4204afd2eaa28827ff25a4fa659","datavalue":{"value":{"amount":"+0.81936103","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":"Q4595595$ABC3AC37-A496-4844-AF93-4B9B8612DBE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c20c20699189fc74363d679cb9243b240dd46368","datavalue":{"value":{"entity-type":"item","numeric-id":3528915,"id":"Q3528915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d07dd01e2c2c58bb95200840c957e05790d524a","datavalue":{"value":{"amount":"+0.81795853","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":"Q4595595$2EC24572-F8E9-4F98-825D-570D286C6CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9f4948e6d0ab275ded2c0fc277953a0db0be5c30","datavalue":{"value":{"entity-type":"item","numeric-id":2873614,"id":"Q2873614"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78abfc2820e94bdb4c05eb9ed41fdfe966c2ff9f","datavalue":{"value":{"amount":"+0.8178002","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":"Q4595595$6850554D-A914-4A08-87D1-3017C5630858","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4595595","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4595595"}}}}}