{"entities":{"Q2879243":{"pageid":2889963,"ns":120,"title":"Item:Q2879243","lastrevid":52085333,"modified":"2026-01-20T22:02:47Z","type":"item","id":"Q2879243","labels":{"en":{"language":"en","value":"A heuristic prover for real inequalities"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6341474"}},"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":"Q2879243$D842B3A7-5691-461C-B9B1-60F479E1E6D0","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7ffd6151f9470f0096263d6e7749dae32a384526","datavalue":{"value":{"text":"A Heuristic Prover for Real Inequalities","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2879243$26B7182A-E589-4C56-86EE-7DC92A26123A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cccc41e5af21a7800265a236fa709baf97dba1c5","datavalue":{"value":"1416.68149","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879243$7EA7D747-E4BA-4B90-94B2-C951FFDCDDC5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"2e770e3f845cc848e5450658c946d8a1c3db3260","datavalue":{"value":"10.1007/978-3-319-08970-6_5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879243$CBA6348A-01BD-4A74-BD11-4C3DA1297BCF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"834b9908deaa5f43ae5b55e2029a1dd9a50ccc06","datavalue":{"value":{"entity-type":"item","numeric-id":287376,"id":"Q287376"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879243$16060647-6E53-4101-B80E-410F0C871119","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"70ade185f3ecac8f26bbd0db5ba024cb38b4e341","datavalue":{"value":{"entity-type":"item","numeric-id":287377,"id":"Q287377"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879243$E1AF56B7-9C75-448D-BBAB-8CB330312FF7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bdf6f039a85b2009980d04c0bb4f526dcf5f3b43","datavalue":{"value":{"entity-type":"item","numeric-id":287378,"id":"Q287378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879243$6093243C-B7A1-4082-9A1B-6E8DA73065FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"d43c6ce6e92d67a2cb7e4a7df2a7d5eeec36e724","datavalue":{"value":{"entity-type":"item","numeric-id":2829237,"id":"Q2829237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879243$80FE0B26-6F99-4FE3-B739-99D9E5FB8CAF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"565bc5987614f46e32dc98add32d630fe2eeb533","datavalue":{"value":{"time":"+2014-09-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2879243$FB93B126-4AB1-41CD-BFB5-6AF79EF54750","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879243$4F991575-9532-4CCE-91B5-547F45C3B4EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a0dc380a7a6964f00e6560e4112710836960e832","datavalue":{"value":"68T20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879243$76B5A17B-5FE8-4FB7-8D81-42E94E3E8127","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"006a9cbab893d7d868866843ec66dc7e84832958","datavalue":{"value":"6341474","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879243$8060ADEA-7D61-49C7-8B82-A3EE5F1E6B3B","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fa5dc13872ba1592e71dabc4befba1daea72a8a3","datavalue":{"value":{"entity-type":"item","numeric-id":14275,"id":"Q14275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879243$5D2D101F-FE06-41FF-9938-253F8993A53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"a2e4454b50103c6e6499c664726a4f18fc7c5af5","datavalue":{"value":{"entity-type":"item","numeric-id":16784,"id":"Q16784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879243$4C0A7DEC-B7D7-4DE1-8B1A-1FA65788801D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9b0860d94af5fdff4b5635709ae334aacdf07ca1","datavalue":{"value":{"entity-type":"item","numeric-id":19106,"id":"Q19106"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879243$441295DE-4D00-4679-A53F-3BFC3F24536D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"bf8fe40ec0751f683b8f31fdc6f7f38f8aa07409","datavalue":{"value":{"entity-type":"item","numeric-id":13328,"id":"Q13328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879243$6AB55464-07B2-4540-B258-A7A61D989682","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2ed7fb467b4aaa05369631d47ea4294f37a03f90","datavalue":{"value":{"entity-type":"item","numeric-id":16898,"id":"Q16898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2879243$F3F05FE1-71FA-41B1-9F6D-C48FD1999D34","rank":"normal"},{"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":"Q2879243$98D61C8B-67FB-4A0C-B5A3-12FA295EBEC0","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":"Q2879243$ED4A9140-C7B9-4A23-82D4-DAE9014B3330","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":"Q2879243$01CC9541-4F65-4184-8922-E7EED866E38D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"de29a846f0d8380f257f9e426aa38e750a99f224","datavalue":{"value":"https://doi.org/10.1007/978-3-319-08970-6_5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2879243$10EF3C9E-6EC4-474A-8887-05875E836FEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"86855759e538cf178e0f4c4d36d6c61d74501f61","datavalue":{"value":"W2504213494","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2879243$06557DCD-A379-4627-B2EF-C9935E305576","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8ece3482f4517366c541b963aa80f1342552ea7d","datavalue":{"value":{"entity-type":"item","numeric-id":287379,"id":"Q287379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"02e2c3189e207878c32868db6275d09d8bcba917","datavalue":{"value":{"amount":"+0.9992865920066832","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":"Q2879243$2805B546-469C-434C-B9B9-423E5507C1A9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"409bf9f022d41bb5d5be4d103926e96736ec2b96","datavalue":{"value":{"entity-type":"item","numeric-id":3498456,"id":"Q3498456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ce456f4a7ca47dd938e797cac06263af1d115982","datavalue":{"value":{"amount":"+0.7803838849067688","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":"Q2879243$856ABA8A-1B5B-446D-8EAB-DEF40C2E7E4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b360687fbb91abbd8b131ebd7a12117c200994da","datavalue":{"value":{"entity-type":"item","numeric-id":5505501,"id":"Q5505501"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11a5dac7faeab06c9c54352e931954e5dbaa4183","datavalue":{"value":{"amount":"+0.7770922183990479","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":"Q2879243$887CE725-AB17-4A91-84D7-977267FB0B8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05b7e5208f662744fafa4464a03bfb0e8aeaf9b9","datavalue":{"value":{"entity-type":"item","numeric-id":2907335,"id":"Q2907335"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33c9a8509a882e4cd595ac6364af5bcbfa6620e1","datavalue":{"value":{"amount":"+0.7552022337913513","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":"Q2879243$8F2C674A-31E8-4953-84EC-9DD71DC8D0C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f369f48bb0ae678a67fd8f622b64e445377b7f33","datavalue":{"value":{"entity-type":"item","numeric-id":2128808,"id":"Q2128808"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4e12d759fdc92b49068c04ecdf309047eed9d30","datavalue":{"value":{"amount":"+0.7543070316314697","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":"Q2879243$7DF877D2-5EA5-4F8A-9496-B9BB20E27FB6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2879243","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2879243"}}}}}