{"entities":{"Q597122":{"pageid":598898,"ns":120,"title":"Item:Q597122","lastrevid":48305851,"modified":"2026-01-04T07:46:06Z","type":"item","id":"Q597122","labels":{"en":{"language":"en","value":"Commutative algebra in the Mizar system"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2082491"}},"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":"Q597122$27A0039D-2C06-4010-871E-40289D7274DB","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"151d0df0a762372f9342699d147f27d50ef65776","datavalue":{"value":{"text":"Commutative algebra in the Mizar system","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q597122$AA0637CD-2473-4253-B2D2-827381087E26","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"18b4460f2ba79983f31e3a80adf34981869fd110","datavalue":{"value":"1074.68081","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597122$7773E5B1-028B-46F7-A198-CB8DE794F1F9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9d72ee9ffde9510a13b5bea91934f187bdc57c7e","datavalue":{"value":{"entity-type":"item","numeric-id":467775,"id":"Q467775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$895A3499-106A-4D72-B82D-33C86E4ED6BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"12dd9a6cf01e04ae712e3ac1c01e1c2bb5d1e241","datavalue":{"value":{"entity-type":"item","numeric-id":271901,"id":"Q271901"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$3896DFEC-7D9B-4288-9C7E-4B4C29738D2A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"af54ed4fb469af20b14fa3db8b1ed041c8ca0f58","datavalue":{"value":{"entity-type":"item","numeric-id":597121,"id":"Q597121"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$D7F5BD18-49C3-4EB2-9975-57E1857A3401","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ea72303f92787da89554ee5fa15621068821a762","datavalue":{"value":{"entity-type":"item","numeric-id":99061,"id":"Q99061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$02857F56-42BF-4D49-8C4E-928B489F3668","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"fdf3003d3f6dc4bd36d0ddd91ae69d1d9d4864ff","datavalue":{"value":{"time":"+2004-08-06T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q597122$C232217C-30D1-418A-A06F-526C509A5574","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c15fa0c4b7e9542516c9b48eb022f17a69e164e2","datavalue":{"value":"https://semanticscholar.org/paper/5cc9c1e64f96a858cb80e0578f395b538df0696f","type":"string"},"datatype":"url"},"type":"statement","id":"Q597122$F4AF5A2B-5F43-4BD9-A992-5CD9DDAFCD10","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597122$B376BE95-705B-41F5-B3BD-48AC36D4D520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3261dadc98deaaa969a534e2a2cb92fd4aa565f7","datavalue":{"value":"13P99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597122$71DB3361-8213-4F6F-A66C-D35F2FDF8EF7","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d90f9697f0e2e9c742bf171cdfa2e87ef1f48fe8","datavalue":{"value":"2082491","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597122$E15F3910-E124-491E-9645-A603AF6133C9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1b3fcc21df8775948283a2fd666470875b573983","datavalue":{"value":"Mizar Mathematical Library","type":"string"},"datatype":"string"},"type":"statement","id":"Q597122$714DE544-0430-4390-B68C-C6C9BD201AE3","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9ba88ec88a3e0f66013f52903eb001c6391d509c","datavalue":{"value":{"entity-type":"item","numeric-id":12835,"id":"Q12835"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$8D114D0A-1CBD-4C35-A637-15CA1D642C39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"261ae6dfeffd96c9ea238e124055221c78337064","datavalue":{"value":{"entity-type":"item","numeric-id":13705,"id":"Q13705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$F5612E85-2FCC-4283-A2C1-52039F1AEFD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"19c3232540dc15c9350e8393498317de25361cb2","datavalue":{"value":{"entity-type":"item","numeric-id":16873,"id":"Q16873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$88153128-C60A-4EC3-BFC7-2804D5A99CC1","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":"Q597122$0C2CA373-B76A-4C55-8AAD-1CC6767FE333","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"198aa003474ab8a8c609f4e6a64348d7a715fae9","datavalue":{"value":"W1968315351","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597122$43E9A756-B38F-4724-AEE5-891FE4C1D8A4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"1eb52b96c4c974f9d9523f367ef64dded6d05761","datavalue":{"value":{"entity-type":"item","numeric-id":4693774,"id":"Q4693774"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$7698EBDA-23C5-4C46-88C6-BBCC058E9CA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"661364c39b0d1ca298a77bc970439cd4e9a0507b","datavalue":{"value":{"entity-type":"item","numeric-id":4226993,"id":"Q4226993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$EA3F6E6D-F8A3-4142-9EAE-68F3B4061AE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0b1174e25682c6db55f75a0aae038d55e05f0e39","datavalue":{"value":{"entity-type":"item","numeric-id":4944848,"id":"Q4944848"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$BA0C65FC-3DF7-4ABF-97BC-1A4A14C38919","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"458562ae2613db0abbaf26dc41331f544ed51ee9","datavalue":{"value":{"entity-type":"item","numeric-id":4023355,"id":"Q4023355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$FD013EA1-EAA1-40E3-9533-8A01907EDB59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c82a636624b539fceb598818c5ef83e9599ef5dd","datavalue":{"value":{"entity-type":"item","numeric-id":5534234,"id":"Q5534234"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$45BE37BB-A880-4FA8-A886-CE91BDD43E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"98782dca1b1c9d3479c56bc90f4cd51924e8bc96","datavalue":{"value":{"entity-type":"item","numeric-id":5734410,"id":"Q5734410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$1FB42767-31F6-4726-8945-70DA2E4D2F44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c18eae0d93c62338c42d5358a66e2303bf3601de","datavalue":{"value":{"entity-type":"item","numeric-id":1961913,"id":"Q1961913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$BE64E747-96E1-4E87-B511-579C68319FAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03ed72da5e3d6a07681613dad0336672a1777a29","datavalue":{"value":{"entity-type":"item","numeric-id":2751549,"id":"Q2751549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$0F9EA888-B94F-44A9-9584-619F6BC04632","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36b04f8e06bc6d45cea746bdfc009dd75dad2987","datavalue":{"value":{"entity-type":"item","numeric-id":1595926,"id":"Q1595926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q597122$24408487-FE2B-499C-8A68-FED8F56F148C","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8b20e7ed26b07f2364bff98574e57a27f351b427","datavalue":{"value":"10.1006/JSCO.2001.0456","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q597122$FE66FF3D-2BB0-4703-B834-8563B34CEEF4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bc0be8e77fe682ba6a690bb873dc1e338648eca6","datavalue":{"value":{"entity-type":"item","numeric-id":2751549,"id":"Q2751549"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7d361ff8cb125e57ba746f9251deff92538aa86c","datavalue":{"value":{"amount":"+0.874783456325531","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":"Q597122$FD1EF4AA-526F-4950-91FB-522BE2FB2029","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"37dba39cc841b4149fb7e08afb32e4899ac5e17e","datavalue":{"value":{"entity-type":"item","numeric-id":5898527,"id":"Q5898527"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"21133e69aef8866724fc28cc51f5fc8059d79ded","datavalue":{"value":{"amount":"+0.7837938070297241","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":"Q597122$9299F5D6-1230-4D4F-8203-941CC03CE9D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89fd30da4727c72a1e7f03f9c1bfdc61a9ef3204","datavalue":{"value":{"entity-type":"item","numeric-id":2119550,"id":"Q2119550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c992ed305fdbd84b4813f1d046124a7d83458155","datavalue":{"value":{"amount":"+0.7796157002449036","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":"Q597122$F2623FFA-CC86-4E53-83F4-E17555C8216A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"16fd5e3ca58fa6b4d7561aac2526b05fde143c6c","datavalue":{"value":{"entity-type":"item","numeric-id":2751538,"id":"Q2751538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c8c5d4c7e0e5483b88a82967859815362bee76e3","datavalue":{"value":{"amount":"+0.7496516108512878","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":"Q597122$B7D6D2F0-D227-4CC0-9217-F1D8D3CB2767","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"58b12deb2ee1d7a85be29365d1fb98407e7a5ba9","datavalue":{"value":{"entity-type":"item","numeric-id":516748,"id":"Q516748"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f51e420c0b82a4a645f88516d7ec204baba01e0","datavalue":{"value":{"amount":"+0.7434965968132019","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":"Q597122$2F473177-F116-4C7B-8DD2-D454FD167BC6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:597122","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:597122"}}}}}