{"entities":{"Q7034848":{"pageid":21711972,"ns":120,"title":"Item:Q7034848","lastrevid":77522591,"modified":"2026-05-04T15:32:44Z","type":"item","id":"Q7034848","labels":{"en":{"language":"en","value":"Generalized optimization modulo theories"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7977169"}},"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":"Q7034848$5A716A31-2647-40BB-A3EC-E8E6D82CD159","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0d2685dc96f42b8dfdaa5d6e9b59c136fcfcd9e8","datavalue":{"value":{"text":"Generalized optimization modulo theories","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7034848$0869E447-2928-4739-9143-E7C4060E1C1F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9be7e75fc4580b4861c19a2d0f377a0ba30e93a3","datavalue":{"value":"10.1007/978-3-031-63498-7_27","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034848$18EDA728-D1CF-4A4E-BFC6-42B9C84ABEAA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fb86119916d61a15ffc3436f1b3c720cb4c289f7","datavalue":{"value":{"entity-type":"item","numeric-id":518399,"id":"Q518399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$938FA254-5C14-47E7-B3C3-C54558843114","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ad77f9f95b13763d1bf3e18f3ef5b6900b795f74","datavalue":{"value":{"entity-type":"item","numeric-id":518400,"id":"Q518400"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$B50BC51F-3207-4923-9650-F21748389B6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"947e5398223830d4c80e75386dbd3c8e6dd67f1d","datavalue":{"value":{"entity-type":"item","numeric-id":429585,"id":"Q429585"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$3B40CAE5-7FFA-41D7-9688-335419BE4FC3","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"faebccf51ad7ddcce1eed4a97c7e0eb92d585316","datavalue":{"value":{"time":"+2025-01-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7034848$37188A5E-D1A8-43D3-B9BA-ED72E2D90114","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"a360651f48fb3ab31a1af8c50bb3f3739a50e7d8","datavalue":{"value":"68V15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034848$F6C47F8D-DE59-41E4-BDCF-2B9EAAEEA6DD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e92af69519509a65e639a5b4926a85f7465f10c4","datavalue":{"value":"7977169","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7034848$F23C94CE-0D78-4BD9-87C7-CB90B421A386","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$847BD4A6-DFE2-4A41-9590-85A11D76A24A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"68ef3a9cccbed9fba81327f3a13c9205a888d1f6","datavalue":{"value":"optimization modulo theories (OMT)","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034848$E44DA584-DBA6-4EC1-B8BA-AFDC4F8370DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c27024bc3112e6fbf1cca0a9a4aacb8e7e4a77e0","datavalue":{"value":"optimization","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034848$C3CE6AA2-3FDB-400E-9D0E-C953F22EEF75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"75999b4145baf8e36d1aae9da7d6c1e17358728e","datavalue":{"value":"satisfiability modulo theories (SMT)","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034848$0602A1A1-0650-47A1-909C-9CD7E2FAAC28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"758d4a6ea5b4caad04e20e4cbe7b0b8a37c7655f","datavalue":{"value":"abstract calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q7034848$523DFED8-22F7-4267-B417-837E16F6DDB7","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":"Q7034848$42F2EC25-98AA-477E-BC7B-93C6DB860736","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"03870fc983af210ae8db40398691b2d31fc00213","datavalue":{"value":{"entity-type":"item","numeric-id":1687551,"id":"Q1687551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$C1E0E995-F586-4F89-BB21-33ED71DC99D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6812a259572e889f6b1fa49fe9ebd9d1b807f284","datavalue":{"value":{"entity-type":"item","numeric-id":831943,"id":"Q831943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$9167F446-B143-4FA7-A731-4E5B630A24A0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"90d38b15906fd124f96c7634cfbd8a1e01d7db32","datavalue":{"value":{"entity-type":"item","numeric-id":2818021,"id":"Q2818021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$691C3D4A-E2FD-4120-A497-2F8BB34FFD75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d13c05844eeefea4da2bd8565e7b44a35d5777e","datavalue":{"value":{"entity-type":"item","numeric-id":3557072,"id":"Q3557072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$8A211383-3AF2-4C45-9A5D-B099D3F8EDA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce0390e6c099065b6b613963fde558aa23fc43b0","datavalue":{"value":{"entity-type":"item","numeric-id":5326459,"id":"Q5326459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$E635BC95-3442-4DA8-9E6F-09F0A11BD7AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7bd559b741e29f4dc45b7c905a3f7996f48f1c4","datavalue":{"value":{"entity-type":"item","numeric-id":2961574,"id":"Q2961574"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$B624B0C6-B6BE-41B0-A423-73B53F678DE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d77121ca06023666fb3b31fe1611bc7b34ff56df","datavalue":{"value":{"entity-type":"item","numeric-id":2908506,"id":"Q2908506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$46F279B7-B074-4A78-8A55-EFED52693D02","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4e6adf13c6408e6c2eebe9bb0eee05dbe30b987","datavalue":{"value":{"entity-type":"item","numeric-id":3524998,"id":"Q3524998"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$05929A76-3F08-408D-923D-AF22E2481DC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fde830d73447460bcd9989f9bfe0e707f2af8214","datavalue":{"value":{"entity-type":"item","numeric-id":3192080,"id":"Q3192080"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$A67264E0-DA9E-4AA6-B61B-46AA1EF2054E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66abb9095dbc3a897723093a77a1e1d68df2b1cb","datavalue":{"value":{"entity-type":"item","numeric-id":5408453,"id":"Q5408453"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$871D0A35-6A08-4460-AA86-E815C33B808B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f367c806eacb02961e2ee119b5b2b050fb3a0ca","datavalue":{"value":{"entity-type":"item","numeric-id":5045383,"id":"Q5045383"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$3D4D5A96-9772-48B7-AB26-693C614B1DCA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f64a9ce1df6d32a732886ec13ebc30e0107b2809","datavalue":{"value":{"entity-type":"item","numeric-id":2864402,"id":"Q2864402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$80EE11DD-B516-4BDD-9016-9204B07A95C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079d9a1453e37e4f063466335e73de85de7201e2","datavalue":{"value":{"entity-type":"item","numeric-id":5756563,"id":"Q5756563"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$5C2EC783-CD77-4C7E-B948-A5C599F1165E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"79db93a0bb311f56c816d6ffc92dd7b60e23250d","datavalue":{"value":{"entity-type":"item","numeric-id":3455223,"id":"Q3455223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$6D0224AE-F6BC-48AB-A5AA-84761B112678","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5b59d4563935573e243f9725bd2c6fb06e56e1e6","datavalue":{"value":{"entity-type":"item","numeric-id":1683459,"id":"Q1683459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$39F299D0-23E6-42E2-92DD-B21B1B7ABC52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2393cc1f4a69812cd1a5e250417a622bad35140f","datavalue":{"value":{"entity-type":"item","numeric-id":5194955,"id":"Q5194955"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$54B86CDD-A7EE-4EC8-8CEB-F4F860B08955","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4cce0b297ea45b764421587f2adf2d11f4a3e78c","datavalue":{"value":{"entity-type":"item","numeric-id":2908520,"id":"Q2908520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$1E5FD196-8DBB-4A7B-B895-38C60D86C27F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"470998aa3ffb889685e1a96b368461dc00a63016","datavalue":{"value":{"entity-type":"item","numeric-id":2946768,"id":"Q2946768"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$8B91B1DD-6807-4AC1-AAA1-8CDC713D282F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ab79554c0ac8a4b417aad372ff9378ed98075c","datavalue":{"value":{"entity-type":"item","numeric-id":2303246,"id":"Q2303246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$DE5B671C-1F5E-4120-BCA8-6CE8A830E43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c42905d3bf780a90a019cc409c9eec2110c7f8f1","datavalue":{"value":{"entity-type":"item","numeric-id":511777,"id":"Q511777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$E557EA3F-1124-4D77-8F6D-36C19437D349","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f5604bda6b8a4e7096d13b6aaed877ccbb6ec0c7","datavalue":{"value":{"entity-type":"item","numeric-id":2051569,"id":"Q2051569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$DB3D4FEC-22F7-4116-9011-76F8E5DDD5EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb691de0ec222c50f21fd27a6109543b5f608ccd","datavalue":{"value":{"entity-type":"item","numeric-id":7034848,"id":"Q7034848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7034848$67A11A1A-ECDC-437F-BC31-FAF97B2C4CA8","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Generalized optimization modulo theories","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Generalized_optimization_modulo_theories"}}}}}