{"entities":{"Q698628":{"pageid":700477,"ns":120,"title":"Item:Q698628","lastrevid":47989846,"modified":"2026-01-03T07:04:36Z","type":"item","id":"Q698628","labels":{"en":{"language":"en","value":"A very weak Nullstellensatz over Heyting fields"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1803687"}},"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":"Q698628$8BBD5ECC-B497-4788-8EAC-587BC60D3994","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0c5fc259d0d12eb35f45f950a5c6e20c783a1d34","datavalue":{"value":{"text":"A very weak Nullstellensatz over Heyting fields","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q698628$3CC2149A-953E-424B-90A8-BA9F2132296F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"50dbdbd952d14e7371200c7f7b1cd9920f731e24","datavalue":{"value":"1025.03069","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698628$FE0ADB7D-0ACB-4225-B4E2-A40290FC42D2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49399bafa8d5847c8615a56f069cc633702e8a5c","datavalue":{"value":"10.1016/S0019-3577(99)80009-3","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698628$ECE4132E-1D0F-4E6B-B6A5-9CC2C65A2062","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c560b31bb9f1f00731745c94c8d48f1f5e52ff8","datavalue":{"value":{"entity-type":"item","numeric-id":591967,"id":"Q591967"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698628$1315799F-2D35-45CD-AF45-C9E60182E08A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2e359c0e985e9b5bac2c1d59359dad9dfd6f494d","datavalue":{"value":{"entity-type":"item","numeric-id":174755,"id":"Q174755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698628$2BDBCE6A-7665-4C38-94AD-433A9137346F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2e0fdb3e4c16d994bf6f5d504c6aa80c971ee86","datavalue":{"value":{"time":"+2002-09-22T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q698628$BF48817B-1E43-4C31-983D-731AA95A73DF","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698628$A7537121-14B5-4C40-8B79-C1379042D80D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4e2aa5b7e34e0c988d04ecf732a3cd8c9233b11e","datavalue":{"value":"13L05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698628$36E33A0D-F664-4A2A-94AA-23C9658E4C2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cb8ff963001a62960f7f14024cb262402d87b57","datavalue":{"value":"1803687","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q698628$04807268-A435-4215-99B5-81F8DCD7006D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b3adb4310199b8ef51a030944ccde54eed452f70","datavalue":{"value":"weak Nullstellensatz","type":"string"},"datatype":"string"},"type":"statement","id":"Q698628$D8C11A08-3846-4566-82C0-2594A703EF41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7a609ae2c21271342f267522dda74375687f014","datavalue":{"value":"polynomials","type":"string"},"datatype":"string"},"type":"statement","id":"Q698628$374C0F91-EC67-4172-8B0A-4E767A3BB75E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"89470be1a0b11e7932377d5fb1d04ffe870396ea","datavalue":{"value":"intuitionistic algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q698628$215EC2E0-8617-4C5E-95CF-005B61C029B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ed5825ca0b764f0da94797cf47211376d5677d8","datavalue":{"value":"Heyting field","type":"string"},"datatype":"string"},"type":"statement","id":"Q698628$8579FF73-A7D7-4AE4-9418-3EF3AD14B84A","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":"Q698628$A1520503-122C-40D2-83A7-9E3D57B40E02","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1521657ed93669f2125ef2313ac65a287f615d3","datavalue":{"value":{"entity-type":"item","numeric-id":3754620,"id":"Q3754620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698628$B2CF9B44-07F9-4083-A3A1-5F4B94E6328D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c7cc0904c6d272853df90633c79f5b23d03d4168","datavalue":{"value":{"entity-type":"item","numeric-id":5782217,"id":"Q5782217"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698628$848CAB7E-8F20-4C1A-A3DF-F85D1CEC2F42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fdaa4df1bc97d1448f2d8eeea53c9304f950a63","datavalue":{"value":{"entity-type":"item","numeric-id":5329144,"id":"Q5329144"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698628$B06401FB-BFDD-49E9-8188-6F8B879BD5DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364715fdc2f0e93e050fee5206acb2c2513c84c0","datavalue":{"value":{"entity-type":"item","numeric-id":1210701,"id":"Q1210701"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698628$1B672643-5BB4-49E7-95B7-DF16FF210066","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d0950cef41b5e3860225250942cc082fe0ca0df","datavalue":{"value":{"entity-type":"item","numeric-id":3037435,"id":"Q3037435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698628$EE060193-AA9E-45B2-AE4D-FFED1D54CCA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25fc0f83d5ec3109942a6da644b57709f31b1dc6","datavalue":{"value":{"entity-type":"item","numeric-id":1188522,"id":"Q1188522"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q698628$CAA2135F-9828-4C21-8C03-D63EB7E839C5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2f467d53b2c60d54c1dc39bdee93ec062738030","datavalue":{"value":{"entity-type":"item","numeric-id":5703220,"id":"Q5703220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7397c3262813d1973e89209ac0cdea68b5d6240","datavalue":{"value":{"amount":"+0.7477600574493408","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":"Q698628$B362F9AF-A1AA-4829-928F-E10874B47AEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c0a4133c1cc63db9d176703fe79b5d6f44d345b","datavalue":{"value":{"entity-type":"item","numeric-id":4714031,"id":"Q4714031"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5a221ba0de5a4efdfa4d0f1fe9122931d9131fd3","datavalue":{"value":{"amount":"+0.7328764796257019","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":"Q698628$EA80A1CA-DA08-4015-9EA9-ADFF8AF40DDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ccd9c520356532737a3e8f4029885b4a53d31083","datavalue":{"value":{"entity-type":"item","numeric-id":2278388,"id":"Q2278388"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1fb3dc78b45ccb932c3872a8184e468119750b42","datavalue":{"value":{"amount":"+0.7307277917861938","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":"Q698628$18468482-8D8E-4DD4-91D4-064939615C76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a80729cdd0a2f4d542dd448dd43ccb9e7c07b8c5","datavalue":{"value":{"entity-type":"item","numeric-id":3491710,"id":"Q3491710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"19e87e8f7ad0b27bd39f245bb48555ed76a2363b","datavalue":{"value":{"amount":"+0.7252047061920166","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":"Q698628$3E87135A-4623-4594-8314-D74CE44A0B52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0bbb28e8f9ed564af40e9ef3560cf7cfcabf3425","datavalue":{"value":{"entity-type":"item","numeric-id":1117017,"id":"Q1117017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"40f548697ebc61d6048b5dc5360d0ff839064bd6","datavalue":{"value":{"amount":"+0.7231622934341431","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":"Q698628$87A83303-7ABB-47B0-AB48-0F2BA29FED73","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:698628","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:698628"}}}}}