{"entities":{"Q6535953":{"pageid":14147096,"ns":120,"title":"Item:Q6535953","lastrevid":55604956,"modified":"2026-02-17T19:35:57Z","type":"item","id":"Q6535953","labels":{"en":{"language":"en","value":"How hard is finding shortest counter-example lassos in model checking?"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7817378"}},"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":"Q6535953$05EBD909-DA16-4A88-A170-1778099035E2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"be7bb7f98134c9f08b689aa149664efb6bacd397","datavalue":{"value":{"text":"How hard is finding shortest counter-example lassos in model checking?","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6535953$5FCB1195-544F-4900-8B11-6E8E53C4C64B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2e8a699265b6157c4017f6ff8b432da718efa338","datavalue":{"value":"1539.68159","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535953$610A512C-2E34-480B-ADF3-791B426D6ACF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f8dde4102bb8ebf8c7ec4ff400bec4184a563937","datavalue":{"value":"10.1007/978-3-030-30942-8_16","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535953$35430FB9-B055-49C6-A118-79DFAA88C12A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7d5826cb46f670122cdc676198f817f684799cc9","datavalue":{"value":{"entity-type":"item","numeric-id":453534,"id":"Q453534"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$DF074ABA-EFBB-45AB-980F-D4484E3BD32F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4ecd18d7913b3cf9c39e121783283be5c3dae84c","datavalue":{"value":{"time":"+2024-03-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6535953$EB4BEADB-F0E6-48BB-833D-33B57C8EE785","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535953$24809014-85E4-4C33-8124-4CE7D7BC472F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535953$5D950087-D4F4-4759-BDB2-157829F2969F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535953$C342401E-834E-48FB-9D71-3B459861BAF8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ad75189aafce21b1aba4084ce2b59dbe3912ff86","datavalue":{"value":"7817378","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6535953$2E18C5CD-8C03-494B-82C7-14718C7DF807","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":"Q6535953$7702DCCE-8319-4606-84F3-9E8F2E93BFDB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1c4da404ab0c4b1d5f60a4c427d3093e00c684af","datavalue":{"value":{"entity-type":"item","numeric-id":6109597,"id":"Q6109597"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$F182CB1F-6CEA-4609-A054-BF88746E84D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"257a1d2953e29e353acc85e75297d9fc4987bd53","datavalue":{"value":{"entity-type":"item","numeric-id":5890066,"id":"Q5890066"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$985929D3-4D67-420C-BEE0-6B57463EF88F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8316b64420827c44550db619ce4f638252ba97c7","datavalue":{"value":{"entity-type":"item","numeric-id":617930,"id":"Q617930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$FB6FD24A-1392-4F73-B33C-A00BED2DD3A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1aa9b5d0c56311195cd63dcd3b9fc80602361c55","datavalue":{"value":{"entity-type":"item","numeric-id":3564867,"id":"Q3564867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$7A199ACB-1DC9-47DD-B6CB-1DF6F1071DB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2b7faa7f810420c367b1a59b87757c86e62516b","datavalue":{"value":{"entity-type":"item","numeric-id":5317190,"id":"Q5317190"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$731DB1C1-9BE7-412D-A967-05DCE7C2B484","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a852f9828a60d6febd0b82b3b250f25d038b258c","datavalue":{"value":{"entity-type":"item","numeric-id":5458316,"id":"Q5458316"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$A1D2DF62-73F3-429D-9C4E-FF1D28AC8392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2da1b6ccdc40b1eaa84db87b74ef6f0227e0afac","datavalue":{"value":{"entity-type":"item","numeric-id":5308368,"id":"Q5308368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$50D2DBB9-3E8B-4A82-B8A0-2DF8F51BCD28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd9da60a7b89ed85c50afcb702099ad11a9c17ef","datavalue":{"value":{"entity-type":"item","numeric-id":4426376,"id":"Q4426376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$2B733A81-6DE7-4D99-9FA9-AEFC38676FA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09c206a4d873508ebde0dad6d97704d245c7da01","datavalue":{"value":{"entity-type":"item","numeric-id":5756590,"id":"Q5756590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$9D3EF024-D78F-4712-8508-6C46270975AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd36ac6979365566d2d1f66a4b1d6a274cf660dc","datavalue":{"value":{"entity-type":"item","numeric-id":4817542,"id":"Q4817542"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$1737119A-5FA7-4A7B-AD56-96F735CFF94B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb358be5e0b694e83491b951382330769152db4b","datavalue":{"value":{"entity-type":"item","numeric-id":5703781,"id":"Q5703781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$FB7565E2-328B-4889-85B5-DF2F06BB2985","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"829c2fc52e5b12c8e00ff0f0fcc73378436c283b","datavalue":{"value":{"entity-type":"item","numeric-id":5703757,"id":"Q5703757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$88C8A6B5-C569-4BF7-8F9E-E4C81514ED7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79eec4b97bec28f5713ef898e819be0ee7fa02ca","datavalue":{"value":{"entity-type":"item","numeric-id":5897061,"id":"Q5897061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$6373BD22-3552-4A16-A1A6-E89549648229","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a791e6b13200f21127f48f475b5988c15175f95b","datavalue":{"value":{"entity-type":"item","numeric-id":5663889,"id":"Q5663889"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6535953$1F1AE2CA-A49E-47D2-A582-9A7A73FED05B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"052eef5bfe13e7e87b56a0267c03cfd0c3099e2f","datavalue":{"value":{"entity-type":"item","numeric-id":5703781,"id":"Q5703781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cf4898cdc58317356e8b15539018a478f5dc9b9","datavalue":{"value":{"amount":"+0.7818965315818787","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":"Q6535953$15FA073A-EF5E-42FB-BE48-70768440264B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c4988712215a27e6788514c88617f586fd69569f","datavalue":{"value":{"entity-type":"item","numeric-id":5756590,"id":"Q5756590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"70c81b888cdf07686fabe56ec56076ae6446bbe9","datavalue":{"value":{"amount":"+0.7480391263961792","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":"Q6535953$F356297C-A757-4C9B-A8FC-D8FCE667E24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"437b98c01b6db117ed8768fb1a95a5a149ac0678","datavalue":{"value":{"entity-type":"item","numeric-id":5758104,"id":"Q5758104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cf8b7a1233b863646f2a9ec35d59d1e4094a9ac5","datavalue":{"value":{"amount":"+0.7382318377494812","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":"Q6535953$9A52F1D7-1CC6-4590-9C5A-69A0FB83CCED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3ec44ddd6b0d6ce7d34a2d26f70d234a4006ca6a","datavalue":{"value":{"entity-type":"item","numeric-id":6109580,"id":"Q6109580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f337df75e46bd960dd1b025a763d480d425eb6bc","datavalue":{"value":{"amount":"+0.7372645139694214","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":"Q6535953$26C5F4B9-90AE-40C9-8FEB-7DFE1FA4CE33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6991648116bdab624cd6c1ff28ba26622807dd79","datavalue":{"value":{"entity-type":"item","numeric-id":402125,"id":"Q402125"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44a599ef7e19d764a1745049f7962b5dc96e2b75","datavalue":{"value":{"amount":"+0.7261016964912415","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":"Q6535953$2A725182-52A0-45B5-A56D-06F9EBB634CE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6535953","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6535953"}}}}}