{"entities":{"Q1333975":{"pageid":1344714,"ns":120,"title":"Item:Q1333975","lastrevid":70166502,"modified":"2026-04-13T12:53:22Z","type":"item","id":"Q1333975","labels":{"en":{"language":"en","value":"A criterion for dependency of algebraic equations with applications to automated theorem proving"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 640449"}},"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":"Q1333975$861B3D8B-D233-4548-BF2A-6974E17BCE66","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"986d03b36425d770d5602822524c7ff0ee6a9c11","datavalue":{"value":{"text":"A criterion for dependency of algebraic equations with applications to automated theorem proving","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1333975$D7301A49-9386-48C8-BA6E-5054BD18C3E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ea2b1245f96efd872ba7f7c5f979593574d38ff0","datavalue":{"value":"0820.68108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333975$501E4EAD-6DE2-4ED5-BF93-0368FFE531CF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"dec7461111d9cda8617112c815269fb3ec99ff58","datavalue":{"value":{"entity-type":"item","numeric-id":215660,"id":"Q215660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333975$FA379344-CA02-48B9-B950-CD380602DF94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a9707754086af6241d3ee4dc58d9ec324f0ca8fd","datavalue":{"value":{"entity-type":"item","numeric-id":215658,"id":"Q215658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333975$E33EB265-8FA4-4038-995D-E34F21201E6F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"08885b1a8f2cfb423131e0fdd6c7e809277a8ca7","datavalue":{"value":{"entity-type":"item","numeric-id":242603,"id":"Q242603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333975$F50DD4D9-33BA-472F-923E-03CB2A73C949","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"458fca2b56f2582953e7095ef1b99c53dd52a001","datavalue":{"value":{"entity-type":"item","numeric-id":547811,"id":"Q547811"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1333975$340BDF95-75E9-4D4B-A084-19A6DFEC773A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"35560ff9834a057879868809cad32ac850730b23","datavalue":{"value":{"time":"+1995-07-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1333975$AD67B5E1-F031-47A1-8988-F64E4B76876F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333975$FB84F68D-F942-4F26-A4A0-A08D2EC116C9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"4361e25ce7f86638a4911de59d47d3cd591f1af2","datavalue":{"value":"640449","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1333975$9B15425F-E046-4498-AA0C-FA654344B222","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69235f81b7fc121d83d2998a48a98fe2899f5326","datavalue":{"value":"well-ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333975$D9A82F88-2D29-46CF-961C-46B2D0C38CEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"318eda02873ec1a0a6bd4d017993b19ae6bbd51b","datavalue":{"value":"ascending chain","type":"string"},"datatype":"string"},"type":"statement","id":"Q1333975$B6B19274-B65E-426E-804E-F94298CBDBC0","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":"Q1333975$B10C5495-CB89-45B4-8B4D-214F14E41E43","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9126f4203c53b4010c66228a3d67a0429a54f799","datavalue":{"value":{"entity-type":"item","numeric-id":4303118,"id":"Q4303118"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d74eb3ed26e7a57a7733d3319ccc1097c742906d","datavalue":{"value":{"amount":"+0.8315719962120056","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":"Q1333975$4B5CB9A8-E916-449F-9C0C-ED8E3B3E3537","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6ac108474f23f8173801b3397821778e14580642","datavalue":{"value":{"entity-type":"item","numeric-id":5120213,"id":"Q5120213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"77f8d2ce36ef3c6cac527bd3455838f35a6e2bc3","datavalue":{"value":{"amount":"+0.7455826997756958","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":"Q1333975$C00F1775-7448-46A6-8E90-7224EF2B8AB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f3be91ccf49b392e3cac923ed17fe81c9f7e972d","datavalue":{"value":{"entity-type":"item","numeric-id":3798911,"id":"Q3798911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"365736c57c97631d317aeecc733b16ef95f8b419","datavalue":{"value":{"amount":"+0.7419031858444214","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":"Q1333975$4B70EA8A-43B7-41CA-A421-1D67FDE4279B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30a1865224b335572d87e4e84178e12e58c5bb0e","datavalue":{"value":{"entity-type":"item","numeric-id":752130,"id":"Q752130"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c59eec5077221690ed7ed0409d08251692914f1","datavalue":{"value":{"amount":"+0.7376697063446045","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":"Q1333975$3BAA3397-FE08-4C68-A9FA-7D139977D53B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c5de2920f592edbe5f550d8ccc7bfeeeca50aa4a","datavalue":{"value":{"entity-type":"item","numeric-id":5203713,"id":"Q5203713"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"703967aa93040a5e31ee34a729735394f497441a","datavalue":{"value":{"amount":"+0.7369586229324341","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":"Q1333975$6C9F6DAA-DCF1-4CC7-A84A-978D07A040C9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A criterion for dependency of algebraic equations with applications to automated theorem proving","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_criterion_for_dependency_of_algebraic_equations_with_applications_to_automated_theorem_proving"}}}}}