{"entities":{"Q4531552":{"pageid":6561144,"ns":120,"title":"Item:Q4531552","lastrevid":41584435,"modified":"2025-05-06T02:45:15Z","type":"item","id":"Q4531552","labels":{"en":{"language":"en","value":"Fregean subtractive varieties with definable congruence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1744132"}},"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":"Q4531552$7B91AF92-8020-4C61-B59C-914D3CAB7BB2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a57577a5f73af06918248481d5dd0ac8c5a4794","datavalue":{"value":{"text":"Fregean subtractive varieties with definable congruence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4531552$68204BE5-23E6-4340-BF14-271AD84AD1FE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8e936064d17f412d8e3e6323b5f5b016c855498e","datavalue":{"value":"0995.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531552$E625F98B-0F9D-4C16-9F39-6F8371FF3CE9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"010348c012be656395d534c92be6e7f55d8b2e46","datavalue":{"value":"10.1017/S1446788700002998","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531552$CBC7DC58-3ED0-4A84-8C35-3F38495B147E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84297c5215b806900e2c55a691083e6708c2b134","datavalue":{"value":{"entity-type":"item","numeric-id":755898,"id":"Q755898"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$BAA2CC0C-D374-4CFF-8DBA-93D505AC0087","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"8777d2a3e3d4e597d4b36b518095ec9f327c7e71","datavalue":{"value":{"entity-type":"item","numeric-id":2726645,"id":"Q2726645"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$9CA98CED-B31F-468A-8331-645FEFFB0F61","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c887bb0fb36275dc17f979b8c357cde52c81ed3c","datavalue":{"value":{"time":"+2002-10-07T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4531552$92352BF1-A653-4E07-AB94-29F57E6CF87A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"cb2fc5c8257a7b98fa92dc176d9ed2acc92fad3b","datavalue":{"value":"08B99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531552$D4708706-770A-4224-981C-66731E021977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"308ceb1553bd4b03ccb725c738254e73fff25edb","datavalue":{"value":"08A30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531552$021F9E99-A2D7-4879-9C11-403991BDA305","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"55665a56c5f746d5901f171d0f654d6d2fac171b","datavalue":{"value":"1744132","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531552$5AAE126E-61BE-4786-86BE-8F559DB0CC53","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ca1ea66ce136f817672690abf5b71b7ba4ef568a","datavalue":{"value":"subtractive variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531552$AFFAB8FD-306E-440A-9ABB-4AC6423C2142","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"851bd62bed9fd8e324ef9b40d494a0c90eb3cb84","datavalue":{"value":"Fregean variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531552$5C6315A1-A410-40C8-AA31-4E70FA8E84E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fdefbdbd01025c3bb2672b43662aded406bbf210","datavalue":{"value":"congruence-orderable variety","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531552$E9F16248-794D-44F7-B904-1C8A1612918B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76f5bfbf6ab9df2e8adb6217853ba4df4c963387","datavalue":{"value":"variety with equationally definable principal congruences","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531552$17F9C16A-4134-4824-942D-55ACF6A94EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c0e559720873b0ab708d07de6c3f876af814641","datavalue":{"value":"dual Hilbert algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4531552$14AA1508-3DAA-45C6-9215-37C101C3E967","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":"Q4531552$634206AE-0183-4923-8C34-012379BDCD9B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bec2283af246d3d88497f917055d3388644050a0","datavalue":{"value":{"entity-type":"item","numeric-id":1966128,"id":"Q1966128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$AD1AC109-E9C9-4A65-9D2E-36D67EEBAB8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7d0c4babbc44de71274f0ee7b587bc3d6c54bcb0","datavalue":{"value":{"entity-type":"item","numeric-id":762523,"id":"Q762523"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$40EF611E-AD69-4006-9DAC-E36002F91204","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f262f3c5e51f5715be5f4fc82eecaf8badb162af","datavalue":{"value":{"entity-type":"item","numeric-id":1272207,"id":"Q1272207"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$B7B5F481-D8E8-4436-A30C-F2FC725E37B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3960d9020ddfbde8603e15a632b561e0681f5fc","datavalue":{"value":{"entity-type":"item","numeric-id":1319053,"id":"Q1319053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$E99421B6-E83D-487A-8894-B77EA96860C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29ad3f1b29389888b3e0d1967fc3db0582fc8ae2","datavalue":{"value":{"entity-type":"item","numeric-id":3927295,"id":"Q3927295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$ADC79151-10D1-486B-9C34-DA3024AE888C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75e01bd225cc1eaadd4b3b359e2717f21721c442","datavalue":{"value":{"entity-type":"item","numeric-id":4040245,"id":"Q4040245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$CFB31E62-23A4-4C92-8DE6-002079539E24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b372db09ded8bd12394c63de73a17b340ac8a93","datavalue":{"value":{"entity-type":"item","numeric-id":798686,"id":"Q798686"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$E60E0151-24D6-4FEE-BD4A-1324E1EBDFBA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ef350ead7090cd66027dea6c9a11f206e833f3c","datavalue":{"value":{"entity-type":"item","numeric-id":1839272,"id":"Q1839272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$5436C48A-14B8-45E9-89A0-1B87CD5EADE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf3dd4ad293daf9cfee61a7307b8da15527e979","datavalue":{"value":{"entity-type":"item","numeric-id":1272112,"id":"Q1272112"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4531552$27A64F62-22CE-480D-87C1-582F887253F5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1d6d0a576c25b608a95f440bacf0614e321fc7c0","datavalue":{"value":"https://doi.org/10.1017/s1446788700002998","type":"string"},"datatype":"url"},"type":"statement","id":"Q4531552$A10BE8D5-65CF-4823-BEC4-7D884BAEB49F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b21016221bf10defd10f144162466011835e774e","datavalue":{"value":"W1994792099","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4531552$BA52F7BB-A347-49EC-9CC3-FE3A8570C263","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671657f6ad95dd917be869ca07b79a57459f9a5b","datavalue":{"value":{"entity-type":"item","numeric-id":2136296,"id":"Q2136296"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4dba00beb13f538b7aa50180972489b3465eebb8","datavalue":{"value":{"amount":"+0.89563274","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":"Q4531552$ACD46B8B-4B1D-4298-908A-5B3A3BD0D7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"737183b5cc5e68c7f72186972854120356fea0a8","datavalue":{"value":{"entity-type":"item","numeric-id":3182529,"id":"Q3182529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4da90d548556a2d6968fa34894280f5270c132d9","datavalue":{"value":{"amount":"+0.8869001","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":"Q4531552$920BE0CA-6D37-49EE-BD9B-49AFFA819210","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15042ea4b529bbf1877bb798d8e18969254eaf3f","datavalue":{"value":{"entity-type":"item","numeric-id":1902530,"id":"Q1902530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2823c8bf1e38c606e0aa28b1af305cd8b101f769","datavalue":{"value":{"amount":"+0.87803626","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":"Q4531552$E0CF9DF3-5A73-46B0-AFBA-0B8C834D8A91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"008f78de757e537d2f5c9b02c755a929caddd0d9","datavalue":{"value":{"entity-type":"item","numeric-id":2443676,"id":"Q2443676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fd7c9bc5e09d5387586787b05e68bfd6e2555058","datavalue":{"value":{"amount":"+0.8756868","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":"Q4531552$C169DB2C-85FC-406E-8C04-2390EDA513BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"651dc21ab783544925e688c57e6358cc1b23b7ff","datavalue":{"value":{"entity-type":"item","numeric-id":759785,"id":"Q759785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d749a5db14dea14e0ff7d2291c66496aeb24b7a","datavalue":{"value":{"amount":"+0.87504077","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":"Q4531552$ADFC7AB3-5F96-4582-9716-C6496441BDEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b1a15aa7299a75ea92612aae5df98ab86f04b31","datavalue":{"value":{"entity-type":"item","numeric-id":4531555,"id":"Q4531555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"423f4631865afed94f0bde75fe12934e3724c8e5","datavalue":{"value":{"amount":"+0.874926","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":"Q4531552$7384FEF3-AB8F-4F08-A14A-53FD6A8AD0D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"be146a38fe12e9761d2ae81acbc0c007e6e41501","datavalue":{"value":{"entity-type":"item","numeric-id":1037593,"id":"Q1037593"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61b4da2723cf9f1138373a7100b31711dbae794f","datavalue":{"value":{"amount":"+0.862447","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":"Q4531552$4BA4F241-1956-476A-B900-5840F0AC2B07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0e82f127ae93ecbe40f9081ca1c190d0d0d24cc6","datavalue":{"value":{"entity-type":"item","numeric-id":1001911,"id":"Q1001911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ba601e5df7308832f45fd3036560d3fde6b1310","datavalue":{"value":{"amount":"+0.86188066","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":"Q4531552$C5BC41B6-43C4-4CF5-B65A-58DC30C9B3ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c16a2d71c5c709432675ab048b69dd714f954180","datavalue":{"value":{"entity-type":"item","numeric-id":5741361,"id":"Q5741361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2fbb26231f47a1e35fe28631a2a1ff13cf647bcc","datavalue":{"value":{"amount":"+0.8613704","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":"Q4531552$C88C4BAE-1D95-4C71-82B5-29E4054B5F5E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4531552","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4531552"}}}}}