{"entities":{"Q4257582":{"pageid":6287183,"ns":120,"title":"Item:Q4257582","lastrevid":46678371,"modified":"2025-12-25T09:32:34Z","type":"item","id":"Q4257582","labels":{"en":{"language":"en","value":"A $K$ counterexample machine"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1329211"}},"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":"Q4257582$6AC0E1D6-10BA-418B-ABE4-3C36643ABCF9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7a202bce882c9bc61ea30c399d4fbf682415e29e","datavalue":{"value":{"text":"A $K$ counterexample machine","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4257582$264B413B-13D8-46A1-88A4-98A5F23EBCCA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"17a9d1c788c24f301ac11ce7f309116220a6306a","datavalue":{"value":"0935.28007","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4257582$14591132-2DA8-4C36-B954-25152137A44F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"332058a129594289bae19a1be87f0e977b6f0360","datavalue":{"value":"10.1090/S0002-9947-99-02446-0","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4257582$DE983F99-40D2-4840-990E-01681B164EF9","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"df8563a34b35a91e952c14424ba2e926e2255a87","datavalue":{"value":{"entity-type":"item","numeric-id":559399,"id":"Q559399"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$CF4CC243-4C2F-423D-BFA0-C7BB67CEEE2D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a24420eec7e03257dc6bfa6b280bd944a062c7ab","datavalue":{"value":{"time":"+1999-08-31T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4257582$27BF30D5-82F5-4D83-8F7D-42FF45118BD2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"3450a5db34e1a7725e1951d82618aef0cabbd7ba","datavalue":{"value":"28D05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4257582$731F8E34-9114-4C44-A9B0-F7FB4E019E62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"08518d1ee9b719a5bbebfd311aced3e8ae1f0b5b","datavalue":{"value":"37A25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4257582$EFF0DFD8-8770-4241-98F6-E59EF31B9194","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"95f7e708db701a679dfc5e2ac0956f5bf3983026","datavalue":{"value":"1329211","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4257582$60400DBD-42D9-42E3-8570-842EE90F7403","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"99f374d5e1cce532d38a9d39f98e31b45ccfb645","datavalue":{"value":"\\(K\\)-automorphisms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4257582$CF875A12-AFFD-4B35-A751-8F0B404F7161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e4de9183868c3d2c2cabbd5f28c1b2970b4d2bd6","datavalue":{"value":"loosely Bernoulli","type":"string"},"datatype":"string"},"type":"statement","id":"Q4257582$F414E04E-1A5E-4318-ADB7-5F8EF5D94510","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"36cb599190963b91d4b4ca72f58d2e012722b5e6","datavalue":{"value":{"entity-type":"item","numeric-id":1774195,"id":"Q1774195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$A13088C3-8D6F-4FFB-AAE1-49D7DA146B02","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":"Q4257582$EBB1B061-D1DD-4B69-AECD-6130EB70C214","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"d8f02a0105c0ed2b6dff4d2295261f4369b3b72e","datavalue":{"value":"Q125052477","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4257582$5B3DDED4-DED8-4668-BE63-6BA5FF3649B9","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e3a93c17b6a1b81c4cc34aa6ab82f6921815774a","datavalue":{"value":{"entity-type":"item","numeric-id":1230128,"id":"Q1230128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$7B744374-9D56-40B7-A1EC-6B91FEFF6ABD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a38dd07d70764962889759b302ade136d98ddd45","datavalue":{"value":{"entity-type":"item","numeric-id":1151473,"id":"Q1151473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$AD383A6D-9470-4759-8023-BEAA21F49818","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b700e6ff2897600e98c67a6fb7b1d899bb33547e","datavalue":{"value":{"entity-type":"item","numeric-id":3836415,"id":"Q3836415"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$01ECAD9C-3D29-4C1D-B977-488A84A30F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1790e334804d499834e6e4c1d913e068c1513864","datavalue":{"value":{"entity-type":"item","numeric-id":2539896,"id":"Q2539896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$2B634ED2-C24B-4136-9E5C-7995C6DA0055","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb37c824261e4cf89ea5fa2e6556a68d9196967d","datavalue":{"value":{"entity-type":"item","numeric-id":2541382,"id":"Q2541382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$DB639CF3-CEA6-40BA-9A70-176B9E1A502E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d384d7b0078b5aee61166ef406e09dde659a2e3c","datavalue":{"value":{"entity-type":"item","numeric-id":4049307,"id":"Q4049307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$2C82B31D-BCD0-4766-974A-FA0235686F0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b48292cdf6551b2230b4b00e41c72f8797b0a0f3","datavalue":{"value":{"entity-type":"item","numeric-id":2556951,"id":"Q2556951"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$CF14185A-43DA-4547-934B-96332979274C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18ab7dffdc70a5dbb10b5143d254b7d6c6af9d83","datavalue":{"value":{"entity-type":"item","numeric-id":1239287,"id":"Q1239287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$92A23D20-9F99-4E0B-A195-8C3850110481","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d08b4c7e09ec71c81b6f7f6c65e84af627c5680d","datavalue":{"value":{"entity-type":"item","numeric-id":1230129,"id":"Q1230129"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$8C64A7F5-9A9A-4F67-9CEC-7786934D8FB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bd1fbe2fcc51d9a7dc4d5dc32f1ec28632859f1","datavalue":{"value":{"entity-type":"item","numeric-id":1145786,"id":"Q1145786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$9619808F-05EE-470C-97D8-754CA5EA844C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7403983bc7e2530085942f49f1bb594cf207dbd8","datavalue":{"value":{"entity-type":"item","numeric-id":1227078,"id":"Q1227078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4257582$2F4C1F79-6739-4DB2-963D-AEA7F3200587","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e14467a98adf880a9c092343cf8ab7519bfa54b3","datavalue":{"value":"https://doi.org/10.1090/s0002-9947-99-02446-0","type":"string"},"datatype":"url"},"type":"statement","id":"Q4257582$108206EB-9840-4A63-9470-DD4247A3B168","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"92e936b8fb09198f4a09d05fc29dec07aebdf5ee","datavalue":{"value":"W1573671762","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4257582$B22248DE-3CC1-44F0-ADDF-2E1347A23AEF","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4c1754799117246cb480d11994b2ed401ee1d26f","datavalue":{"value":{"entity-type":"item","numeric-id":3724611,"id":"Q3724611"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"46a5f3955c6905d898404e949cb12374f11c726e","datavalue":{"value":{"amount":"+0.7689667344093323","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":"Q4257582$83ECB103-FF0C-4B61-B383-BE873C92C0CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fdb200e3cf1549f5058eec8f39072fff0cc6b3a","datavalue":{"value":{"entity-type":"item","numeric-id":1076186,"id":"Q1076186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24339e469b11b3ea819e682298e9f0994fd96b91","datavalue":{"value":{"amount":"+0.767047643661499","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":"Q4257582$83F06A2F-D3C5-4B6B-A713-5BB3007458C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7080155b6f34f62b91f4e11e3230424d1d2f957d","datavalue":{"value":{"entity-type":"item","numeric-id":1806721,"id":"Q1806721"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3e5477830db587c72362744c8452c98b7030c3a8","datavalue":{"value":{"amount":"+0.7669575810432434","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":"Q4257582$ACB48E60-BADB-47B6-9EA4-D03DD26D37B1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"27cefd0f72efa26d98b42efe960b6f1eba761fd6","datavalue":{"value":{"entity-type":"item","numeric-id":1239287,"id":"Q1239287"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f4fa15abace103999090ea68d21a14443671760","datavalue":{"value":{"amount":"+0.7487764954566956","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":"Q4257582$46993EA0-8346-42F5-B76E-6D4B47CFCE71","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4257582","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4257582"}}}}}