{"entities":{"Q6538674":{"pageid":14149817,"ns":120,"title":"Item:Q6538674","lastrevid":42338096,"modified":"2025-06-11T19:02:09Z","type":"item","id":"Q6538674","labels":{"en":{"language":"en","value":"Model-checking for first-order logic with disjoint paths predicates in proper minor-closed graph classes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7848101"}},"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":"Q6538674$B36AF5E2-18CE-4071-842E-C5ED414611B5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"34e0ac2409e9275df3e786d86f8df8d39bd36958","datavalue":{"value":{"text":"Model-checking for first-order logic with disjoint paths predicates in proper minor-closed graph classes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6538674$6DF3241F-4A3C-4A1A-9F4B-FC629DAF5100","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a4df628262abf79464ed4f15ac79f197844f8c4","datavalue":{"value":{"entity-type":"item","numeric-id":259036,"id":"Q259036"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6538674$5504DDEF-FBA7-41EA-89AE-7F115C44237B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4cc6dedfe21f5b414287c502dbc2427a2eaaebbd","datavalue":{"value":{"entity-type":"item","numeric-id":777433,"id":"Q777433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6538674$D67452AD-4AC3-40CD-9E6E-B3E4DAF8968C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1348fb004fb071dffe1335a9785ae0b754bd6be2","datavalue":{"value":{"entity-type":"item","numeric-id":284716,"id":"Q284716"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6538674$9807DD78-4BDF-4912-9FD0-714B71A43394","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e8e66a32d534df6de0df71c4be5910df36dd6c70","datavalue":{"value":{"time":"+2024-05-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":"Q6538674$E8E29DC2-0842-4161-8673-14CA81949169","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"fa684c8d52e9da1094b0c2d762898ace723c7ee3","datavalue":{"value":"68Wxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6538674$376514B3-91FD-4A0A-904F-21D3EF31D633","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"486a489b8d2786585bb50f36cd09628db40f6c5c","datavalue":{"value":"7848101","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6538674$879E951B-6C03-4F96-8616-175AFA1E4948","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":"Q6538674$8C8461FA-942F-47F2-B09C-0072CFF0DB4C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6cb427323dd493a8ae76deb0e9403e9d297d2c79","datavalue":{"value":"10.1137/1.9781611977554.CH141","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6538674$48CD1E70-E199-41BB-BDDC-27D7FB6D2B3A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6538674","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6538674"}}}}}