{"entities":{"Q3393378":{"pageid":3404081,"ns":120,"title":"Item:Q3393378","lastrevid":50749226,"modified":"2026-01-15T00:55:02Z","type":"item","id":"Q3393378","labels":{"en":{"language":"en","value":"Easy Yet Hard: Model Checking Strategies of Agents"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5597326"}},"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":"Q3393378$57D267F0-7A34-4A61-A90E-B598D921127B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"951af0ddfbc67ba2b419c0c3b949d186235cb4b2","datavalue":{"value":{"text":"Easy Yet Hard: Model Checking Strategies of Agents","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3393378$48EC27CF-718E-4334-9DA2-E791BF182105","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ef84ab3cb9663f8f11d93acf2a4775c1f411dbb2","datavalue":{"value":"1250.68189","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393378$48A15C16-8926-4BF5-AFE1-A58046DD8D75","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"796964113941d7447097207e2a755da01bd6d9cf","datavalue":{"value":"10.1007/978-3-642-02734-5_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393378$7CB0E0BE-F22E-405E-9D4F-A593FDFF633C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a3bc5ca0cdf3d434f2877c83bb14fe1425e818e4","datavalue":{"value":{"entity-type":"item","numeric-id":885522,"id":"Q885522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$23541A78-2724-4D17-A535-355A6DA03861","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$955C93FE-926E-459D-BAEE-0C246AB406DA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0e37402ce5463f5ebaa93189340d9af4a5c60d29","datavalue":{"value":{"time":"+2009-08-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3393378$FFA1505E-8F54-44E8-B744-D9641D17DE82","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393378$D339E1F9-325E-40F5-82B4-7E09F92EE3B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393378$B7C0F020-BADB-4111-A00F-B25C5A175AAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"709ed67c42bb169499eabe0b6d04c203d4526e03","datavalue":{"value":"68T42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393378$C2D71AD2-B6CE-4037-BF1F-B89971D35CA1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4290eac49c9936c8430d25f72b79a1ed821aa5f9","datavalue":{"value":"5597326","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393378$6BABB167-AFA7-40D9-A402-707FB7C591E3","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":"Q3393378$B9F63268-AC54-4A8B-919B-69E065C2A093","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c6a1ee2f685de9f580241bd5d332af9ef151d1ce","datavalue":{"value":"https://doi.org/10.1007/978-3-642-02734-5_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q3393378$8731A6D1-5E40-4562-81BC-D6AAA8460079","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ce85dddb95a5d10e8de996c2c25fd502bc57ba47","datavalue":{"value":"W1506774075","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3393378$ACC0D919-20F2-4721-AAEC-C2AF3E397978","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d969bd9e9070eb4e4b53be99bf5557f5f64d3d3","datavalue":{"value":{"entity-type":"item","numeric-id":3455546,"id":"Q3455546"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$5E3015CB-A5D8-4374-AFF1-FC6C3C477920","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"731fff832e7711198e063399154f72f88c50c123","datavalue":{"value":{"entity-type":"item","numeric-id":3719811,"id":"Q3719811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$C5474F69-C427-48AF-B0DA-0C35194EF469","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$73A36FB0-7AD1-4426-A21F-8E8F2BAFF06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2990e15db3ec1299bacd39e760b2d345098c103a","datavalue":{"value":{"entity-type":"item","numeric-id":4845472,"id":"Q4845472"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$4060A142-917E-4FD8-80BD-BB807D3ABB61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"535088cbd928b7e9a1ce72f8128999f90728a6c5","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$34F23A53-9144-49CA-9876-737E93BBE402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d0b3d39649082ff6de9169c6e51eb8e1d8d7a0b","datavalue":{"value":{"entity-type":"item","numeric-id":5385339,"id":"Q5385339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$1C572828-D8E0-4F60-A3E0-436054C5FA37","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ea58ba5e953470bc04804e0c29c2bf92082f9c67","datavalue":{"value":{"entity-type":"item","numeric-id":672975,"id":"Q672975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$30E33E57-6E2D-4292-AEB8-85E8D5C15F7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c582060737d520be05bf96bf4f63b09b055803f","datavalue":{"value":{"entity-type":"item","numeric-id":5758039,"id":"Q5758039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$93D65327-135D-4B18-95BA-D4309493A948","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d94180abb213aaad0850b50fd5843df2553fdabd","datavalue":{"value":{"entity-type":"item","numeric-id":2844043,"id":"Q2844043"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3393378$C5BBDA33-98A1-4591-B8E9-AC9658D2A457","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f5cf77b0af3bb0c9e9ba9f2d7179ac2c92fa53ec","datavalue":{"value":{"entity-type":"item","numeric-id":3056329,"id":"Q3056329"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64047a2a986d4fc7fa5b4e55737e1503b0d0fad2","datavalue":{"value":{"amount":"+0.8414075970649719","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":"Q3393378$9ABE39BC-093C-4E7D-9AE7-0F51D6024DDE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba22e4f2c260d9ec18961b825ffc9b5847ecf705","datavalue":{"value":{"entity-type":"item","numeric-id":5395080,"id":"Q5395080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"065ff3c3e732d4f167eae4a9750ea7d73818d8ec","datavalue":{"value":{"amount":"+0.8282098174095154","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":"Q3393378$72835393-6575-4D48-A05F-D9C2BBAFC0B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7e6d6b36f1cdd9e12aa75c2139e1c1312794d065","datavalue":{"value":{"entity-type":"item","numeric-id":2481560,"id":"Q2481560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fe03bc0a6c5d1ebc33e7e3cbcc8dbccd8f2073e","datavalue":{"value":{"amount":"+0.7940662503242493","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":"Q3393378$2F04A6E8-23C8-4F9E-BCBB-D5221206E6B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"47a692f977b2b5a6577b9e26d31d979c09bb8c82","datavalue":{"value":{"entity-type":"item","numeric-id":5311048,"id":"Q5311048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38d27f5700a74490305619e40be37c3e79117f41","datavalue":{"value":{"amount":"+0.7908936738967896","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":"Q3393378$D02D0EAF-82BC-4A98-92A2-CA33BE1901DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"415e88a42b78dc33d2ad21cae3bb2a5da9cab99f","datavalue":{"value":{"entity-type":"item","numeric-id":2946746,"id":"Q2946746"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e735cf4f011d0fe863c382e757f4d7a5c3462756","datavalue":{"value":{"amount":"+0.7897012829780579","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":"Q3393378$84F8A6A8-1295-4BAE-A5A0-8A761040008D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3393378","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3393378"}}}}}