{"entities":{"Q1012152":{"pageid":1014000,"ns":120,"title":"Item:Q1012152","lastrevid":66008919,"modified":"2026-04-12T06:55:01Z","type":"item","id":"Q1012152","labels":{"en":{"language":"en","value":"Certifying properties of an efficient functional program for computing Gr\u00f6bner bases"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5543824"}},"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":"Q1012152$E5F48B64-4DB5-4DAE-840D-4AF72D8749A6","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19f825e9935cb61e7b971ced77278d1e25111be9","datavalue":{"value":{"text":"Certifying properties of an efficient functional program for computing Gr\u00f6bner bases","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1012152$D3D16835-2CBF-4A32-A468-67B657488DA0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"80cc52adb0580dcbf034945acde15b4aefb3af14","datavalue":{"value":"1159.13016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012152$97BCFF32-72CB-4C91-AFB8-58CD32EB57CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f71b6b0d8fbb0cb846e7832cd3e9260cda3a8981","datavalue":{"value":{"entity-type":"item","numeric-id":1012149,"id":"Q1012149"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$14FB182F-E890-4B46-92FF-2FDD79B382DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5939133e36fb4feff360b4227a7d2c3c1f7afed9","datavalue":{"value":{"entity-type":"item","numeric-id":1012150,"id":"Q1012150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$89644631-B6B7-4694-838A-981B3D64D2CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2cfdde26bc28e11822b204a534c08742485b8cae","datavalue":{"value":{"entity-type":"item","numeric-id":1012151,"id":"Q1012151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$1B89096D-B70B-4077-832D-DA425727123F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$CA2B015B-C7C2-4591-A80E-15BBF06AF76B","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a70e3fb7efc077ae8b5215707528be5246c293fd","datavalue":{"value":{"time":"+2009-04-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1012152$19B8471F-8480-45C9-8416-EDDAE9F737D4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"173b0c3afec7c4f9f987722665cc7bdb6b8f5813","datavalue":{"value":"13P10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012152$DC8AB99E-4B00-4110-932A-D1DAF70E6041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012152$5CA51C3B-5C05-46E7-B845-8AC42EB21388","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2e3b510463db1c17fd96f4da754bd8e460bf99ab","datavalue":{"value":"5543824","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012152$8617A48C-9AEB-4706-BC65-8656A33F65F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012152$520373A8-1B90-4A61-A32B-3AF07E6B2609","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ff93fcab863d9a2d7b61f398ca8507531735efa","datavalue":{"value":"software verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012152$9DADFBCD-8F89-4F57-AE49-7B0A33FEB334","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b36661f0a3390102be2be05796702400601b738","datavalue":{"value":"theorem provers","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012152$5FB5B33E-7977-4346-BCDB-1FA9E7BA4E1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"00b76a2e54f8798fe172effecd557ced03e2f904","datavalue":{"value":"functional programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012152$0D105D2A-9BD7-4A34-BEA4-2C00418AB698","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99c239dc77a316f7da47f9d2d7c645993f6cd8d7","datavalue":{"value":"Gr\u00f6bner bases","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012152$DE9A6976-136B-4330-ABB2-CF1D0D42E668","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"698542b58ea564916b2ef53688be87fbd4e7199e","datavalue":{"value":"Buchberger's algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1012152$4B6564D1-1F89-4DA9-85CC-3647F4388194","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8c652637493e8de65377ba80065ca4183c6dc627","datavalue":{"value":{"entity-type":"item","numeric-id":12833,"id":"Q12833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$70F5384D-6D5A-45C6-8F9F-0D62ECFB3C9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5baeda0284f0aab98a1793e552346f07416c7375","datavalue":{"value":{"entity-type":"item","numeric-id":14489,"id":"Q14489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$B554E61D-0859-4A69-A109-D9E812726A9A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3a91a09cea06b92a374a381bd8f3c8c9a2e6ea69","datavalue":{"value":{"entity-type":"item","numeric-id":5974577,"id":"Q5974577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$A316BBB7-285B-4275-9D84-5C505AB18C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9a01636f55ab5ce6b5e67613ff8cbbb5daef3d20","datavalue":{"value":{"entity-type":"item","numeric-id":16816,"id":"Q16816"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$AA21CE3F-E21D-49CB-B647-AA2487791AD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"73bf07fb0985efe0166024eb806e5cf2244671a5","datavalue":{"value":{"entity-type":"item","numeric-id":18489,"id":"Q18489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$FBE7983A-C527-4590-BF18-8AF5CD52DC02","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":"Q1012152$790F69AA-D5C8-40D0-B069-EB90086ABEF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"31a461888bfe9315ad7d7f5e0da5f5d5d2bfb22e","datavalue":{"value":{"entity-type":"item","numeric-id":13048,"id":"Q13048"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$B02F3A91-BBA8-44C7-8DA2-70FAF4DA7412","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":"Q1012152$127CBC10-1422-4D28-8F07-A70EB7A64091","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34ec64209927d804678a6d89115d0554b75bd93f","datavalue":{"value":"https://doi.org/10.1016/j.jsc.2007.07.016","type":"string"},"datatype":"url"},"type":"statement","id":"Q1012152$0B0D0B19-C682-4007-ACC4-103B6BF2A102","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"123e4dd5523c9b1df98f648d3b4ebd19ad7534b2","datavalue":{"value":"W2002003982","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012152$5A52D522-EE1A-446D-B7BE-BDD245D36982","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$DAD153CA-F07B-4F5B-9004-A7892F9D57B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6f3ea02b15a15931f4cd364dd4a0ce61e10ac225","datavalue":{"value":{"entity-type":"item","numeric-id":703860,"id":"Q703860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$0AD31ACC-8AC1-45F4-B411-F65621C8FD06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1e01d980ab6b61df3778c3bc7a4df56b54c94d9","datavalue":{"value":{"entity-type":"item","numeric-id":1186712,"id":"Q1186712"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$CD72D77F-C759-4A62-9D39-4ECF82712DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d0d60285ae04471993c98b6fd4f9789d850bb6c","datavalue":{"value":{"entity-type":"item","numeric-id":2902935,"id":"Q2902935"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$68A6478C-08FD-416A-AE3A-E80183B6C8B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b7a76e3d93219f8f35922f7e651242be822568a","datavalue":{"value":{"entity-type":"item","numeric-id":3208084,"id":"Q3208084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$B9A14161-F62D-4722-B747-6184AF9C6945","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d592f87e8857ff4d106dd1dd178161f50c9229b","datavalue":{"value":{"entity-type":"item","numeric-id":1108266,"id":"Q1108266"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$0F1EB84E-3006-4866-8521-41041F72B521","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03df894afb6d94fd5cd00e7f902193e691d93f6e","datavalue":{"value":{"entity-type":"item","numeric-id":4302494,"id":"Q4302494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$7920A0F2-4ABD-432F-AB4E-4DF9C011BC4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"477fad7e9eb44ad8a11dffc84ce40c6dfab6c50e","datavalue":{"value":{"entity-type":"item","numeric-id":1295781,"id":"Q1295781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$13DAB3DC-435D-447D-9581-9E828CDB7AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e77b96b1f9b81bfd3635097c3656a818cbf4fd7","datavalue":{"value":{"entity-type":"item","numeric-id":5706724,"id":"Q5706724"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$EB714F84-C5F3-4485-9046-205C205609E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7abea590b40a349aeeb329b91d212f27371aed03","datavalue":{"value":{"entity-type":"item","numeric-id":5464700,"id":"Q5464700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$13394324-82AE-4E71-94E8-E51A40FF9E95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d8f88db4db4ff3067bd759c8807bea327b3eccfd","datavalue":{"value":{"entity-type":"item","numeric-id":1094421,"id":"Q1094421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$F1E111C9-9506-4A42-9853-FB63EF528214","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b04f8e06bc6d45cea746bdfc009dd75dad2987","datavalue":{"value":{"entity-type":"item","numeric-id":1595926,"id":"Q1595926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1012152$5276B322-4525-4208-929D-BA5B0A31D465","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"981002853463400a417ab4844b7ab96e04d5a74b","datavalue":{"value":"10.1016/J.JSC.2007.07.016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1012152$6AA17773-94F9-4D1A-AD81-FBF59F965AFF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"64fa174be350d15f32719e74a3c9677639f35386","datavalue":{"value":{"entity-type":"item","numeric-id":5394418,"id":"Q5394418"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"634087e38bd741123ffdc960d9e8f62aaa68a937","datavalue":{"value":{"amount":"+0.9072108268737792","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":"Q1012152$6B379B3B-C247-423D-BA5A-28D99158D289","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8bc953dd1614a07144d617fb2b8a68487cd9ef5d","datavalue":{"value":{"entity-type":"item","numeric-id":5464700,"id":"Q5464700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7eda6f39793a0cf8a14ecc503c6a91a01054e666","datavalue":{"value":{"amount":"+0.7582817673683167","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":"Q1012152$78CC5A9F-E9A5-48C6-A151-C4C8F3A40499","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95abb6469afc8d880f03764fc22c99f814d78278","datavalue":{"value":{"entity-type":"item","numeric-id":1798967,"id":"Q1798967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f7e8ab6017e9659ed469068f4f1a74221688f374","datavalue":{"value":{"amount":"+0.7421597838401794","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":"Q1012152$E5EFCCA7-924A-4275-8671-352247FD5CD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa9ee5dacc74280ba2bf4401bdf617ae6b1186a7","datavalue":{"value":{"entity-type":"item","numeric-id":2028994,"id":"Q2028994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b089c8a0098780be882950b13f7c8e675cf56cb1","datavalue":{"value":{"amount":"+0.7333975434303284","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":"Q1012152$40DDEC8C-7334-490B-825B-76CDB8A01C21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c160088cf25b70d48dfb6c6d0df5e8c0b8a72f7f","datavalue":{"value":{"entity-type":"item","numeric-id":4249903,"id":"Q4249903"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b83cad605931175c8ae44d2cab7296d79110c525","datavalue":{"value":{"amount":"+0.7233669757843018","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":"Q1012152$9C3B6F1F-A49A-43F9-BD45-2CFDD9294C3F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Certifying properties of an efficient functional program for computing Gr\u00f6bner bases","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Certifying_properties_of_an_efficient_functional_program_for_computing_Gr%C3%B6bner_bases"}}}}}