{"entities":{"Q6073907":{"pageid":13208215,"ns":120,"title":"Item:Q6073907","lastrevid":57119286,"modified":"2026-03-26T16:54:29Z","type":"item","id":"Q6073907","labels":{"en":{"language":"en","value":"The comparison lemma"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7748755"}},"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":"Q6073907$53DF3CAF-1C3E-45D4-8195-F69CFDD81FAA","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"612f03dc10f6a7bc5b65e54cde1afff9e6f4a3ac","datavalue":{"value":{"text":"The comparison lemma","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6073907$2299349E-7589-4D2F-A28B-8A9A0DC91676","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2e8a79b3296417ed8f62218edcdbc11634bb2940","datavalue":{"value":{"entity-type":"item","numeric-id":403402,"id":"Q403402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$4B9C1213-4CDB-4279-A949-965BAD113CC4","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$4E4BC40F-C91B-4AEE-998C-099308EE6901","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"814c982951c312d9e571bab059f6a40e9b74e991","datavalue":{"value":{"time":"+2023-10-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6073907$F71D038F-43A1-4261-8F71-6AFA93AB9B2E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"933c6ba8322680c85da12d59920a0a8822c2db22","datavalue":{"value":"03E35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073907$720094FE-EA98-4B28-9E04-BD551DFC0190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"673c3b16e031308b09b1c9d3aac387c12789cdc4","datavalue":{"value":"03E45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073907$982BC679-1340-43CD-BC38-FEBA53EC6D85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7166df9215f26458e9ca71cabf58a6fddcec10e4","datavalue":{"value":"03E55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073907$209561EB-E7C0-4E1B-BF3B-58BBEC1325B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1d0fbfdd56746b1fac4d86fe54b6e7e79ffa6e12","datavalue":{"value":"03E60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073907$3CCBFFF1-C75F-47D9-BD9F-A252CEA54D33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d6cc8668b69b3b4f485c3aa8822661f01d5fe2a0","datavalue":{"value":"7748755","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073907$B116FE28-23E0-4CEC-8BD9-58FDB123BD98","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebca3a6c115ad9fc460e4a0debbc4ce171f41fbc","datavalue":{"value":"large cardinals","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073907$65F2B595-88A9-42D1-ACEB-4ED5FFE30D7D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"35f5b7ce138372608f03e1c8894162363ff1bdf9","datavalue":{"value":"inner models","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073907$D6B26AAC-D22C-42B4-9053-89B5ACD7968D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"463c4cb54abec2063690ca3596e3e767939e1e9b","datavalue":{"value":"iteration strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q6073907$BF2BBCC9-53D1-4211-AC7A-0D5AACC5557E","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":"Q6073907$9E0AB3EC-404C-4A8C-BA4F-679D4D57EF50","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bef5fbaf707fe2b6c6af2acffc427adc199c5b50","datavalue":{"value":"Q124997180","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073907$B76922D0-EC9A-490F-A10F-9E844F9D1B22","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7a60392832d90359f3d91bb07cdd8972319458c8","datavalue":{"value":"https://doi.org/10.1016/j.apal.2023.103329","type":"string"},"datatype":"url"},"type":"statement","id":"Q6073907$B45EA954-70F6-48C3-BA8B-EBF8357E9F6A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f9d8137a5e747e83334085a68e1b60d692a83e9","datavalue":{"value":"W4385566669","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073907$33FE1870-F6C6-47F2-81F0-071E47567788","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"46f99bd449180418ed6687a5dda80d668d3a16f5","datavalue":{"value":{"entity-type":"item","numeric-id":800921,"id":"Q800921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$E6BDC465-0692-4AA7-AEC6-40264F995D4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aa6a0b8c60083d55f174c6b113722958579b902b","datavalue":{"value":{"entity-type":"item","numeric-id":3786475,"id":"Q3786475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$91824F91-BDF5-4218-AC1B-ADA5FF766D6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7473165a46f692de46f81644a10983097732bcc2","datavalue":{"value":{"entity-type":"item","numeric-id":4106202,"id":"Q4106202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$7232F5F5-3BEF-490A-9C37-F40AF65BDC85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34752022760b90335724202ce223f4877729102b","datavalue":{"value":{"entity-type":"item","numeric-id":3929732,"id":"Q3929732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$D7FE5557-DDE1-48C9-B788-74EFB12EB41A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4fda8da851a3bd922f54f5e11ff004e1ab10a037","datavalue":{"value":{"entity-type":"item","numeric-id":3905272,"id":"Q3905272"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$F518A2FD-7A37-4F54-97B9-CA9C3859EC80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"36fa1337f6b07110a31e0512755583cc4f3dfa66","datavalue":{"value":{"entity-type":"item","numeric-id":3671961,"id":"Q3671961"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$B62A9FE0-1773-4667-A889-100ABCC0ACB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"21f9fae37237a4a3e12ef20f98f409afe1356eda","datavalue":{"value":{"entity-type":"item","numeric-id":638495,"id":"Q638495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$669F06C3-8980-4725-B6F3-A27C7AA6B2E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1fea47606e2f2f6218e3ad79c2daf276e27ba75b","datavalue":{"value":{"entity-type":"item","numeric-id":639674,"id":"Q639674"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$E1B56D7D-1386-4ABD-91CF-52C3D7A73569","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f89a5290015084f33b53f5ecddad650a9198f632","datavalue":{"value":{"entity-type":"item","numeric-id":5839930,"id":"Q5839930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$399BF54C-A418-4FA0-8E96-954DDEF22F1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"638d28b2baea18e6ece5760cb80ce35ea8d92024","datavalue":{"value":{"entity-type":"item","numeric-id":5672886,"id":"Q5672886"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$686F94A3-86EE-4FC3-BF97-DDB34303242B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f4512e3fd2fa66844b95e281dc051d6d1a641310","datavalue":{"value":{"entity-type":"item","numeric-id":2559465,"id":"Q2559465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$6C300C6E-B422-449B-B7D0-3CF846331F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8f6b4f0ecf8cc101cbbde9b5b066a65d3155af1","datavalue":{"value":{"entity-type":"item","numeric-id":3053910,"id":"Q3053910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$41A97FE9-2766-48F2-9403-9B1777FAA031","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ff421539903c14ff8cc2d3dae22e0ae4478ffc2","datavalue":{"value":{"entity-type":"item","numeric-id":5645417,"id":"Q5645417"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$9B7DEB97-69BC-40AD-BB00-D82AC714E1D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abe9e3d52131032099759134248cf40dee0775cf","datavalue":{"value":{"entity-type":"item","numeric-id":4276535,"id":"Q4276535"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$191C2A6A-814C-420C-BC09-8DCA7202E13D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6d8699ad1131399a6cabda5734ba47e03d660e21","datavalue":{"value":{"entity-type":"item","numeric-id":4047554,"id":"Q4047554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$053B4E45-B66B-45A7-B8C2-16F5E96D4EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce9ea568830241cb3b5fc40f8c3c8e19460f8899","datavalue":{"value":{"entity-type":"item","numeric-id":3880840,"id":"Q3880840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$41186643-D60C-4B05-88F9-7873B542C1DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f55333bc31a49bd999856db7ce681bd44da7180","datavalue":{"value":{"entity-type":"item","numeric-id":4291791,"id":"Q4291791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$6A2B6DB4-8BDB-4652-B871-6A17FD472BB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6c2fde54f32e200906e9ccd32ee71a1bc0cb1206","datavalue":{"value":{"entity-type":"item","numeric-id":5964936,"id":"Q5964936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$F7263520-A2F2-41F7-B3F0-3458ECCAFF11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"120bd7da98387a545f5d5b7557406adc6879c6a1","datavalue":{"value":{"entity-type":"item","numeric-id":2944997,"id":"Q2944997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$135AE15E-4080-4F5A-AA40-7F8DD9DEB3E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"336da9d8e2fc9bdf62b91aca44dd8a2b37643c8f","datavalue":{"value":{"entity-type":"item","numeric-id":4243638,"id":"Q4243638"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$CA69BB08-2185-4D0E-95C8-E0BCB3BB243B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4546c7d1c3f2f37ed845aa4d7f785cd01afbd422","datavalue":{"value":{"entity-type":"item","numeric-id":5156473,"id":"Q5156473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$D91B637C-FEE2-4679-9E85-FF92B59D5FA9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd0d84f38e062b0c5ff7f821574e8d0b8102083","datavalue":{"value":{"entity-type":"item","numeric-id":5559240,"id":"Q5559240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$E11B6FF7-5C91-4384-98C1-67E03AD49F5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"298412fe736d27fc6acb770cf240c8534aaad546","datavalue":{"value":{"entity-type":"item","numeric-id":5631104,"id":"Q5631104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$BF6ED1C6-3F24-41C5-B72B-8DAFB69E75FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4721d481a6965c118b000aa9ab3cb17995e0b6","datavalue":{"value":{"entity-type":"item","numeric-id":2560243,"id":"Q2560243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$155070E7-E28E-4D58-8042-6B412C07688E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"84103fd7245f688455c654a3678984446fbbf743","datavalue":{"value":{"entity-type":"item","numeric-id":5626665,"id":"Q5626665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$B148E9BD-4A46-4FE3-881B-41982530DD0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1233656241df08ac713615eb5bd8f45d4a9622d4","datavalue":{"value":{"entity-type":"item","numeric-id":3037408,"id":"Q3037408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$5F0D1C69-8A4D-48B8-AC59-A99BE0761AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6fc538dd0f3bd0beff3906bfcfcb70715935746","datavalue":{"value":{"entity-type":"item","numeric-id":1892942,"id":"Q1892942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$C406E448-DA23-4381-8F60-3FF0DF90015C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9391abd126e37c20899eb593a00a3464f21763b","datavalue":{"value":{"entity-type":"item","numeric-id":4837675,"id":"Q4837675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$0111C924-3551-4431-B674-C9F0C1B36809","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8172ebbffc50cc6e53ee743de340721a767bb0","datavalue":{"value":{"entity-type":"item","numeric-id":3597425,"id":"Q3597425"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$BA4BC65F-7D65-442E-81E5-F9C958595AF1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2752c332f9d31cfbfcd117c8cf43837962d6cff0","datavalue":{"value":{"entity-type":"item","numeric-id":3656432,"id":"Q3656432"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$AF86F22B-A2EE-4093-80C6-A9914CBEF75F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1715b21d3827201f2954c42ede5da55060c37cd4","datavalue":{"value":{"entity-type":"item","numeric-id":3053906,"id":"Q3053906"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$B52E2275-4DC5-4CB2-BD1E-837F2CAC89CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61299bbc65dfd21911becd0256aab9a2351b8b63","datavalue":{"value":{"entity-type":"item","numeric-id":5219254,"id":"Q5219254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$975FB0CA-12ED-472C-8D37-FA5BC285112F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2a8c615c0ead78ad3daaddc3a16420faa635c8ab","datavalue":{"value":{"entity-type":"item","numeric-id":5219247,"id":"Q5219247"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$8AE512CD-29D9-4A8B-8DE3-8BE11C157F6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"570daea48fc488f2c2d9542cb60f7f0e0b12f8fa","datavalue":{"value":{"entity-type":"item","numeric-id":5219255,"id":"Q5219255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$D64A1C5A-0B07-4074-AB7F-0023622AB9CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2ca31230c67c3d2f888b5cfd4340c67d61e5719","datavalue":{"value":{"entity-type":"item","numeric-id":5950797,"id":"Q5950797"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$8A47594E-F2EE-4C75-A1A2-2D8D0E3206E7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b47573c141e4a02e333cc6d2b834c5000c95b9d8","datavalue":{"value":"10.1016/J.APAL.2023.103329","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6073907$D5A449C9-A346-4E45-B6F2-E019C0290B6C","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6073907$E244C005-FD50-42D7-BEBD-E9395529D2D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6073907","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6073907"}}}}}