{"entities":{"Q6091330":{"pageid":13225637,"ns":120,"title":"Item:Q6091330","lastrevid":56690655,"modified":"2026-03-18T21:29:13Z","type":"item","id":"Q6091330","labels":{"en":{"language":"en","value":"Decomposing Farkas Interpolants"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7770554"}},"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":"Q6091330$1BECCAAE-B0E3-4528-92E2-02FCE56ED4E0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e46f96172e584171c303fb63e941707bfbf9584c","datavalue":{"value":{"text":"Decomposing Farkas Interpolants","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6091330$5F2A6ABB-A0A5-4A09-A4FD-16F6DD89CF33","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"60f1c3671b2bc5a7c33459c961c88a8ced02c518","datavalue":{"value":"1527.68126","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091330$D308A444-AE11-4D2D-9CA8-FDF5B8599AFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0987a5b2f6b7b0159c3aae7d7fa7ebfa138e0212","datavalue":{"value":"10.1007/978-3-030-17462-0_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091330$52BD2BDA-5F46-4915-8542-3A24FC358366","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0946a618bb46938edb68aaca49138b9212c6eb14","datavalue":{"value":{"entity-type":"item","numeric-id":784137,"id":"Q784137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091330$BA2606AE-C61D-4001-801C-A75171B16487","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8ebfd430f823a6478294286ff8c6d38b91b1861a","datavalue":{"value":{"entity-type":"item","numeric-id":784138,"id":"Q784138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091330$91724BDE-ADC2-4F8C-8BC2-32D5C2421B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1fb37eafa363c1d583e0d8c2dcf9ef48b1308302","datavalue":{"value":{"entity-type":"item","numeric-id":470015,"id":"Q470015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091330$0948DAD4-A1EA-43F9-BA66-55FFD2AAF51D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"66a480d2e9b29ea82a9b0fc72873fd6d8201d31c","datavalue":{"value":{"entity-type":"item","numeric-id":287271,"id":"Q287271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091330$84DEC37A-D41B-49F5-85E8-31DEC844BD77","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"0caef843b05c7cfb5667c1a8106613cbf61a6d23","datavalue":{"value":{"entity-type":"item","numeric-id":2894263,"id":"Q2894263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6091330$2A1537C0-314B-4609-8838-DF890E604A30","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23cd7302534ebac1f5798f1388e7a545a7b25124","datavalue":{"value":{"time":"+2023-11-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":"Q6091330$02FB3CDF-CFD8-40DB-BE87-3E57498B252D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091330$B137D792-0393-4E72-B6F9-6DDF5AB31056","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091330$B6962699-B155-4606-ACDF-CAC724EA67CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091330$7F16E391-C149-45CF-A224-2F90493C0500","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5d8141bef6c43e88cd1210206ebf8e2607522aed","datavalue":{"value":"7770554","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091330$19971F35-7181-4B1D-8663-E5F1CFF04192","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091330$7A15EB65-A58F-4C87-8891-1E70B64186E9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac8daf9b2a0058692665d0c45ec7b53d7ff6b82e","datavalue":{"value":"satisfiability modulo theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091330$2DB8CBEE-C726-4EC7-84C0-C308ADA7F80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"312ed6497197fe722552104318fb5c842ebebed4","datavalue":{"value":"linear arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091330$7F3D629A-C120-4D70-9F87-CE3634F4BAA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f1ce721ffa5b2f36084f57048f17032077e128","datavalue":{"value":"Craig interpolation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6091330$E7631EA5-8C0E-4140-8577-FB8352BF6B17","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":"Q6091330$832C09CB-7305-445E-8D2A-423A96950953","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"755eeb789c24c834d24f7b36e01124e6a7099ec3","datavalue":{"value":"https://doi.org/10.1007/978-3-030-17462-0_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q6091330$0CA8CB55-3956-488E-84A3-3D7121FAA791","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"8a9d96fdf713c33e37bb2e7326b436cc7d310522","datavalue":{"value":"W2925777211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6091330$A7270E82-F79C-4918-921B-4B2B12CC5B1C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb253fb55714f511287e3fb7db3bf54cfc2f7066","datavalue":{"value":{"entity-type":"item","numeric-id":5311270,"id":"Q5311270"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0cba41fadf50f55973a9d717c722642bf45a3fc9","datavalue":{"value":{"amount":"+0.7796615362167358","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":"Q6091330$3834C671-D46C-4D90-A79C-E53D1C766E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5302c862f26649c1cb13bd6e9bc82d762cb6ba77","datavalue":{"value":{"entity-type":"item","numeric-id":604394,"id":"Q604394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"811d1b970f32169b810c35eaffd23d73184949b9","datavalue":{"value":{"amount":"+0.7583125233650208","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":"Q6091330$4AAAECA6-7C5F-406D-9D9A-5970F16D9A5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9297116a8fd5d2d74795bb8b8d5edc5bf38cae53","datavalue":{"value":{"entity-type":"item","numeric-id":5452619,"id":"Q5452619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"278121b19ddf1401ffc6b03002fa4bd4822184b5","datavalue":{"value":{"amount":"+0.7575060129165649","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":"Q6091330$9CAB9F6B-51EA-4630-9557-6F601220A467","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"983f12d49d1082c01b8f635af6ed51965a406a38","datavalue":{"value":{"entity-type":"item","numeric-id":3460545,"id":"Q3460545"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de2f3352c7f796f47f8e295c137bc630a92bb5ba","datavalue":{"value":{"amount":"+0.7529318928718567","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":"Q6091330$8E713884-C529-4A6D-B821-26CBF9E30D5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"192babe1f332f85d504aff10a4562aaa3e265788","datavalue":{"value":{"entity-type":"item","numeric-id":5308386,"id":"Q5308386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"597bfd890ed81455f35a1d69979bf5c01d818b6a","datavalue":{"value":{"amount":"+0.7472638487815857","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":"Q6091330$F0080A68-EC6A-47F1-BA91-891D3D948FB6","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":"Q6091330$28EB8D40-63B8-4459-AC1F-BFF371B18A08","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6091330","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6091330"}}}}}