{"entities":{"Q6661748":{"pageid":14272905,"ns":120,"title":"Item:Q6661748","lastrevid":103793453,"modified":"2026-06-06T08:12:13Z","type":"item","id":"Q6661748","labels":{"en":{"language":"en","value":"Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Past\u00e8que and Nuss-Checker"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7965958"}},"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":"Q6661748$25E8E20F-BB97-4FA9-98CD-C655CEC819FB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"582a9f43d2efbfa94df6b6e9aa2e23a53fda1c8f","datavalue":{"value":{"text":"Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Past\u00e8que and Nuss-Checker","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6661748$5E2C3CD6-F615-4340-8A5D-99E91FEC9933","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"59c49857b114968b9492d4363ca3a37d7cfd6e4a","datavalue":{"value":{"entity-type":"item","numeric-id":2110232,"id":"Q2110232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$4661A480-CF31-47F5-8BD3-253F45F05E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ef26cceb99c4befe66da5792d77abe576a865b4f","datavalue":{"value":{"entity-type":"item","numeric-id":287337,"id":"Q287337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$E1D37612-5972-49B9-9299-166C20848135","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"396db362b8f5a55e9aac7b42eacb07e40796d942","datavalue":{"value":{"entity-type":"item","numeric-id":209458,"id":"Q209458"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$AA600F8D-9B55-4CC9-B601-0194C91B5C92","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5e34375b1d44004fc65a252d19b9e51bf0f0a020","datavalue":{"value":{"entity-type":"item","numeric-id":392146,"id":"Q392146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$085D281C-A253-4F84-B8CF-81534732F15F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$8B9DF94E-BFF2-4A9C-9C52-25E50364A98A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f056a8af4460fa19ed4a426ef391be1015492c54","datavalue":{"value":{"time":"+2025-01-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6661748$9BD8EA69-F918-40F8-8063-B813DBA0CDC8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62a49b155c9af634e6c3562b1547da1f7c08791a","datavalue":{"value":"68-XX","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661748$1D7CA9F2-5778-474C-AF9D-526C9A2EED02","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4cf277d06284d64dd517a9702d97a0adddad8c61","datavalue":{"value":"7965958","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661748$8B26ADBB-9A03-460E-ADAF-CDAF43E5B940","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfeff29eb4c15469599e33e92d2c0f12df97d184","datavalue":{"value":"algebraic proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661748$8BA24932-8CE5-4B91-953B-122E9048E405","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30784c07b89f4daa63e5311bf0f2baed824099ec","datavalue":{"value":"Nullstellensatz proofs","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661748$59C79AC9-1111-4B5C-873C-56577F54E4A2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"211f3c345d1c27387d231726f7e79d65298863cc","datavalue":{"value":"polynomial calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661748$FC29BA85-E135-4BC9-AC40-F8249A6E2D39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bae09195fd611bccf15c25e209f2742706bae66d","datavalue":{"value":"Gr\u00f6bner basis","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661748$D5080E3B-3E80-4FAB-827B-1338624CA74E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f55afc817c99a4eb736c7fb9a9e8c0daf8e10b5","datavalue":{"value":"arithmetic circuit verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661748$70586E45-3E82-4EA6-9900-ECC2D1989782","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42f0513e500ea6cb630e73925875c7d53ca8d8e1","datavalue":{"value":"Isabelle/HOL","type":"string"},"datatype":"string"},"type":"statement","id":"Q6661748$7D061F91-58D4-4763-AC61-5B37E9C8727C","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":"Q6661748$FE3C1EE7-35A1-4DA9-AC72-34A187C8FABA","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4ff8a1d983dc735fd82f262f00fed618f4232eaf","datavalue":{"value":{"entity-type":"item","numeric-id":3149864,"id":"Q3149864"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$77A09390-21F1-4C34-95F4-7DE688F519E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f0206d3a695d8d8e1728212c926a47f4d0e22e7","datavalue":{"value":{"entity-type":"item","numeric-id":1273858,"id":"Q1273858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$9A7FBBAB-AFFF-4E72-AEF8-867DC50A8AE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dbbe1958fb29532b90e09c713c0b31c18a6b57a9","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$7D14D063-ED9E-478E-BDC2-F765BE809E36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"961e583e188fc7cff1699f17f5a1576a96a31fd3","datavalue":{"value":{"entity-type":"item","numeric-id":287340,"id":"Q287340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$20CD9D3E-7E47-4EB1-9337-95CB6A26CB45","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":"Q6661748$80F39AE2-784E-4983-AAAC-665100E53543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fc668831a6565a498110f2aeac4eebcb5e83ad5","datavalue":{"value":{"entity-type":"item","numeric-id":4228469,"id":"Q4228469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$3132AE4B-3BDD-424A-B515-573778A11081","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4d5ccea7b6fe9f5a7082344f9edaface083da76","datavalue":{"value":{"entity-type":"item","numeric-id":2405252,"id":"Q2405252"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$54BBC1C1-5681-4438-BF6C-E6F522CD2FF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7237ffb12f9e25db6f08fc9a97900ed45e5a332","datavalue":{"value":{"entity-type":"item","numeric-id":2813263,"id":"Q2813263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$7DE186CC-6A6A-4D2D-9BA6-4333E7A2701F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"931c42c28f22f89fe1b66164f9ececc2021ac1a2","datavalue":{"value":{"entity-type":"item","numeric-id":3558332,"id":"Q3558332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$EC792045-3A06-4388-A1AE-089CEFCA05D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb401982c24cf60048aa19266cd42b3950ee7608","datavalue":{"value":{"entity-type":"item","numeric-id":5219922,"id":"Q5219922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$973F2BAD-92E8-468E-AE6E-143815A5ABF4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d43182de98d159f0ebb543c5126e0ae385036ba","datavalue":{"value":{"entity-type":"item","numeric-id":1687744,"id":"Q1687744"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$0DF02B60-6BA3-40BE-96C1-589ABDB60E3E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c97dc2f341514a626fa15ae1dca7bd36a61e7ff4","datavalue":{"value":{"entity-type":"item","numeric-id":2181927,"id":"Q2181927"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$B54EBD9B-BBE9-4457-8285-C60147037E29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"39cd056a2f19fff4f7bc8db4673f0329f403343c","datavalue":{"value":{"entity-type":"item","numeric-id":2229749,"id":"Q2229749"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$C47A2A26-1F99-4CA5-B79F-8A109E851138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d5a8ecc2a9e7c46d4f5860dcba79e64e2d62081","datavalue":{"value":{"entity-type":"item","numeric-id":1961057,"id":"Q1961057"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$CB49A5D8-FA34-4ADE-B1C5-F1AD16101A48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fb88951437ccd14e6bdebc77cda052045a02f0ce","datavalue":{"value":{"entity-type":"item","numeric-id":1094150,"id":"Q1094150"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$EB96AD6B-EED2-48F0-830A-B307003DF7E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0218a84626222b5538fb3ba5ce553779529874b9","datavalue":{"value":{"entity-type":"item","numeric-id":2110233,"id":"Q2110233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$FD79E2AB-05BD-48B4-B05B-32BD2F4DCFED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5dffe5441220fd05c9ab29a095f510d384d606b","datavalue":{"value":{"entity-type":"item","numeric-id":2945637,"id":"Q2945637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$0733B4B8-8C09-46AE-A170-8C8607C4B27C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"77bf0527cae45caf1270972ff5ead3c89685a7ab","datavalue":{"value":{"entity-type":"item","numeric-id":5875431,"id":"Q5875431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$17CD4CAD-2B24-4A26-9C8E-415B827268E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c19180a8148fbd7f72dc6408ad2318b7b6193b0c","datavalue":{"value":{"entity-type":"item","numeric-id":5091769,"id":"Q5091769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$F6CD583E-F148-4099-97B6-A1EF813FC43C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a4c0d4361a04eca282f8ad573b7549b9d8d21e","datavalue":{"value":{"entity-type":"item","numeric-id":4601843,"id":"Q4601843"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$61A3F865-D840-444A-B38C-4AB4A821CE97","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":"Q6661748$E9209C25-2C59-44B4-9A8B-A523EA2E0BD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9bc24d8500406ea1bbb17938706b0e86b4f4043","datavalue":{"value":{"entity-type":"item","numeric-id":5120174,"id":"Q5120174"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$0A4B03F9-3CAE-424D-B9DF-F0D8AF1EC8D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"871a7838603e3c550db89a4460c5c1dba9e680e8","datavalue":{"value":{"entity-type":"item","numeric-id":694550,"id":"Q694550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$FB3965EE-A644-4D0E-9BDC-619BD32BC31D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"167bde4c7b894e06fd3c69dad1f20c9fca60d538","datavalue":{"value":"10.1007/S10703-022-00391-X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6661748$D6CBDE2C-2466-4C08-B799-B8948BD6F3A1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ef7ee3b7d6d18ddf40be1d05d447cb6374f78511","datavalue":{"value":{"entity-type":"item","numeric-id":3003228,"id":"Q3003228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"15018132eec831c4779b74b4a6fb1509a5de562e","datavalue":{"value":{"amount":"+0.7219724059104919","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":"Q6661748$827C9A84-5C64-45C9-B75F-5F3DF8228A5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6e92bb1e52dcbe4b71fbb4fb8a9dabdf590a402","datavalue":{"value":{"entity-type":"item","numeric-id":5920089,"id":"Q5920089"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d4033812ef24ff54b4e79c16ac03a17ea5423def","datavalue":{"value":{"amount":"+0.7206029891967773","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":"Q6661748$9C2AB3AC-D76C-4DC8-AA1A-EDAC60D9C723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"efaee4a8b6e6f3ba8887c74d2eca20937ad0c891","datavalue":{"value":{"entity-type":"item","numeric-id":2225473,"id":"Q2225473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dd9bf1aee4300bf983e5662d9e88433b9b906369","datavalue":{"value":{"amount":"+0.7124835252761841","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":"Q6661748$ADAFA486-CF44-456E-BE01-BB6095113903","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af0dcb9473db49242994ba849ab40d6e8309464a","datavalue":{"value":{"entity-type":"item","numeric-id":1401356,"id":"Q1401356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ecd0e33dc9495396f7151429538147d4bb63c52","datavalue":{"value":{"amount":"+0.7097662091255188","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":"Q6661748$6FEF6510-F83A-4A87-926F-1E31BCB09661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c9541118d0e80b14a3878d56a9fa40c6f059cb57","datavalue":{"value":{"entity-type":"item","numeric-id":2233509,"id":"Q2233509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e989fc6522bf718ddc73c53205919dcd4815af0b","datavalue":{"value":{"amount":"+0.7082148790359497","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":"Q6661748$510CB159-7AEC-4C65-9724-6A772B10082D","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6661748$13BFF9B4-2B0F-44D8-B0D2-10689F49EA21","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Practical algebraic calculus and Nullstellensatz with the checkers Pacheck and Past\u00e8que and Nuss-Checker","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Practical_algebraic_calculus_and_Nullstellensatz_with_the_checkers_Pacheck_and_Past%C3%A8que_and_Nuss-Checker"}}}}}