{"entities":{"Q3196630":{"pageid":3207338,"ns":120,"title":"Item:Q3196630","lastrevid":58147602,"modified":"2026-04-04T00:16:25Z","type":"item","id":"Q3196630","labels":{"en":{"language":"en","value":"Deciding first-order properties of locally tree-decomposable structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6502277"}},"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":"Q3196630$C4E8F793-629B-4BE5-BF8D-C0AB5730F4FD","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bc3120e948714fdf27593d2b4279bac01529532f","datavalue":{"value":{"text":"Deciding first-order properties of locally tree-decomposable structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3196630$F3316600-2C47-4E6F-9A3E-D7DCD789D457","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"db70b0b995f846048fd6e36658b43878424777d8","datavalue":{"value":"1323.03014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$489211D2-0CD2-478E-9910-0BA019CA2C0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8cbbc37359b5f80abe39ddd37078f4bce26ef482","datavalue":{"value":"10.1145/504794.504798","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$CA88EB3B-CA07-4F59-A17E-18EF3E915033","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d46b112ceaae6eabd09e396156bf812f4eb5b078","datavalue":{"value":{"entity-type":"item","numeric-id":705068,"id":"Q705068"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196630$C9F37029-B81B-4FAC-846F-6523DEE6EB44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9e472eff586da807ef811f77707a93e380b6a974","datavalue":{"value":{"entity-type":"item","numeric-id":414932,"id":"Q414932"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196630$96EB5729-C860-4B8F-AA4A-56B558ED936C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3196630$12C80E04-0BB8-4E63-A628-DBBF78F8DD6D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fedb92f8006ce865a5ead1bfbb356102d7f9117a","datavalue":{"value":{"time":"+2015-10-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3196630$28A4F0E4-A8F3-427E-B80F-6402E3DEE086","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"464bfc8e76077e402b5db33a61e3f6af7caf4155","datavalue":{"value":"https://arxiv.org/abs/cs/0004007","type":"string"},"datatype":"url"},"type":"statement","id":"Q3196630$A26E9FC1-AAD5-4954-913A-06D4EA25C08D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$E7106D00-15D4-46DA-BEEB-3F88D493AB77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"abca938afd309309893053e8ee4f51374fed9de6","datavalue":{"value":"03C07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$0393EF0B-2733-47F8-AA83-0E5F39ABC811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d5da87a72c21717089feda882f568938059a9d84","datavalue":{"value":"05C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$4EDA4636-16EB-46EB-9E6B-FA690B6072A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2fd5ba61c492f09082ae88370fa92e256be14e94","datavalue":{"value":"05C75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$D8E3C395-9152-4265-A819-C56919DF5B1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$8CF06B88-816E-4D42-BD61-FF346AD91D36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$522ACE1A-0CDA-4D79-84C0-16E2A0DF973D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"835aecb122773b224e23cb59637422e6729e425d","datavalue":{"value":"6502277","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$2C7AC738-4456-4DE2-8D09-7AA86AABF2DF","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196630$F5D68DEB-0A0D-459F-BD9E-B0713683AB2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d5b73a08163a09a75cd91878ee7b2e9cf204284","datavalue":{"value":"locality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196630$7CFDE89C-1458-489B-B39E-B4D4175DE560","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196630$44538D0E-1B31-43CA-BBC4-A8781DEFF35B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ee63604621b6fd9d90b10f19ccdd9c167a66b1b6","datavalue":{"value":"parameterized complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196630$C4D0E822-D8B5-43FD-8BA4-C282DA53FACD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a602521768d4795b8ce801eaf970fa00075370dd","datavalue":{"value":"planar graphs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196630$9DACDC45-6874-4E92-987F-46B0AED5B0D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3aba3b4c4bf56136293d6b03ec1be4855905189a","datavalue":{"value":"query evaluation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196630$643F951D-19D5-49D8-BEB0-01F154EE1BDB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b81b0e661ffd7a2b0cf4d74a6388abe874250e20","datavalue":{"value":"tree-width","type":"string"},"datatype":"string"},"type":"statement","id":"Q3196630$1F756FB1-D4B2-4680-8908-1B05F28E7967","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":"Q3196630$CA8AC843-2319-4210-8461-0AAB11EE81EE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"556e2a4e28a394bb43f7ea18b5047764b7b1b562","datavalue":{"value":"W1993920925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$4072AF4B-DE03-4B95-A3A8-A374579BC9B9","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"2f3621e029900711c3d50525f7b6ebf963dc96ef","datavalue":{"value":"Q127770703","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3196630$AFC38A75-5D48-4C4F-A2AA-68909654E14D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09bd85c7f7f312b1dac0612b3617426c749024a1","datavalue":{"value":{"entity-type":"item","numeric-id":4938635,"id":"Q4938635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a5c6f22c3a3e6f2667eb16594888f53216ff00","datavalue":{"value":{"amount":"+0.9610965847969056","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":"Q3196630$51F3FFD2-77AC-464F-84B9-CFA10031D2A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3c35b9f1da2e882266b36487d39e3e03a97c0948","datavalue":{"value":{"entity-type":"item","numeric-id":2931403,"id":"Q2931403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3a5c6f22c3a3e6f2667eb16594888f53216ff00","datavalue":{"value":{"amount":"+0.9610965847969056","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":"Q3196630$8C8AC8C3-E518-421A-A9AD-4C7A2EC3D641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e85e772e69852ce8d4fb807df81167473ec599e5","datavalue":{"value":{"entity-type":"item","numeric-id":4736877,"id":"Q4736877"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2238efe601ac6589369817e189ed12ea65204222","datavalue":{"value":{"amount":"+0.9000211358070374","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":"Q3196630$B4842B65-B9DB-491A-BA40-BEB5E2F5F6CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af9b7f969df8d1506d8a38e9f0ae7eb93c09e481","datavalue":{"value":{"entity-type":"item","numeric-id":705069,"id":"Q705069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b6c38515fb94d4a354e18f03cd388e821f2b40ff","datavalue":{"value":{"amount":"+0.8852155208587646","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":"Q3196630$4FBAB70A-F9B1-47AE-8CA3-DEDFBD76C8F5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b364011c40ca50856e70fdaf56ab7e73a3d1e3ff","datavalue":{"value":{"entity-type":"item","numeric-id":5395732,"id":"Q5395732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f68e3582ad803187b7d2e137299478ff090218d2","datavalue":{"value":{"amount":"+0.806708574295044","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":"Q3196630$559D1C8B-A362-4299-990C-94A742B0FC28","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3196630","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3196630"}}}}}