{"entities":{"Q1040258":{"pageid":1042106,"ns":120,"title":"Item:Q1040258","lastrevid":69690561,"modified":"2026-04-13T08:44:39Z","type":"item","id":"Q1040258","labels":{"en":{"language":"en","value":"Algebraic geometry in first-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5637521"}},"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":"Q1040258$3D48D196-F234-46F3-9F7E-8694791BAE4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"c66b6501a7b0719c8942bfbcda90465120a68a13","datavalue":{"value":{"text":"Algebraic geometry in first-order logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1040258$CD82C4B9-C583-4A76-82E1-1BE2EC5E217A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"16c3948dad484e79d296a7c536b1bafbde6e3b27","datavalue":{"value":"1181.03064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040258$A5627928-85D6-41E6-9113-C4DAD0D178B0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"17c447c8e76a3a0e73a2c70a024d9ee2f8256c04","datavalue":{"value":{"entity-type":"item","numeric-id":195577,"id":"Q195577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$FB64F4D0-F7C3-4769-A01B-59F6619F544C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"bf7802724d6393d9480215271c847488d3a99586","datavalue":{"value":{"time":"+2009-11-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":"Q1040258$4E63799E-2305-478C-9964-7B08410443B4","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"34d26585583dba986ad4ee4ae1c0dc5bf2360beb","datavalue":{"value":"https://arxiv.org/abs/math/0312485","type":"string"},"datatype":"url"},"type":"statement","id":"Q1040258$08C1795B-09CD-42DD-9F14-4E41FDF55448","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8f3152f1d01b714bd5c5d482a16f31a33677a49d","datavalue":{"value":"03G99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040258$30566332-C715-4AB9-B243-7AF9713036B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c06e0874e30722381d620ef69fb36c407a01cb04","datavalue":{"value":"03B10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040258$4FDDFAAA-1E99-42EB-9F42-FAD4DD93D939","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040258$75D68733-5949-41F9-B022-A82AD0B92117","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"09e3f6f9f4515e501bb92fb9409bdfc9c697dd7b","datavalue":{"value":"14A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040258$1648DD33-DD39-47BF-940F-97459F080CF8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"0c6e71133293256880be082f6af9aa793c57d433","datavalue":{"value":"68T30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040258$75FAF932-BBD1-4AD0-B3AC-AE7408F6AA56","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ba79e1bf60cb6cd5084423ea5fc83931a64de666","datavalue":{"value":"5637521","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040258$1FEB2C3E-B85E-46FB-A0DC-5B92DB562FCA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"17064b8f5db14d0e12dddae734ea238e9822d0de","datavalue":{"value":"algebraic geometry","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040258$A4953AF7-70D0-42A3-B0A5-FEBDFCCDFE44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2e80a7123e4ea6d0418cb24d37b1837f13e3514","datavalue":{"value":"first-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040258$DAB2854F-CDC9-47A6-B0C8-FB5A6523D271","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"10804b551235c5c254803216ab7a52295b699aff","datavalue":{"value":"algebraic sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040258$BECA6948-65F4-4D67-A6BA-28A052A6B309","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c121d0b4540e7ec170cfab417fe7f119976eb282","datavalue":{"value":"algebraic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040258$2A64090C-14CC-4913-B55E-8555CC81DA95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d0d16235ef71254afe322dd3de7c2e6066271d18","datavalue":{"value":"Halmos categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040258$3BB3B3C5-B843-4779-A955-7CBBB9A2624C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e0253c57ff9bf990e921e427d2c6bfe23cb63e46","datavalue":{"value":"variety of algebras","type":"string"},"datatype":"string"},"type":"statement","id":"Q1040258$9E07FC3E-C725-4A25-9DDD-2FDAC27E5DA4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b15dabe9e6498c2b71f0e107f28a3e70e73d8290","datavalue":{"value":{"entity-type":"item","numeric-id":1580646,"id":"Q1580646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$4866A761-23EA-4B56-8ECF-A73F386E2EAF","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":"Q1040258$4B253C18-28A2-43E2-A959-D4B41284F242","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"592fd698247fd75429ed4d29640e092a5face7b6","datavalue":{"value":"W2014581697","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040258$5C6A83D8-5982-4144-ADFB-C68EF62F8473","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9c7bf103b65ed8116795333b42b49f997e999f3b","datavalue":{"value":{"entity-type":"item","numeric-id":5897196,"id":"Q5897196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$04FA524D-75F7-4E4A-903E-3AF66C5C8F6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f227cc8bed540a144c794bc43796064001cdc0a","datavalue":{"value":{"entity-type":"item","numeric-id":2754215,"id":"Q2754215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$0EFC021A-4FB4-45A1-9F6F-021D46689142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ab5fd23ae46e440d0806bf46f29f71cde048fbd1","datavalue":{"value":{"entity-type":"item","numeric-id":1064326,"id":"Q1064326"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$D162F3EC-C717-48BA-B9EE-DC6348002154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"180b65d83b5aedf562eab5870ab698a940520c2b","datavalue":{"value":{"entity-type":"item","numeric-id":1286395,"id":"Q1286395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$19E1D018-82F3-4B7B-A321-3C9DD94DAD94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8a74fd76e2d9e94e09e493d795b400a0e721b82","datavalue":{"value":{"entity-type":"item","numeric-id":2544617,"id":"Q2544617"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$36B98AB9-26A1-43A3-BD72-CAD55E260C40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"af5b3905a1addaf2ad618971abe2e60487db5fff","datavalue":{"value":{"entity-type":"item","numeric-id":4494222,"id":"Q4494222"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$5C952D8C-EB39-4C54-9A33-7BB2D81DF60D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"14e73f3051ce8be0add64ad1aa16ff72b2fe3a3a","datavalue":{"value":{"entity-type":"item","numeric-id":4764117,"id":"Q4764117"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$A4F35E56-3B4C-434D-8FCF-57C61FCF714C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c3499105f4ec45c827efea7e0189edb02f594fde","datavalue":{"value":{"entity-type":"item","numeric-id":4510742,"id":"Q4510742"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$99A62D60-3E5B-4874-8B02-64083A1782E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dad1e3221c04bb1db6fea530fa4d2c246f582d49","datavalue":{"value":{"entity-type":"item","numeric-id":1771865,"id":"Q1771865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1040258$44270074-CE72-459F-874B-490FB2C381F8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9e638798065512d559f4b7d3cd2af738ad55d332","datavalue":{"value":"10.1007/S10958-006-0288-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1040258$D7F8777B-756E-4242-B2DE-B94A304390AE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9d0e833fcedd939f522de6e27d8b3b1a9766a51","datavalue":{"value":{"entity-type":"item","numeric-id":4029340,"id":"Q4029340"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"27fd090580f4277111e35649e847d511dab1135f","datavalue":{"value":{"amount":"+0.95620495","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040258$AA1DF435-839C-4BDA-B0AF-973E3C37FBEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd370fa52e67f1d99e72ac4ea13b5900de4cef0","datavalue":{"value":{"entity-type":"item","numeric-id":4981752,"id":"Q4981752"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de371f43866355bb6e84d7221b9bb270ac8879e4","datavalue":{"value":{"amount":"+0.9404608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040258$5C9A51F5-79F1-45D0-9E1F-BA86FBD3975D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f035ab7dc0cac3a2f80fd0226d9d66e82406c55e","datavalue":{"value":{"entity-type":"item","numeric-id":2795295,"id":"Q2795295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b542a36f45e25109304613c3048373636ee429ce","datavalue":{"value":{"amount":"+0.93078965","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040258$50CCBDD2-50D4-4C49-B89B-61D9CFDA4D6C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"74b9ec05800fd56c7467533f15215eca0b96f43e","datavalue":{"value":{"entity-type":"item","numeric-id":2824411,"id":"Q2824411"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bccbb124e371e6038aa3c5fdd9fd1760f32f73df","datavalue":{"value":{"amount":"+0.92147684","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040258$D221889D-BA6B-4766-9F8A-0B6C2B2D6217","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3e09a4df4a5803f8929c600651ed7746fff2928b","datavalue":{"value":{"entity-type":"item","numeric-id":357775,"id":"Q357775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"111cc1e2b36827910770cd2014e40517366d8f84","datavalue":{"value":{"amount":"+0.9208977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040258$1448C873-BF06-4994-9FE4-7EFBD41C75A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"afa9b74ee633b63ec32cf5edad1b7c8ac0929aaa","datavalue":{"value":{"entity-type":"item","numeric-id":4506359,"id":"Q4506359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ed19bc4821ea69b670798e68a720c6d0dcd95c","datavalue":{"value":{"amount":"+0.9046969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040258$75D4BE57-7170-4C57-86B5-E0BD3A82FC03","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"db30ee6abfea9c031f504152df265d520beed38f","datavalue":{"value":{"entity-type":"item","numeric-id":3053054,"id":"Q3053054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"13ed19bc4821ea69b670798e68a720c6d0dcd95c","datavalue":{"value":{"amount":"+0.9046969","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040258$2FBDA20B-74A8-4C2C-B48E-02430F9A6FE9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fdd35e8743bcdd043d2d8b32f6728083c086dc5a","datavalue":{"value":{"entity-type":"item","numeric-id":4508459,"id":"Q4508459"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4e3cde00d8bd8c2d5d702d64600a0f807f618383","datavalue":{"value":{"amount":"+0.90433824","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040258$F98765DD-EB64-422C-9DF0-F1A689BEBDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"110bebb66989a1b20804d2ddde510562c46de420","datavalue":{"value":{"entity-type":"item","numeric-id":4026926,"id":"Q4026926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3d5bd1a37ecbc4b589b9ef0cdf04b32aa1a36031","datavalue":{"value":{"amount":"+0.9036111","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040258$5759FD85-56AA-4828-8B7E-B0AA639BABCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2fa011735d801165dfdfa64ae366a26872144cf3","datavalue":{"value":{"entity-type":"item","numeric-id":1930236,"id":"Q1930236"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6dfd7fa0c606c147bf9a2b78d46e39ecf3c9751a","datavalue":{"value":{"amount":"+0.90157","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q1040258$E62CB975-E93F-4435-A1D8-569950F91008","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algebraic geometry in first-order logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algebraic_geometry_in_first-order_logic"}}}}}