{"entities":{"Q3498456":{"pageid":5528359,"ns":120,"title":"Item:Q3498456","lastrevid":50357822,"modified":"2026-01-13T21:32:42Z","type":"item","id":"Q3498456","labels":{"en":{"language":"en","value":"Extending a Resolution Prover for Inequalities on Elementary Functions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5275834"}},"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":"Q3498456$8DD4210D-753C-421C-979F-54EFE2701737","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"e53ffd830406927f33edde54e69b8795d24fe11c","datavalue":{"value":{"text":"Extending a Resolution Prover for Inequalities on Elementary Functions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3498456$325930AB-8B3B-4749-B4EF-6240D63FC999","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7cb3089178b9e95c6de6e361e81c5f1a2eef799e","datavalue":{"value":"1137.68571","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498456$BFDC46B4-0E58-4826-88DA-4B316EE62160","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"65f7badc399ddabdad7cf6a20ad620c13688f3b5","datavalue":{"value":"10.1007/978-3-540-75560-9_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498456$80E99B93-C3E3-4193-8F20-A6BD9E55D3C5","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"7f342eecf82498f188d10dbef140d1137265c48e","datavalue":{"value":{"entity-type":"item","numeric-id":816217,"id":"Q816217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$178BA2B2-4066-4BED-8D32-AA1E65AB721E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cb5dfbdfa6d8a2070a67ff948fb8abd387eda36e","datavalue":{"value":{"entity-type":"item","numeric-id":352969,"id":"Q352969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$8DC640EA-957B-401E-85A2-570BFAD0264E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"23864e2be568bb8a6a4b0526f5a5216348320070","datavalue":{"value":{"entity-type":"item","numeric-id":2870110,"id":"Q2870110"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$CA494990-4D63-40DA-B8F3-8363783E62A4","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fe1a6b09d7dea39258164cec9c33f15b47de911e","datavalue":{"value":{"time":"+2008-05-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3498456$799A5D1C-F08F-4693-81E8-2E8F489C5F64","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498456$7C61A28D-A31B-41EF-AADD-1CB5EFF48878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498456$71024ADA-B64E-46C9-8BB2-25AB717F03B2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0d532963af06041ffce8573c9fbe6764607b6475","datavalue":{"value":"5275834","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498456$C7168401-2DA4-49F9-A68D-4813EB1A8BE7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"43f7c4ee5068daf82f8bffbb0f7510a5f16faf63","datavalue":{"value":{"entity-type":"item","numeric-id":16615,"id":"Q16615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$24795991-BB6E-41A7-80E3-4F7A027DDF61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3c22b4e6c24037f313b1837c22cc6ae0308a77c7","datavalue":{"value":{"entity-type":"item","numeric-id":13503,"id":"Q13503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$3A5A1100-83E0-4E5B-9003-A4B4B563556C","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":"Q3498456$6D216DF6-F4C5-4EAD-B2E5-18E9AB66AAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"29391b19386946f3f8609d95651483db905027b9","datavalue":{"value":{"entity-type":"item","numeric-id":22439,"id":"Q22439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$012ABC95-63DE-447C-B7D1-44E99B6F776D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"1e7b4d238eeafa5b21b1ef85a0d6b8900bfdc422","datavalue":{"value":{"entity-type":"item","numeric-id":15442,"id":"Q15442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$F3F074FF-0C84-4E96-98A9-4D659D04174D","rank":"normal"},{"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":"Q3498456$0709E7D6-58D6-4CD7-89E8-815E1D47203A","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":"Q3498456$4309CF83-7EB8-4FDC-BB25-E77A132665AD","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"fb6a828257af79cdf65e8479c4abfc501d293225","datavalue":{"value":"https://doi.org/10.1007/978-3-540-75560-9_6","type":"string"},"datatype":"url"},"type":"statement","id":"Q3498456$E94A830B-E3FC-412A-BAD4-B3681A13AF1D","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"71166b5e267db0b506eecd4ebd0f298e0844525b","datavalue":{"value":"W1598448873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3498456$36D1CCDB-5490-44E4-AE80-349C79338AE0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bfb9cfedcdf8209e09850a44ba23684e87646d65","datavalue":{"value":{"entity-type":"item","numeric-id":5277791,"id":"Q5277791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$986F5CE8-0A88-4204-8B73-760C7FB29694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ff122e4361c17bac548708827b2fce529554e182","datavalue":{"value":{"entity-type":"item","numeric-id":5310669,"id":"Q5310669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$26E879A3-22A7-4AB3-BF28-B8375E447003","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b1137cf78c4cad0e217f70ec321f2a593915490","datavalue":{"value":{"entity-type":"item","numeric-id":2751353,"id":"Q2751353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$71A085B0-3864-4067-B2C7-EBC4A22DFF00","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9246a891b5d36ce51ed599b16ca1ffb87244abc3","datavalue":{"value":{"entity-type":"item","numeric-id":5950931,"id":"Q5950931"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$EF9DC56C-1761-4E28-8864-3E7165A61258","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"017dca64578e6979a09aeeb8b382b1388bace1b7","datavalue":{"value":{"entity-type":"item","numeric-id":4810199,"id":"Q4810199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$A747841E-0B07-496C-8D1E-D1F112B53DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2837eb28569a008677bba2643bbc6df5d206bee8","datavalue":{"value":{"entity-type":"item","numeric-id":4247790,"id":"Q4247790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$CC00DEAE-8C52-4C0A-83F9-CE7288768FCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"625f6543cb45ef040d1e85336980be3f05f00677","datavalue":{"value":{"entity-type":"item","numeric-id":5900690,"id":"Q5900690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$01E98D24-6A85-42E0-8788-A1ECE0BE4785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9811e0f445518a60fcf8a88a2ec5cd76d23ab843","datavalue":{"value":{"entity-type":"item","numeric-id":5477649,"id":"Q5477649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$74C3C270-52A4-45C7-9B47-99A114B229F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d43a848f856e7add83e6907744bb466bc863e38a","datavalue":{"value":{"entity-type":"item","numeric-id":5394621,"id":"Q5394621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$6207C64D-0808-428A-BCA4-C2EE610A7B83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84afe353d96a988928bd5d41e96afba7e81d6980","datavalue":{"value":{"entity-type":"item","numeric-id":1600086,"id":"Q1600086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3498456$1AB2BB2A-3CEB-4BC1-BC28-8F2A63063EDE","rank":"normal"}],"P1643":[{"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":"e86fb034d445f46ea4db6d8794a979b8880b64e4","datavalue":{"value":{"amount":"+0.8693476319313049","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":"Q3498456$31D1E2AB-3896-4641-B0A1-D7D863026BD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9b4fb64992fb8ab53efeada2bcba4b18cfaafdb","datavalue":{"value":{"entity-type":"item","numeric-id":972422,"id":"Q972422"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ba43ad04f5e4d54e7519c086f1d7b1b005dbca1","datavalue":{"value":{"amount":"+0.7911694645881653","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":"Q3498456$B3C8A43C-C991-45B2-8CCC-CFA012C25515","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"646fd6e264400f56bdcc94bd1034c3bff1c41c60","datavalue":{"value":{"entity-type":"item","numeric-id":2879243,"id":"Q2879243"},"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":"Q3498456$88A73DB4-168C-49CB-A55A-11EE5261E508","rank":"normal"},{"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":"8a761f59be394262809141ac61c7a7da687d6a5d","datavalue":{"value":{"amount":"+0.7795498967170715","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":"Q3498456$93FC4FDA-7E9B-47D7-B372-292EF6BA9657","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":"ed6f95d06af6418ed35821fc3f13e2bdc58175d9","datavalue":{"value":{"amount":"+0.7744657397270203","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":"Q3498456$5F92C00C-DD95-4E45-A095-DA38052CDCF1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3498456","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3498456"}}}}}