{"entities":{"Q5377331":{"pageid":7406905,"ns":120,"title":"Item:Q5377331","lastrevid":53432273,"modified":"2026-01-24T23:06:22Z","type":"item","id":"Q5377331","labels":{"en":{"language":"en","value":"Towards encoding of the transition relation in dialogue games model checking"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7058609"}},"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":"Q5377331$BA1640A1-087A-485C-97F5-66D394739461","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e89210bf867ede194b03840bd0dd4065bb72fb31","datavalue":{"value":{"text":"Towards Encoding of the Transition Relation in Dialogue Games Model Checking","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5377331$9C4E33CC-93AB-4DF5-81B0-4A11B182ED76","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a10fef79dfdc57eeba4c11a2d5e99bbf9ac1e2ca","datavalue":{"value":"1412.68272","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377331$4AC6EFDD-9A45-4F26-9402-064EC8EAE633","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"986c10c6a6c1b366b83b622820a8ae3682749cf2","datavalue":{"value":"10.3233/FI-2019-1789","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377331$1DC00F83-76FE-4A7A-BAF0-9A1FBACA515C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"810cbe553b98d8e1c45421f91ffbb63927fe60fb","datavalue":{"value":{"entity-type":"item","numeric-id":2814137,"id":"Q2814137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377331$13FC3D3E-D2A2-4C7A-B331-3BE42C26AFEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e79a31f3b3f91522cc500cf523210d26a9fb2979","datavalue":{"value":{"entity-type":"item","numeric-id":2386106,"id":"Q2386106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377331$05E2D75D-A6BF-4679-8279-9A8D764BB1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1bb44238d3d4b231fcf029851dca2141f8623276","datavalue":{"value":{"entity-type":"item","numeric-id":310081,"id":"Q310081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5377331$2D9CBBE0-C768-4EF6-A285-8A801A6C292A","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":"Q5377331$7141D4CC-2808-4890-9279-E6DC9CC9071C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d38dfc661f60012b57cbd71c3932ffe0b466b646","datavalue":{"value":{"time":"+2019-05-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5377331$10D83F42-C17F-455F-89AB-9D1C61DF816E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ae2f4e9717dc72a20d2c4f17bdde30d85a417c","datavalue":{"value":"68T27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377331$98944D08-7B5D-4674-81B6-72646B09002C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377331$350B0899-EC53-47BF-A3E7-747D4D61E51C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0122c9a4c63363a30451eda734e2db3bb2d71c45","datavalue":{"value":"7058609","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377331$B512162E-516B-400E-A71A-AD30185F9149","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f36b588b1ba444441b56ccb7025685d04e2a0b5e","datavalue":{"value":"dialogue game","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377331$7EDB4CAF-742E-4F6C-BAC3-91E05389EFC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be5378d3dd7f2092a1587341192f72cd9a4acefc","datavalue":{"value":"description language","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377331$CD1AF07B-FA59-4032-B59F-31AC0BABB49F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f53fc31425cb6e4c5f21b1679171759152992cd","datavalue":{"value":"dialogue protocol","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377331$D175678F-E6E7-4F94-AFBD-925CC6A93159","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfee8d25f549802a90f3de9543d670f1cdc1e115","datavalue":{"value":"emotions","type":"string"},"datatype":"string"},"type":"statement","id":"Q5377331$C6C31E75-6C14-4F28-8068-EEF693F04E90","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":"Q5377331$62E83D60-7FF4-4102-B03E-A9044CC3B3F1","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bb814d0806d39402eb656aa62857f1fd652e0f17","datavalue":{"value":"Q128191155","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5377331$9A4A152B-B72E-4772-9611-490C61BB3FB9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"63237b1b65565a9b1f31dfbfd2e2dee4c362c368","datavalue":{"value":{"entity-type":"item","numeric-id":2814138,"id":"Q2814138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8ed2750eec6b529858dc62b7767ecdd30879fd3","datavalue":{"value":{"amount":"+0.7666409015655518","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":"Q5377331$9C85B810-A0F8-456E-A414-B3D324C3D61F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9b2b342bc29b50af2ae5f9ee1e8f437ae2c2102","datavalue":{"value":{"entity-type":"item","numeric-id":5316650,"id":"Q5316650"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b88db00e3401eb28ef522db30b2f09e6e19e3db","datavalue":{"value":{"amount":"+0.7356648445129395","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":"Q5377331$61BDE0DE-5B3B-4A57-B24D-A28314863CF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d2cded4c29fed855427a3e21f26681ddf1671df5","datavalue":{"value":{"entity-type":"item","numeric-id":2372183,"id":"Q2372183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fbd0938f19a3e511698268776f8f627dedffe831","datavalue":{"value":{"amount":"+0.7229363322257996","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":"Q5377331$E4F011F6-F5F2-44CD-9627-1ECAFB09A4F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f5052a19ea9c74f9c7c548ddfca8c2c6254bf0f","datavalue":{"value":{"entity-type":"item","numeric-id":1006459,"id":"Q1006459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a9212d26831634289d025cfb4674aa5dc05ab082","datavalue":{"value":{"amount":"+0.7210490703582764","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":"Q5377331$04533EC0-B74D-4CE3-9762-DE03A89277D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e590e2dc95a60eb934f9a4ec300c8ea6d33891f5","datavalue":{"value":{"entity-type":"item","numeric-id":3541827,"id":"Q3541827"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c03109b2082077decd6a91c088e39955e07bd427","datavalue":{"value":{"amount":"+0.7206599712371826","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":"Q5377331$0D2B5879-A606-4E14-BF92-938365A669DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5377331","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5377331"}}}}}