{"entities":{"Q2702494":{"pageid":2713239,"ns":120,"title":"Item:Q2702494","lastrevid":82775918,"modified":"2026-05-06T21:55:06Z","type":"item","id":"Q2702494","labels":{"en":{"language":"en","value":"Theorem proving for and with Gr\u00f6bner bases theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1574941"}},"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":"Q2702494$524693F5-48DC-4A61-8F62-E5AB5C80552A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3ad8125ff1e9109632ed06382007cc7768b60aaa","datavalue":{"value":"0968.68147","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702494$3998B178-CD7D-4743-B585-D1194BBA45BB","rank":"normal"}],"P16":[{"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":"Q2702494$CEBDD5AC-74F1-4363-9BAB-666DC091424A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"af22c54118a69f4324bd2bfa43c2edc40af04cff","datavalue":{"value":{"time":"+2001-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2702494$B0F33EE9-E7F2-47B2-BC2B-767BE015A610","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702494$CD7A6B6A-E315-4B9C-BBC5-1E3E95DBCA52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702494$FBF0AC30-45EF-4EAA-A5C2-87B64C84D14C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5ca8535c7b031bd8fd84b14b8b829c92865228fc","datavalue":{"value":"1574941","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2702494$80474A64-BF4B-45BF-9826-9F2FEAD1BC9D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702494$06B7F35B-ADA3-4628-9D21-A4E3A7D44567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q2702494$946E6AEC-0A5F-457D-8336-A6EAE2C961B4","rank":"normal"}],"P1463":[{"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":"Q2702494$32E8D6A0-F01B-43BA-91F2-4FFABE046A5E","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":"Q2702494$49A5F402-111A-49DA-B69C-4BE5AE586A69","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b8ff0d2a30fbc9b3655cd508ee822307b13662d0","datavalue":{"value":{"text":"Theorem proving for and with Gr\u00f6bner bases theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2702494$FEE61A95-F9BA-476A-BB4A-D3D1EEEDA968","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98c37cb6c6b42789f8c1a1828fff40de73c5b411","datavalue":{"value":{"entity-type":"item","numeric-id":2879150,"id":"Q2879150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8893203b2b217f5f28753d0f2b2e2dfdc6feffee","datavalue":{"value":{"amount":"+0.8469749689102173","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":"Q2702494$C78E300C-17BB-4F9F-B6DE-70DB6112250D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f8ab7a894f20d30190c83003c877fc78269f660","datavalue":{"value":{"entity-type":"item","numeric-id":4550487,"id":"Q4550487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5c6f07644fe16ac78787f1f1d9a323a54106429f","datavalue":{"value":{"amount":"+0.8351158499717712","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":"Q2702494$480811E8-00A6-480B-9DE3-A2FECAE8FBA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"816c9a0df76b51fe8c12d3110f1fabe3069a190e","datavalue":{"value":{"entity-type":"item","numeric-id":4841300,"id":"Q4841300"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5066a1b9a97d80539e4032812f992773672393d9","datavalue":{"value":{"amount":"+0.8312535285949707","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":"Q2702494$09D892F7-6855-4C83-BCC1-B424457EA949","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49394d8a4837c9022d472ff20f07f444453fae5","datavalue":{"value":{"entity-type":"item","numeric-id":2817288,"id":"Q2817288"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0683e4b56abe8cd3cfefe42290c1748c013f0941","datavalue":{"value":{"amount":"+0.830356240272522","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":"Q2702494$9A3CDE64-D185-4FBF-BF5A-4A9CADB200CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"94a839d74007af1c3930450a763c8b9ef35f3d0c","datavalue":{"value":{"entity-type":"item","numeric-id":4394960,"id":"Q4394960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2bb958ce8fccb92c641acf4e2d4aa6d4794087b4","datavalue":{"value":{"amount":"+0.8210694193840027","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":"Q2702494$BF65BAE1-BD31-4C83-BD89-B4FE044CB6E7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Theorem proving for and with Gr\u00f6bner bases theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Theorem_proving_for_and_with_Gr%C3%B6bner_bases_theory"}}}}}