{"entities":{"Q5239556":{"pageid":7269124,"ns":120,"title":"Item:Q5239556","lastrevid":53573357,"modified":"2026-01-25T08:41:23Z","type":"item","id":"Q5239556","labels":{"en":{"language":"en","value":"Horn formulas in Pierce chains of semirings"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7120853"}},"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":"Q5239556$D93C0BCA-3D5E-496C-BC3F-8FF2F0F3E154","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b48bf70954f92d10b28a5e2c3572f3a5a42d1dc6","datavalue":{"value":"1431.16051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239556$CE933424-B099-4508-83F8-2AF4EF97F319","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd2984e34bfc924dc3ab24bb7dee7ff8068efeff","datavalue":{"value":{"entity-type":"item","numeric-id":291227,"id":"Q291227"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239556$D8E924A8-549B-4C70-AB57-0EA5E63FEDF1","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"57e80c845c96b0988db493e5ae271fe0a944be8f","datavalue":{"value":{"time":"+2019-10-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":"Q5239556$11F8C3A3-92B9-48BC-AD46-866D9753B074","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"433eb6524e400d8c602bf5290fe53fc085b20f95","datavalue":{"value":"http://mathnet.ru/eng/cheb314","type":"string"},"datatype":"url"},"type":"statement","id":"Q5239556$6F8D6A97-83D5-43DC-B455-8301C9545C9F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"42abd3be6389527e37c46ea1d59cd70ef81e5f0b","datavalue":{"value":"16Y60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239556$3FC1B7D1-9266-4EB6-A7DC-45D5FD2EE48B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"9af66b9a9435ee5d743bc26c31400b50ed0e52c8","datavalue":{"value":"16S60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239556$0D4F8889-C8D1-49D5-B6CB-AC32A2C9512D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78ccb370ca108f05ada054aa012f9d9dd8fbbabe","datavalue":{"value":"7120853","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5239556$D6A03256-7058-48E4-BFEF-61FC51900DAA","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"007c72a86e8563e4101dd6986b20d2e71c9117fd","datavalue":{"value":"semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239556$9969CC99-07AD-4F66-943A-DDD5FAA1E2ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f5d63d2d8963dcf6296cad6a40defc7d4ba47447","datavalue":{"value":"Pierce representation of semirings","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239556$F2CB33ED-D1CE-4DA7-A03E-7BA2F028A48E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dac603c3878cc6bc038589c0a79ca3e42c0ff80a","datavalue":{"value":"central supplemented idempotent of semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239556$A75E6F2B-0A6A-45D8-86D6-CDCBFA0F9655","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46d1424aeac56506eb7e29c98a249ac4aa1ec903","datavalue":{"value":"pierce chain of congruences of semiring","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239556$1295CB86-BEFC-4D6E-860E-EA59F9897428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0bca5f62672f3b52a8f7d0096be5c6b8c7d5124b","datavalue":{"value":"Horn formula without negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239556$BF3FE8A9-3222-4834-A154-F07E03B54C53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"648419845e19296c46776385027f91b3b4e3aa14","datavalue":{"value":"semiring of Bezout","type":"string"},"datatype":"string"},"type":"statement","id":"Q5239556$1FC99A64-86F6-43EF-9C36-3C43230A0ECE","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":"Q5239556$25EDCBCC-E080-4373-80FB-D9BA04FD1A4F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"05bd11fe00ec83661521c4c2b51f25ccd4421873","datavalue":{"value":{"entity-type":"item","numeric-id":4323924,"id":"Q4323924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239556$3B828BE5-E025-4C17-A79A-FF761CD11ECF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4dfe1e78cf31a04e77ba1211574bcfc7bfb48db","datavalue":{"value":{"entity-type":"item","numeric-id":4198897,"id":"Q4198897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239556$370B0551-3E90-4D71-B8CD-A4A41C905058","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d518bde43115194b3edd1c343f646eab4b68155d","datavalue":{"value":{"entity-type":"item","numeric-id":5531086,"id":"Q5531086"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5239556$8C46FA5C-F03B-4D52-B3B8-9F31983291D1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97660ec2fdc5bf11f87d31186b77858f0a0e862f","datavalue":{"value":{"entity-type":"item","numeric-id":5400891,"id":"Q5400891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"91c170faf189b4a77905e77da6fbafb166141f90","datavalue":{"value":{"amount":"+0.7878117561340332","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":"Q5239556$09EE9B66-67AA-4342-90A2-20BBBE1969C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"95d700d5afcc7750df784e2b5c617dc4e673defb","datavalue":{"value":{"entity-type":"item","numeric-id":465064,"id":"Q465064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"472f4a1cacb0c2f942fd9dbcd387282796ac292f","datavalue":{"value":{"amount":"+0.7370069622993469","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":"Q5239556$EA4C269D-A8B6-4497-888B-72A4FC83AE90","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2279191e1003fc7bf5baa649097a14132f820a23","datavalue":{"value":{"entity-type":"item","numeric-id":291229,"id":"Q291229"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46da7b53f07b078f2243f789ca5de8870b564e3e","datavalue":{"value":{"amount":"+0.7207044959068298","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":"Q5239556$9C26D397-58B6-4C8D-AA18-C195BEF4ADCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b90c0582e81cc2093db3ccc938f9d064ffb84d31","datavalue":{"value":{"entity-type":"item","numeric-id":2757071,"id":"Q2757071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7cc17e0ffd94a5a606cfe0edccf5f9ca231f9930","datavalue":{"value":{"amount":"+0.6978182196617126","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":"Q5239556$CAA53948-7FAA-416F-94D9-ED20B8B28876","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e8832ae5596ea4a915811fcb77fd32da28a9784","datavalue":{"value":{"entity-type":"item","numeric-id":4396590,"id":"Q4396590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"037939bde0576e49cfcafe868ce947afba82d2f0","datavalue":{"value":{"amount":"+0.6973568201065063","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":"Q5239556$2928B384-0309-4194-B47A-B2B2133C762A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5239556","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5239556"}}}}}