{"entities":{"Q6602437":{"pageid":14213594,"ns":120,"title":"Item:Q6602437","lastrevid":42375003,"modified":"2025-06-13T16:21:33Z","type":"item","id":"Q6602437","labels":{"en":{"language":"en","value":"Extended MSO model checking via small vertex integrity"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7911086"}},"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":"Q6602437$14FF9283-653E-4282-B6BA-9152789F3AD1","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"5a4bd0db0637b25ae1cb863b44b053aa963d80fe","datavalue":{"value":{"text":"Extended MSO model checking via small vertex integrity","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6602437$3E154DF5-0020-4FCC-B69F-7DA43D1E7599","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"948c1fbfa0d577d847e4d86c069d09225b8dbbce","datavalue":{"value":{"entity-type":"item","numeric-id":2135633,"id":"Q2135633"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602437$1CC392A0-B32A-4269-8245-BCB5E53ABAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"491e49641b9a7fc83140709ba9e2454ea271a7e0","datavalue":{"value":{"entity-type":"item","numeric-id":284349,"id":"Q284349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6602437$6AC502B4-DDBE-43AE-90E3-D065D650B157","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"984357184e36bd48b60e905848ca8fb15ede5c75","datavalue":{"value":{"time":"+2024-09-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6602437$DF453E97-FAAA-492C-8A86-08FFFE635424","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602437$F66432F2-58F7-462F-8067-AE8A141BFD54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d788e7c44a72d2cab289e4d56b36587711909b4d","datavalue":{"value":"7911086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602437$0962A3EA-E311-4800-A858-AA733B58E4C2","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09ca41b248cd35e115d1e984d56db3a0f9aaed2f","datavalue":{"value":"vertex integrity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602437$C77CBC76-7742-4A99-885B-C2D5A05896F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d16b11223dd43ac9feeeb5b11a98ef1a7a06ae9a","datavalue":{"value":"monadic second-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602437$05D89D6B-4729-4D54-A9AC-8AB044E67636","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9ea69f98993ec8c397b4afcc0cf69fb524db51","datavalue":{"value":"cardinality constraint","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602437$686AC2B4-D1DE-4633-88D0-D3D3F66C027D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1520de8379415749656b1e95045c660d5b7f1330","datavalue":{"value":"fixed-parameter tractability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6602437$4376BF0B-42D3-41BA-A07D-C2B03CBA1729","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":"Q6602437$B724A9E8-AD10-443B-AC1E-BC48B97ADEFE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0d5422cb9d36c9a60f39fb09112b78b9b697c979","datavalue":{"value":"10.4230/LIPICS.ISAAC.2022.20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6602437$43B85F86-8335-4C94-8252-51326222D441","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6602437","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6602437"}}}}}