{"entities":{"Q4375786":{"pageid":6405385,"ns":120,"title":"Item:Q4375786","lastrevid":47000769,"modified":"2025-12-26T00:48:32Z","type":"item","id":"Q4375786","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1114017"}},"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":"Q4375786$B5CF6AB3-4103-43C0-B5B9-1D16FE8929CD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4b7fdcd82230e7dc9732da6698ef165ef405f84a","datavalue":{"value":"0890.03029","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375786$B240803B-385F-40DB-A138-76C3C9E0F18E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"343bbdfc1bb43dae441f96e27db0c3d11b37bc47","datavalue":{"value":{"time":"+1998-06-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4375786$0DAF07FA-AE49-40FF-A8B1-F91F7BCEC76B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ece9b879f80d96e2a1d45b28bdcc8cfa6b01861e","datavalue":{"value":"03F20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375786$FE41AF70-F746-418B-8D20-ADCF4685EEE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"419d6f2b09c39920e34f63114ff159a2f0a01812","datavalue":{"value":"03B05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375786$578D5462-20E9-4E3F-8594-92306C6966C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"86c47e3aedde4615dd16421ee43ac00d4048a5ec","datavalue":{"value":"05B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375786$58E4D303-6B9D-42D3-AEAE-DB6E29B4D16E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375786$ED1A1D5C-2450-499B-AFA0-863C4A1AE3CA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a831a34b63f5378c650523a12b911033d6ef6c6b","datavalue":{"value":"1114017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4375786$494EAFF8-3C7D-40E6-A6FE-F28FF07FA7E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"faaac56559c0fbfa803fa71916dfd0a01ab8cb29","datavalue":{"value":"Nullstellensatz proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375786$6D872512-7F3E-440A-A85C-B233A23D0E42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93c047fb19c5161b32c5245d5c8c28b4500157fe","datavalue":{"value":"propositional logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375786$0E46A0B7-2DBA-40C3-BB59-8F61C36B39E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5eadad81a7302cb03462443b5c2064dd78a27f69","datavalue":{"value":"algebraic identities in fields","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375786$87935F59-00BB-4CAB-828E-ACA55E2A6345","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"62fe48830aecec4708c28431f894529e15186c1d","datavalue":{"value":"designs","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375786$E27BE6B1-9A84-44E4-917C-5A56DCCEFB21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3205e7a4324de2ba32c06f43d0f69c1b4d1a0698","datavalue":{"value":"Nullstellensatz lower bounds","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375786$7A3AD0E9-A941-4205-8020-EF58363FBB0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6defd1b21195355817dee563baa4600bef826c5","datavalue":{"value":"housesitting principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q4375786$DAAB7807-4B59-4FCA-A551-A75FEF76A4E9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"556b5f897f5d545f04c26b56d4624f5cc4b2661a","datavalue":{"value":{"entity-type":"item","numeric-id":195654,"id":"Q195654"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4375786$D29F094D-910E-44A3-A30A-C8B14BE032E1","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":"Q4375786$5FC32BB9-6B53-4B88-A053-42C3D6AC70D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3711abf49c10216cf7670d3b4e3c83fed06377ff","datavalue":{"value":{"entity-type":"item","numeric-id":4892411,"id":"Q4892411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09738be3e66b34da739c6babb5580f70fca3c4e0","datavalue":{"value":{"amount":"+0.807183027267456","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":"Q4375786$2E51CCCD-20B7-46C2-8522-BDB2DF903A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c8c004b08a566e18e292e3af58cbc17bb167929b","datavalue":{"value":{"entity-type":"item","numeric-id":5957910,"id":"Q5957910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"678c0b4cc4f66b1d9d3f81b75109935b824cffea","datavalue":{"value":{"amount":"+0.7926853895187378","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":"Q4375786$A2B2EB0A-365A-435E-8FF2-984F98F0756F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"71c7c1dccd05c45134ae7633581f809a089e7818","datavalue":{"value":{"entity-type":"item","numeric-id":1377580,"id":"Q1377580"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5cf9b49103597f7e0c7262c5f96c4b172a0d220f","datavalue":{"value":{"amount":"+0.7851090431213379","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":"Q4375786$A102D9B9-DDBA-4701-BFE2-50F08E645018","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4375786","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4375786"}}}}}