{"entities":{"Q1025313":{"pageid":1027161,"ns":120,"title":"Item:Q1025313","lastrevid":69448080,"modified":"2026-04-13T07:04:08Z","type":"item","id":"Q1025313","labels":{"en":{"language":"en","value":"Combining logical and algebraic techniques for natural style proving in elementary analysis"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5566433"}},"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":"Q1025313$BE4A9F89-A816-4E04-A202-7C876FA33C91","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"dc5e8acb22b1ad4a06f9727eb5dee910950a8702","datavalue":{"value":{"text":"Combining logical and algebraic techniques for natural style proving in elementary analysis","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1025313$C1AE4524-5A7D-4A31-AE86-8011A4FE11FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"69fccbee20732734608d9f3788e08d3969817160","datavalue":{"value":"1183.68563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025313$C495B46D-5CDE-4B38-AAFB-FBEB02C00DEE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"c178c1a93ba04286b0193471fd844708d0df1213","datavalue":{"value":{"entity-type":"item","numeric-id":1025312,"id":"Q1025312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$067525BA-C094-45FC-93A1-6F1517F41B5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"725aca679a0cd849b7123b8f0d65ff45506c8d40","datavalue":{"value":{"entity-type":"item","numeric-id":485836,"id":"Q485836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$ECBC1A2A-0562-4EE5-8B01-034A16889785","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fa740d7cb09ca4fbf14f2e113394450c436e8720","datavalue":{"value":{"entity-type":"item","numeric-id":229598,"id":"Q229598"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$678490B9-793D-4797-A4C7-1603B8AAB407","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"682ffaaa57a9a6c995eda9fd368658e7f15570cb","datavalue":{"value":{"entity-type":"item","numeric-id":86161,"id":"Q86161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$975F6CAB-46C1-4446-918D-BB214C59E769","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b1d001f6c6775fe6685aeb66e7ca5e3cb606e84e","datavalue":{"value":{"time":"+2009-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1025313$04B66987-0BF3-426E-A075-909D0070F03A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025313$DD1DCAD9-52BE-4BD4-A01B-5913B8706D10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025313$9AC78AD0-C2BA-40BB-AE6D-6846D2B31E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025313$857DC42A-DE8D-44B5-AC49-A63E4C77E58A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"40573989a85306eded436c948545955101024c8f","datavalue":{"value":"5566433","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025313$251541DF-DF06-4210-9EA0-7A4FBB854F85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e97175fd5d747e7d34cbcc625e3abab53d84653d","datavalue":{"value":"automated theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q1025313$A6A00CF4-873A-4B1F-B07A-0363A93642EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fbc74444e44223144324af438f7fe3e960b23245","datavalue":{"value":"extended quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q1025313$BE9A50A1-CE8C-4AB6-A989-81AA8203D9FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"929ccfbb42c576f33cbc37973bcb7ca667bd3bd2","datavalue":{"value":"CAD","type":"string"},"datatype":"string"},"type":"statement","id":"Q1025313$9CED2AAE-764D-414C-9363-ECD471BAB56C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"837b8c39dac0a9cd68b80f633aafdfc5df2d46f6","datavalue":{"value":"Groebner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1025313$844C31B1-9BA5-4027-9C45-5D7D003ECE86","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"d89eed7087f93c1cdf4120c868b02779d34eaa8b","datavalue":{"value":{"entity-type":"item","numeric-id":13309,"id":"Q13309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$9B7AD2CC-260A-4623-A4CE-A74FFFB05984","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":"Q1025313$30C4F4B6-F3D2-4C21-AA5A-6252A8FD965F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fed35f2083e1592d074e2b779038b334adec1c0c","datavalue":{"value":{"entity-type":"item","numeric-id":16433,"id":"Q16433"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$7F311D96-359B-414A-BBBB-2BA56C6199E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$8462E498-0E8B-4E0D-BCFE-3ABBE299AFCC","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":"Q1025313$41C668E4-982A-4801-8826-930963648B09","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7691883822a65707ddabd7e591bba3a44947a68c","datavalue":{"value":"https://doi.org/10.1016/j.matcom.2008.11.002","type":"string"},"datatype":"url"},"type":"statement","id":"Q1025313$E2E9ECD0-CF0F-4802-906C-023499CA026C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"95a61fd396a64afa514104973df1eba87201c36e","datavalue":{"value":"W2047275139","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025313$28BFE9CA-997D-4942-8EA3-63DAE90E2BC2","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8c2d91948f51df880221327335d042b6efb8a98","datavalue":{"value":{"entity-type":"item","numeric-id":4391217,"id":"Q4391217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$0C9A7C58-2B7E-4421-8B39-E86958D61DA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85a3958e54f71c433089438bfd37ad7829309f93","datavalue":{"value":{"entity-type":"item","numeric-id":5262745,"id":"Q5262745"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$5F61AE92-AAFE-4CDC-9539-81145CF3E45E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b66ec052635085a611a72ee91433db7ef7a5fa2a","datavalue":{"value":{"entity-type":"item","numeric-id":2751543,"id":"Q2751543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$2D736D2E-6DF6-47EA-9E6E-68C62FB68AED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4277508a115054262dca54aae3f84f05d7a748d1","datavalue":{"value":{"entity-type":"item","numeric-id":4391215,"id":"Q4391215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$69CFF2C8-C548-4D39-BD48-ECF31BB764E0","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":"Q1025313$A02D6F86-5BDB-4B98-99F4-7A2037A7F610","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa75f1cdaeccc220a4fe8fd60a0f4e990eafc914","datavalue":{"value":{"entity-type":"item","numeric-id":4459895,"id":"Q4459895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$A48078E2-2C3F-41C2-B035-64FD5C9B1215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4580d244de74128c7f5f5f0e7871ba10de39698e","datavalue":{"value":{"entity-type":"item","numeric-id":5648331,"id":"Q5648331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$30400098-3A5E-4582-A437-C513BC8E2D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33ee1e9bddd5e600f5b1d8c8cfae347a7631b92","datavalue":{"value":{"entity-type":"item","numeric-id":3140556,"id":"Q3140556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$FC32989C-FD7B-4ECF-8050-9EBBE79B37D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ad778688079d4a53aaf9e0e9300643f2b8969a1","datavalue":{"value":{"entity-type":"item","numeric-id":4779973,"id":"Q4779973"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$D7CF8C09-A49C-4F70-8823-F937044FDDCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f13ce575159035775f12cca2d4b1022bb6a479b","datavalue":{"value":{"entity-type":"item","numeric-id":4949370,"id":"Q4949370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$A0252DFD-CDF8-4F9F-847D-0A6A6B86775B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a2ad23ca61534fce39d231de8434f91a2de01c5c","datavalue":{"value":{"entity-type":"item","numeric-id":1098332,"id":"Q1098332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$C3FB1F56-F362-440C-8270-A86127C55539","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"add4491e8fd66ac82b780ec4494c2c2d28510122","datavalue":{"value":{"entity-type":"item","numeric-id":677553,"id":"Q677553"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$ECD8D864-A8C0-4648-9C00-8FF53BA49508","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0efda1b1edde59aba7842f2b6b603ab1ff7d0845","datavalue":{"value":{"entity-type":"item","numeric-id":1912495,"id":"Q1912495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$2A0BEDF6-06F1-4633-99E1-A3FF39ABFD3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed0c033094dfb7d8996fc6fb5954f750f70a95d8","datavalue":{"value":{"entity-type":"item","numeric-id":4244407,"id":"Q4244407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1025313$124C1191-9CCF-40CE-AA77-FA1FF618411D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e24c82681276df08dff0bc973ca5aad62a57dd6a","datavalue":{"value":"10.1016/J.MATCOM.2008.11.002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1025313$1455158A-70B5-4407-B969-8F4F103D0C97","rank":"normal"}],"P1643":[{"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":"aa7daf8309464a553ec4e954ae4f3f0119cde150","datavalue":{"value":{"amount":"+0.7974970936775208","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":"Q1025313$EEF7481C-E96C-4C19-B70A-9C8BE3C7F7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f627f49c922ef0fd9cfc1d9cc57f7fea34ba48fa","datavalue":{"value":{"entity-type":"item","numeric-id":4459895,"id":"Q4459895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d64a8fafbf39fa64d926f4f3c1ee987c23de225a","datavalue":{"value":{"amount":"+0.7500907182693481","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":"Q1025313$AD7A2740-D766-4869-B2FD-5005060601E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"66807c751171eab5ea8ae2cfe06368129e80dc2a","datavalue":{"value":{"entity-type":"item","numeric-id":4433979,"id":"Q4433979"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"72c7a1eaad460074b8eb2139be432d239ba06989","datavalue":{"value":{"amount":"+0.7152280807495117","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":"Q1025313$4C5CCA1E-0690-45F8-9AC6-490624440936","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":"ececa209f6539ee9ba510295b53aa7721cfde434","datavalue":{"value":{"amount":"+0.6870833039283752","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":"Q1025313$EDA555B3-A24F-4FF8-9224-38B81142140F","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":"41e44a8a119e2296c96dfda4df10cf2f03c334d2","datavalue":{"value":{"amount":"+0.6804893612861633","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":"Q1025313$42DB9E77-CE87-425A-9EE5-B847319EB78D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Combining logical and algebraic techniques for natural style proving in elementary analysis","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Combining_logical_and_algebraic_techniques_for_natural_style_proving_in_elementary_analysis"}}}}}