{"entities":{"Q6560901":{"pageid":14172056,"ns":120,"title":"Item:Q6560901","lastrevid":42348878,"modified":"2025-06-12T08:11:12Z","type":"item","id":"Q6560901","labels":{"en":{"language":"en","value":"Algorithms and data structures for first-order logic with connectivity under vertex failures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7870312"}},"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":"Q6560901$E7211D79-8800-4915-9A1B-8702E05D1C95","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fe33fb7f9a4431fd73b08569d608e98fa1ab1d57","datavalue":{"value":{"text":"Algorithms and data structures for first-order logic with connectivity under vertex failures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6560901$86D089A5-4534-425A-A6A2-E2F6BD91AA5F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e229a7272481236f52fa95a4480b3f630728e07a","datavalue":{"value":{"entity-type":"item","numeric-id":262250,"id":"Q262250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560901$C6FCF6DE-16B6-4BCF-AA02-B31191C2CC12","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d403c0dbcebd995711995e423b8ded3790c3c4f5","datavalue":{"value":{"entity-type":"item","numeric-id":6082226,"id":"Q6082226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560901$65101FFE-4699-4B7E-B7C2-40FF73D4B5B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6f61c2516aa40ce87ce4cd042da97159dcc1258","datavalue":{"value":{"entity-type":"item","numeric-id":322315,"id":"Q322315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560901$6E10A881-53DB-49FB-BFC2-AD460854114D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb8895ab41da7ca8777b6718ea89096c669323e0","datavalue":{"value":{"entity-type":"item","numeric-id":286117,"id":"Q286117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560901$53FDE6C9-8912-406A-B86D-157796E2A4AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e0566a814c23d3705b79606a5a59ee50724b166","datavalue":{"value":{"entity-type":"item","numeric-id":2097344,"id":"Q2097344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6560901$53E24072-65F5-422F-9261-9BA3FCB7A3AB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aad9968298383135691f4dcdd005dbce68275c0d","datavalue":{"value":{"time":"+2024-06-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":"Q6560901$073778B9-70C2-4330-B35D-7C109020BA76","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560901$4013B036-7468-461A-BF83-3731C074D998","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560901$B7945B84-2852-40C2-979C-2D808CC8FACC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6f7260c90a41ec635e4942cdb17767c9b85ec590","datavalue":{"value":"7870312","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560901$98B330C8-8881-4215-96B3-32C6E5A76E5B","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b07a25e18e96ea822d3550f2b60ab53095b5ef5b","datavalue":{"value":"combinatorics and graph theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560901$39EB522A-CF27-43ED-9DDE-0D0C240E84C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"238ec9053b02bbbdf695ea68b9f0bc1eaf32c0ec","datavalue":{"value":"computational applications of logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560901$5756620E-0944-48FB-97C0-CA8550C73992","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43d8de44b3f88bd19a871628a3509981cd748562","datavalue":{"value":"data structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560901$1B3B3E54-462C-4E54-9402-D653B61F3FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2736b925ee1698077c2535c23f763e1e699332d8","datavalue":{"value":"fixed-parameter algorithms and complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560901$97F82196-98D2-49FD-9BFD-D09F9BE48E2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ed3b495ba8c3c3bf5babb1d3213a6c0bf58078e5","datavalue":{"value":"graph algorithms","type":"string"},"datatype":"string"},"type":"statement","id":"Q6560901$0B947C0D-174A-48F0-8A9E-9B996F00F383","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":"Q6560901$E7A41919-C41A-43B6-910A-5E2F8288AD20","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5f4a5cd6f6aa904a9f5a52e54a57e7eaf09a4e71","datavalue":{"value":"10.4230/LIPICS.ICALP.2022.102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6560901$903DC818-86DD-4A90-9906-2AC1EF044E09","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6560901","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6560901"}}}}}