{"entities":{"Q4787872":{"pageid":6817452,"ns":120,"title":"Item:Q4787872","lastrevid":74781999,"modified":"2026-04-15T00:18:37Z","type":"item","id":"Q4787872","labels":{"en":{"language":"en","value":"Canonical Finite Diagrams and Quantifier Elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1850730"}},"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":"Q4787872$943C445D-25CE-4A42-B0A6-27AE539DDEA2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d999750f833ce372e0acb29b7155e9790a70459c","datavalue":{"value":"1024.03033","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787872$88DEA067-3414-46D9-B8CA-72F4E94CB94B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9bea1d0142d11d1c2ccc74930bc0b7645a3b45e9","datavalue":{"value":{"entity-type":"item","numeric-id":169439,"id":"Q169439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4787872$5588CD26-A565-4E92-9736-A8AD18D4BFFB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f7b391ec52a66b0c6fad2f32f333142145056269","datavalue":{"value":{"time":"+2003-04-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4787872$3BC51087-F493-4DC1-B0AD-37A574F83531","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7fd213a574edd10a6bc470cc2d78cbfa20c5eb59","datavalue":{"value":"03C52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787872$F839DC35-73A9-4D44-9913-7B45FF7149A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787872$39E7FB4F-0541-4D6D-9878-D02E7BD35184","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ab5d1284da7b6135f2165359448a9dc6cb04c9a7","datavalue":{"value":"03C45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787872$93A84123-17C9-4A36-9E4C-9B3016F2FE21","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"663c7e90f0cbd6a3838652ed45b88699e45f0877","datavalue":{"value":"1850730","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787872$75946F79-34B1-4F0A-81A9-33B00D00E82F","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5160224d2c14d13ecc34a1e0e3701dad3c2e007","datavalue":{"value":"amalgamation class","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787872$3BE6043A-3007-4466-B574-52E7BF10EC31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7e96ef672d6115c6b5b6e2fec7329e777b5147f0","datavalue":{"value":"finite diagram","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787872$8A627CAF-8F33-4232-9375-118D9CAEFD71","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"401e63525d2025c160b1e4e1488478441d7c43dc","datavalue":{"value":"homogeneous model theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787872$3619C856-541C-4C5A-8081-85A0A1A9F7E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62e02371642cec8856a2b0f1982452bbc08d0d63","datavalue":{"value":"finite models","type":"string"},"datatype":"string"},"type":"statement","id":"Q4787872$D89408A5-C770-4EA5-81C9-015612AA3087","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":"Q4787872$C147E849-F802-4578-BD59-148ABB7953A8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e8bf058e966a1eb087bceb567c41050533e2584c","datavalue":{"value":"W1966303614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787872$22C0B1D9-9BCF-4D0F-8986-EBA4D943AF8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b79c4a195073aa597bee25b05500b6669d3b1732","datavalue":{"value":{"text":"Canonical Finite Diagrams and Quantifier Elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4787872$619C99CC-EC55-4278-A5B8-7338EAABEBB9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6b70e2174652a671da5140ce92d9d8e7f0cd411","datavalue":{"value":"10.1002/1521-3870(200211)48:4%3C533::AID-MALQ533%3E3.0.CO;2-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4787872$86472AE2-99B4-4D97-B26D-C03EAF5B263B","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f235948a292bd1ca3fa6db486f173ca9364eefae","datavalue":{"value":"https://doi.org/10.1002/1521-3870(200211)48:4%3C533::aid-malq533%3E3.0.co;2-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q4787872$A2032270-48F9-4B79-8EDC-101B274FEBF7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27286c06e06490f91d823557b65969544654c2d2","datavalue":{"value":{"entity-type":"item","numeric-id":639656,"id":"Q639656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6e48c4e83efbf76fdf7b974242c7d2c323bcbc43","datavalue":{"value":{"amount":"+0.7365272045135498","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":"Q4787872$4C2FDC92-439C-4C09-8D59-A1223AF78497","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca589c52c9197efd85672da550d9db5735287e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4422557,"id":"Q4422557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a6ac5975f97c1d186d5d36f4b7247165df5adae5","datavalue":{"value":{"amount":"+0.7267678380012512","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":"Q4787872$79E08EA5-56D7-43B7-B73D-B955DC7FA510","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"528419af5ca0b3145ff2c01623fac08c5c04bf75","datavalue":{"value":{"entity-type":"item","numeric-id":3656434,"id":"Q3656434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a4853573e6f9eca4eaec46d59901aafe2f4cd572","datavalue":{"value":{"amount":"+0.7255150079727173","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":"Q4787872$3AE990D2-8935-43D3-93F6-CA1A01B549C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98f498bfb98fbd0f2ba47ad6e177bec571eff0ea","datavalue":{"value":{"entity-type":"item","numeric-id":3535695,"id":"Q3535695"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2f695ee72c4f4e334ff3da5c91f9db00573f1e85","datavalue":{"value":{"amount":"+0.7208663821220398","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":"Q4787872$88CD30AF-8BCD-48D2-BAAB-2EB32CE3C856","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a820ae15f2223b5fe78cbc360e0e8d03009308e7","datavalue":{"value":{"entity-type":"item","numeric-id":918545,"id":"Q918545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"af22405d7e9358d088f4b6baeaf2cf0156ceb0f8","datavalue":{"value":{"amount":"+0.7162774801254272","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":"Q4787872$CE33D677-CC8D-44BD-A4C6-12DF367CF315","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Canonical Finite Diagrams and Quantifier Elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Canonical_Finite_Diagrams_and_Quantifier_Elimination"}}}}}