{"entities":{"Q3644741":{"pageid":5674647,"ns":120,"title":"Item:Q3644741","lastrevid":88569734,"modified":"2026-06-04T14:52:31Z","type":"item","id":"Q3644741","labels":{"en":{"language":"en","value":"Tree-Width for First Order Formulae"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5632000"}},"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":"Q3644741$0980FD45-E40D-40F0-ADEA-D78871EE05B4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2ae54baeebc4680d9413d8012cb4e443a6b997ae","datavalue":{"value":{"text":"Tree-Width for First Order Formulae","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3644741$97B85DBD-BFAE-49CD-90EA-C776A59389C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9e9577b2a35add57eeac6d211248afdf06786783","datavalue":{"value":"1257.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644741$797EFAAE-715D-4792-AA66-91DD4C189621","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f9e0310fc2067b03b7b5c623ee10f13e108f443e","datavalue":{"value":"10.1007/978-3-642-04027-6_8","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644741$745B7744-7A90-49B6-9597-DF79C4A03372","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"947b0ad529bbd133b148b2e5931c2f24813358b1","datavalue":{"value":{"entity-type":"item","numeric-id":329284,"id":"Q329284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$50ACC1B8-2107-40A2-A89C-D4152B599360","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dc69d9cd8ad54bf8541e1efbd5cdce331ff9cba3","datavalue":{"value":{"entity-type":"item","numeric-id":639282,"id":"Q639282"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$EFCF4D03-534C-40B3-BA12-71877DF9BEEE","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6ce06ac78cec2c642b9fbad4cd2a2e4121754d54","datavalue":{"value":{"entity-type":"item","numeric-id":3540165,"id":"Q3540165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$9A8E783A-44B6-4E5A-AE56-61475E1A16BE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"cf6cafc2e90b526a4df9e96f2b96ab84218f45b1","datavalue":{"value":{"time":"+2009-11-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3644741$AA7BD9B5-A6B7-406D-84D4-55F616225A5D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02b8916279c75aae42de085b22e40887196f65f0","datavalue":{"value":"https://arxiv.org/abs/1203.3814","type":"string"},"datatype":"url"},"type":"statement","id":"Q3644741$87AB5CA3-8958-4545-9E80-E4D1082939E1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644741$2D353330-9F2A-4F90-84BF-FD5A2AEE7870","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644741$DECB5C15-02ED-4E72-8528-EBD62541729B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d7656d1c841701431b0b3d99d23720089a267cbb","datavalue":{"value":"03D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644741$F4A23474-05F5-4AC2-BECE-12F0EBD807B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e7ac53c44bb0f8a4c56c72f5c43e2b80552a4d4d","datavalue":{"value":"5632000","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644741$EB4B03A3-96FB-49CC-9ADC-456FE51307B8","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":"Q3644741$1CC61905-8010-4B1C-B0FB-407EC4D3EBD8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"daea472a598f8d6b304151d0cb87b4a67bcb859d","datavalue":{"value":"W1815771810","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3644741$3EA7A85F-0C8D-4F4E-A1D5-8731D5B681FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ba97fe4a9b1e9383a8f793de1c5b84a3a7ed1c5f","datavalue":{"value":{"entity-type":"item","numeric-id":3159383,"id":"Q3159383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$A76C32AD-532B-4684-8E48-6628DBCE91AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18fba91b74376872c9e652bfb5f4c751ac604923","datavalue":{"value":{"entity-type":"item","numeric-id":2642009,"id":"Q2642009"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$66A5BBBE-EE48-45A5-ADE1-4EE906FC478B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04f471840f59dfb8c114edc9772b7634bbe53e1c","datavalue":{"value":{"entity-type":"item","numeric-id":3614197,"id":"Q3614197"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$2F2A1F05-CEAA-4591-B18A-1057BCAB0CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"747a911f10480a7188a201d8808620458b2a3690","datavalue":{"value":{"entity-type":"item","numeric-id":5691297,"id":"Q5691297"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$30602F08-087D-42DB-B847-7D006FBE6C90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d282279ed10065867947540e184390ea8509d545","datavalue":{"value":{"entity-type":"item","numeric-id":1575132,"id":"Q1575132"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$69F0BF42-60F1-4494-8889-7EE716EF6C33","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67f90dc47ee396b12cae5fa6d2394d18487359cb","datavalue":{"value":{"entity-type":"item","numeric-id":5394580,"id":"Q5394580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$479DB823-43F7-4A94-8C8A-399D45C4B33B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"da5c6061c3f6daf7454d0e9c58daef6f441530aa","datavalue":{"value":{"entity-type":"item","numeric-id":4210136,"id":"Q4210136"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$1D4F8811-840D-42F4-A4CA-3491C39DA0E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d7efda439dae268c74b6da2abadadc010f670d1","datavalue":{"value":{"entity-type":"item","numeric-id":3455547,"id":"Q3455547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$384406FE-4E4C-4776-870F-F5480B0B10B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b070b31c61fde77c5210fef036722178c213942c","datavalue":{"value":{"entity-type":"item","numeric-id":696962,"id":"Q696962"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$FA74BC81-E93F-4FD5-8E50-F99FA2F06251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"510b6dc2f93f820fe261765df72e9416e86d392d","datavalue":{"value":{"entity-type":"item","numeric-id":1401972,"id":"Q1401972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$44AA85F9-AE96-4D23-903E-F27D2E37873F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1caddd34f077d456b01045d3541e659029d97320","datavalue":{"value":{"entity-type":"item","numeric-id":1591157,"id":"Q1591157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$500862AB-50CC-4E3D-AB69-8B9D5239CF79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de2239b93725ad2054524eaf257e2af61e257e04","datavalue":{"value":{"entity-type":"item","numeric-id":5302067,"id":"Q5302067"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$E497FAE8-1DF7-4BCE-8171-9AB62C3A0B20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bd17ba516d84a901dd0cd8022e66275bb00c8b32","datavalue":{"value":{"entity-type":"item","numeric-id":1325271,"id":"Q1325271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3644741$B18E299E-CE98-4B26-9114-82598816D512","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"233ae91a1bea4fe2ae995279fa7282b7cddc0c15","datavalue":{"value":{"entity-type":"item","numeric-id":2881100,"id":"Q2881100"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2e2da6c53f5a750999d81de2cca7409b6fb04c6a","datavalue":{"value":{"amount":"+1.0000002","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644741$4D93EC01-2C7B-455B-A42D-EBC5B81AD5FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab1cb4db3d259f14b43a01830a931c0cc108e4e","datavalue":{"value":{"entity-type":"item","numeric-id":3561221,"id":"Q3561221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f65fe193c44f752610afa4e408e90e6d8d73f740","datavalue":{"value":{"amount":"+0.8816272","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644741$23B32E8E-7011-4ED0-B517-A3B1228A54D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e00c9d365de3f62d908428b8fda35bd3e3f43a20","datavalue":{"value":{"entity-type":"item","numeric-id":4644528,"id":"Q4644528"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411fea168c63022cf52d4675c5859eb64f36b13c","datavalue":{"value":{"amount":"+0.85706073","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644741$48015C7E-94C1-4ADE-BD8B-BECF75CEB7F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"69996cc9ba9d01f066ebaebbb157cf7f2975d49a","datavalue":{"value":{"entity-type":"item","numeric-id":5145635,"id":"Q5145635"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6fb7de2c1123ae64cfeb408fedaccda77c9d9420","datavalue":{"value":{"amount":"+0.8502484","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644741$EC94A1D3-242A-4932-A089-8B88638C9042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"22baebd11cc29850345f60207c5f8e03540fa613","datavalue":{"value":{"entity-type":"item","numeric-id":2174562,"id":"Q2174562"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"54f60a755ebc6ad88803f0c6b04c9d43a6ff7a88","datavalue":{"value":{"amount":"+0.847471","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644741$3EC3D526-799B-4FAE-9B9B-54E01FC3F214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15f1497427be1e7be92a7070b7abd406f9d024e7","datavalue":{"value":{"entity-type":"item","numeric-id":1670723,"id":"Q1670723"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e3c5fa21ccbb870d0a36012d7dbc831ae1244792","datavalue":{"value":{"amount":"+0.8471839","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644741$8F3A23F7-CB9A-4B8D-AD8D-BECCD6A31FAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7f1d3bce8cb17e28a60eca8ab6a709a17d071744","datavalue":{"value":{"entity-type":"item","numeric-id":5469338,"id":"Q5469338"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89459ebd9d18a1f83d6aa78698bbef9ba1eb63b","datavalue":{"value":{"amount":"+0.8466804","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644741$DC9E7905-F010-4806-9FBA-6A1A28D61824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b6161aa5260c6e95651068eec571edc564671ede","datavalue":{"value":{"entity-type":"item","numeric-id":4407447,"id":"Q4407447"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d6a0b37ce3ad4a8df53595fac51fd998c3e6ef","datavalue":{"value":{"amount":"+0.84601885","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644741$39332E87-C883-4A23-9CF2-80ACAD137D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f954113b10906af0fd4d1521899e4c5d266e1fcb","datavalue":{"value":{"entity-type":"item","numeric-id":4789198,"id":"Q4789198"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cad2cfa70826e9bd62f6c627dbf77bcd3edfdf89","datavalue":{"value":{"amount":"+0.8454556","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644741$1AF49B41-B175-4972-9BB5-142E977A2859","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f66283f3b8fe934a1925b099f3647b503f9110b","datavalue":{"value":{"entity-type":"item","numeric-id":964001,"id":"Q964001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8785e5fe51e109f656c126d911e7b1402d923c96","datavalue":{"value":{"amount":"+0.84443545","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q3644741$06197972-0CE4-407A-9BAE-DF34C67CAA32","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Tree-Width for First Order Formulae","badges":[]}}}}}