{"entities":{"Q2362497":{"pageid":2373240,"ns":120,"title":"Item:Q2362497","lastrevid":72600945,"modified":"2026-04-14T06:00:41Z","type":"item","id":"Q2362497","labels":{"en":{"language":"en","value":"An approximation framework for solvers and decision procedures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6741142"}},"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":"Q2362497$3B6C91CB-E0EE-419C-9388-5DDF55BA5D8D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7af4fb21e89344289adcffb4e401f9b599a7511e","datavalue":{"value":{"text":"An approximation framework for solvers and decision procedures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2362497$B135AC18-8CCA-46C2-8176-41F7EB2DC78B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"faee70d23d2d3feb0c50ab99dcb4f0819ddd753c","datavalue":{"value":"1409.68265","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362497$D77AFEB4-3004-4CA3-8B95-5D7EDBE5F769","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e43976b8c9ad662157777e51c8a66ba423076571","datavalue":{"value":{"entity-type":"item","numeric-id":1799083,"id":"Q1799083"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$459D3C73-691A-4962-A56E-16811F0A2D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ada47f60430f7f43a9dd2d117ab9ea6a873d3dba","datavalue":{"value":{"entity-type":"item","numeric-id":1799085,"id":"Q1799085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$8E341E78-E172-49D3-9E0F-BE14C39296FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$E0328BEA-4344-45C2-B2FB-CE8E78BC4238","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"b84cc8b5923f45dc86ae69f67f68bf56d7ecfce9","datavalue":{"value":{"entity-type":"item","numeric-id":174771,"id":"Q174771"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$76CCFBBC-79DE-4404-803D-6FF3D667A14B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"e955e3eec351ab42dab17f50ba694aafa8d23fd1","datavalue":{"value":{"time":"+2017-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2362497$7DED4408-19F2-4B15-9D81-E53C7A235753","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"15882831617ff4a612d9a04382f67fbec7fba6c1","datavalue":{"value":"http://europepmc.org/articles/pmc6109943","type":"string"},"datatype":"url"},"type":"statement","id":"Q2362497$18198BB4-B70E-4E50-9B6F-5569F304758E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362497$EEFD3ECF-7692-4EF8-874F-BB580E4D7141","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"704272d7fbdff50629c22faa06cfb8b077a9658b","datavalue":{"value":"6741142","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362497$0B3EDF05-2A65-4DA2-A3EF-842FFE9B49AC","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"875fd2341d7eaef60a26a549ea0c9adfdf328e2e","datavalue":{"value":{"entity-type":"item","numeric-id":17039,"id":"Q17039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$8FBA83EE-E660-41C8-B781-3D48795B2C74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"42950e8602f0bf155e8f0e40e68f674e5831f7bb","datavalue":{"value":{"entity-type":"item","numeric-id":21550,"id":"Q21550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$8ED2477C-75B5-43B6-9734-F28A8268F3AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$80984F7B-44C8-434D-BFB2-97B13FDF58C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"87d0dabd427ef3088ce56ee746e4becf90f6b0c5","datavalue":{"value":{"entity-type":"item","numeric-id":25618,"id":"Q25618"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$D6D93099-340E-4668-8A98-76DB863AE555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"f977d90147989768e21daaa75bb9e675b4c21143","datavalue":{"value":{"entity-type":"item","numeric-id":5973448,"id":"Q5973448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$8189049D-E1CC-4281-A397-EAEAA6E32518","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ab6ee58efeeaa685ac2b8ecf828badcfb673e8c7","datavalue":{"value":{"entity-type":"item","numeric-id":12929,"id":"Q12929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$6E079B7F-F191-4004-8846-695FBE828B15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"86f3dd89cea99e36ca0370b5d16e0fd864711e2c","datavalue":{"value":{"entity-type":"item","numeric-id":17037,"id":"Q17037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$FF964DA4-52FA-4F29-880D-438C7931A4E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d2f61eeddf1828d82b7393c95d22003b9c58afa3","datavalue":{"value":{"entity-type":"item","numeric-id":19210,"id":"Q19210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$B16E828D-1990-4341-9E10-BEC96CDBFBAF","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":"Q2362497$A8F8CCD1-B00C-456A-919E-BC9A76D47EFC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5d9132206bb9467d450cd590f6c45afd14f14c34","datavalue":{"value":"W2551482414","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362497$A72CE270-D409-4C37-8732-C700EF866B6E","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"ac5d5f2fb59207a138ca12a8f90988168a1dabb9","datavalue":{"value":"Q59611994","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362497$18A0F582-70F9-4E04-B5EC-4E9D6EC52F1D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bbb7fdabd5a856f8e1d09080b76afc7309a50a3e","datavalue":{"value":{"entity-type":"item","numeric-id":3637269,"id":"Q3637269"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$368208AE-8156-439C-9107-A053F5C0425F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"33244f7bb6c04da758d56eac971580e07b647512","datavalue":{"value":{"entity-type":"item","numeric-id":479837,"id":"Q479837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$8883B11B-2AC2-463E-84DE-5A476574F689","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69fc57724798b1f4f5d16b3ee29953bbaadefc63","datavalue":{"value":{"entity-type":"item","numeric-id":5758122,"id":"Q5758122"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$0F9AE2AF-3608-4E3B-9426-70406209C9A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21640ae8e3aa02debe92970cf2184aca918b76e5","datavalue":{"value":{"entity-type":"item","numeric-id":5326318,"id":"Q5326318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$359F1BBB-DA8B-4DB9-B8C1-6DFAB39D9C25","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f7cd2a25d693a4acd921e56f15d1b3d06cb750f8","datavalue":{"value":{"entity-type":"item","numeric-id":2754081,"id":"Q2754081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$CFECE99B-0306-45FC-9709-84EB770BAF0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69110d66f4fb9eaff7a66ca9098b4642d893a3ee","datavalue":{"value":{"entity-type":"item","numeric-id":5316581,"id":"Q5316581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$794D80F9-F187-4113-AB92-08B9D94972F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a5791757d6a8f1f47e64dc8fe7b53b7230387f4","datavalue":{"value":{"entity-type":"item","numeric-id":2989081,"id":"Q2989081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$187ECCD1-245F-4B01-B712-0372A04F7BCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"57d4a257ef82cf9bafad6ade7d2102f8d8d9ee6b","datavalue":{"value":{"entity-type":"item","numeric-id":2931790,"id":"Q2931790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$919F7BD2-D7E9-472E-A969-69D020EC1D13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ba462d720e88fed41cd67622766e9b4ebfeee44","datavalue":{"value":{"entity-type":"item","numeric-id":2894265,"id":"Q2894265"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$CFD1A72D-E945-4DC3-8144-8E8A2C957C60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fe33bf4e1ec51f59c09f65752ea810761eb09a2a","datavalue":{"value":{"entity-type":"item","numeric-id":4928439,"id":"Q4928439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$19BB91DF-1E58-49E8-8E6D-0B3EDD71BA49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f426d61b5e73f09c762af22502a76e1d6d446b2d","datavalue":{"value":{"entity-type":"item","numeric-id":3636870,"id":"Q3636870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$E76B7B82-2536-49B2-8E7C-27B5A36E0975","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3797ca9c060a8f45bbe361e29094c28dc7f292e2","datavalue":{"value":{"entity-type":"item","numeric-id":1199923,"id":"Q1199923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$A7306BB2-8799-49C4-A0B5-21D6578BD545","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03cb8e50e6c3bd60a9a9a59407cf30e8e788baa4","datavalue":{"value":{"entity-type":"item","numeric-id":3618853,"id":"Q3618853"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$9FD5D9C9-ABDA-40F8-9004-F9C9BF662901","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"330ce073a559eb014c24d439e8bed6879ab9c0af","datavalue":{"value":{"entity-type":"item","numeric-id":2843327,"id":"Q2843327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$11F13792-A87C-4438-8241-25DE7E7EC898","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"509a43eb44a5715da8f270c1c80bdc0c926c6f04","datavalue":{"value":{"entity-type":"item","numeric-id":714617,"id":"Q714617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$99C4B73D-0854-48EF-9F3B-0344F1E7FF60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1175947ec2aea995ccb1f9384b13403be217dd9","datavalue":{"value":{"entity-type":"item","numeric-id":4913859,"id":"Q4913859"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2362497$7E5191B4-38E2-4A0E-A938-FDBA3DEB5576","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"767c287b3c832a68b2a88b0c6ee138375714e79a","datavalue":{"value":"10.1007/S10817-016-9393-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2362497$67A7757D-8D8B-4EF8-AD16-A67394D5D821","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f2afe5589118ca0165d639df6d1196851bf294c6","datavalue":{"value":{"entity-type":"item","numeric-id":3192205,"id":"Q3192205"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7db8e9c35c4a9f18344c3f138ae3265161de68a9","datavalue":{"value":{"amount":"+0.8945160508155823","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":"Q2362497$D4B3B5E2-2B33-4948-AB90-650FC5F35F74","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"006e26d9ab846780e23445f97dcf8eca0df10f00","datavalue":{"value":{"entity-type":"item","numeric-id":1799086,"id":"Q1799086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c935cdb3c9fc24fe88653672d928e94782b5e2ea","datavalue":{"value":{"amount":"+0.7941506505012512","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":"Q2362497$3351713F-2E73-4EC3-9E34-2D9B6F4D43BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a95aaea7a91a11e558a80cfd0d298e5e5edec5b3","datavalue":{"value":{"entity-type":"item","numeric-id":3636881,"id":"Q3636881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e4b98181121ee83d6c1c2be66c5941e76f17f6a1","datavalue":{"value":{"amount":"+0.7630200386047363","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":"Q2362497$7EFCF1AC-B2A2-4687-95D0-80BECE4224C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ae543d3164609a478eaf3c26694eec20cce9b473","datavalue":{"value":{"entity-type":"item","numeric-id":479837,"id":"Q479837"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f48f60e423d813366c99e414ef7df762f41e372","datavalue":{"value":{"amount":"+0.745744526386261","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":"Q2362497$0BE82763-9705-4324-B1FC-88357CB86499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"21ef1bea5bc6a98097cf427ba6e514765eb624e6","datavalue":{"value":{"entity-type":"item","numeric-id":4475657,"id":"Q4475657"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2baef7120e3db99a210978e7c58d6258bde4aecd","datavalue":{"value":{"amount":"+0.7374007105827332","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":"Q2362497$6CC61A47-8934-425C-89DE-259B9A8DA453","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":"Q2362497$5E7E508D-8ED6-4452-8CE1-503BC06DEECF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An approximation framework for solvers and decision procedures","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/An_approximation_framework_for_solvers_and_decision_procedures"}}}}}