{"entities":{"Q6970280":{"pageid":21324744,"ns":120,"title":"Item:Q6970280","lastrevid":84048191,"modified":"2026-05-08T19:26:12Z","type":"item","id":"Q6970280","labels":{"en":{"language":"en","value":"Verifying unboundedness via amalgamation"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8053979"}},"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":"Q6970280$A021D12B-654E-4EFA-950D-3037CCC78B24","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"497318f1353f4f81cc36f647e43ae4f54e3ef980","datavalue":{"value":{"text":"Verifying unboundedness via amalgamation","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6970280$AD0F9E86-17CB-481A-A55C-E4298A18012F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"426f1e6435ae46e1df5dd061940da55b3cec643e","datavalue":{"value":"1573.68151","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970280$DA2F40C2-67A9-4181-A137-4C8B06D79E87","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"812bb89efa527bd735b0313ec1441dbb0334f8c0","datavalue":{"value":"10.1145/3661814.3662133","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970280$6A1739AA-495F-460B-9D83-7352B07AB671","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ccaac606e2461150312f5f4852a6287804273157","datavalue":{"value":{"entity-type":"item","numeric-id":6202123,"id":"Q6202123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$DA71A3A1-A1EF-4A19-BB79-42E5C4844008","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cfe894b33b604a8dedddfc76d41297208e005eb0","datavalue":{"value":{"entity-type":"item","numeric-id":290913,"id":"Q290913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$AF891D75-7655-4C8C-ACE9-E775726E03C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"adea6bcf7db8058f76b6c31b28eb61dae8638020","datavalue":{"value":{"entity-type":"item","numeric-id":6091195,"id":"Q6091195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$E602FA3F-3D44-47EE-B920-AE59DAAABA97","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a981040b7cfe2c1a3a7b860b2700c236f2b8a237","datavalue":{"value":{"entity-type":"item","numeric-id":1675162,"id":"Q1675162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$6CB97EF1-4817-42DC-9153-3137619027B5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"66c9695eb20dc9e6bcc46cab6b3e0d2faaff014c","datavalue":{"value":{"time":"+2025-06-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6970280$B6C3793D-9C3D-4549-8D94-1A801334A84C","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970280$5A651A51-B427-4A26-B93E-B85015806E5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970280$94B1AF5B-07B6-4AE6-8686-CCCE88A5173A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6a0937c9448abdd5361102930ba806b665d93836","datavalue":{"value":"8053979","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6970280$EF9D9FDA-306E-4DE8-BDDE-47C9C369FE40","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970280$CB124FD4-A0D2-4DA8-B993-2F363DA8B459","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dfd722232c4f35da3a742b7dd0939e8297df61c","datavalue":{"value":"well-quasi-order","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970280$6F782F7B-EF5B-428F-8CBD-F94AF59EBFCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"484c08607d84ae6e53b0eacab05d384d420ad938","datavalue":{"value":"valence systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970280$67E842FF-85ED-44DE-8D74-FD4BC07BA9C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c527edd80ae7c8ccdc315537792fc2dcce1890cc","datavalue":{"value":"vector addition system","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970280$010264A9-B082-4098-9BCA-2216E7D5A9E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6e153b7fd61ed8d7f78e7db940b44c66170088","datavalue":{"value":"simultaneous unboundedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970280$5BD625BB-8DB0-4B5E-B633-3117AEDB03C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9e89c7ebb84fe344c11e625e580d7cf9b6f9e0fd","datavalue":{"value":"separability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970280$DC408C2D-ED4F-405F-98BF-4D5DEF219F3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9ae4faaf87b6642a8bc8521a1de8dbb33a7d18ed","datavalue":{"value":"downward closure","type":"string"},"datatype":"string"},"type":"statement","id":"Q6970280$90B27173-9422-4145-B24A-8D9BD1C83223","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":"Q6970280$D9E97A07-B708-455D-B7AD-6F6452F84F89","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3e5ef7c21fdd47cd80f5739b2b231dead2ab9ca","datavalue":{"value":{"entity-type":"item","numeric-id":1854355,"id":"Q1854355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$E8283FFA-6BC4-4022-BA63-397E7E748BA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d345d713ff77b51b7339c3a9043f5b1dca67c79d","datavalue":{"value":{"entity-type":"item","numeric-id":6970280,"id":"Q6970280"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$C3F74B36-F317-4564-8DCD-1B8B1362E385","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1bb406c90a805db399da24bcc616436441cafa4e","datavalue":{"value":{"entity-type":"item","numeric-id":6967307,"id":"Q6967307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$5E005472-0C4B-433E-829B-F6075606F451","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aeb8c1e3806f3cb682bcfefe28a695b730fffba2","datavalue":{"value":{"entity-type":"item","numeric-id":2911620,"id":"Q2911620"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$B02FC574-16C3-454F-9C43-82B6C65C31BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3197d9b678e35d240333c0eaa342b9619a8f5f0e","datavalue":{"value":{"entity-type":"item","numeric-id":5111264,"id":"Q5111264"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$799CDDB9-5E60-43F1-844F-DAF52F505D60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d75969b1139a32abb5f3304844af37cf0844520","datavalue":{"value":{"entity-type":"item","numeric-id":2799199,"id":"Q2799199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$CFD8FCCE-7697-4BC4-98DC-C51465831035","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27f0de5497e29a792dde9baeb96fdbaf8800e38b","datavalue":{"value":{"entity-type":"item","numeric-id":6044492,"id":"Q6044492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$2973CCDB-A336-4337-9498-3F1E09D85449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7cf07336cb6f0e40e78ecab01e0ec27415b28c2","datavalue":{"value":{"entity-type":"item","numeric-id":6560912,"id":"Q6560912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$213F8580-9D14-4103-8A18-0A361E12ABFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"148d3bb1d3ff28530cd026dfdccfd65cef8f58d0","datavalue":{"value":{"entity-type":"item","numeric-id":6091196,"id":"Q6091196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$1898A35C-3969-4D9D-B842-A6AAE8890C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3632afaf7c9124694de853efafd5cd84e2a50881","datavalue":{"value":{"entity-type":"item","numeric-id":3859267,"id":"Q3859267"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$31460623-1A07-4B59-8D60-37928FD7304E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91511ad261b1321f7909d1d69ac393fe2a9161f1","datavalue":{"value":{"entity-type":"item","numeric-id":2849913,"id":"Q2849913"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$B53F75A1-E704-4B27-B52B-EF5FD8D82562","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"543caadc26f919c00437b306634d6ddfc00d8c87","datavalue":{"value":{"entity-type":"item","numeric-id":2841977,"id":"Q2841977"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$B6A9B9DB-A474-4553-837A-C478E6D06A0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7e1cd4c2e45e61ad45ad2f7a29f6c1dd31ffaa91","datavalue":{"value":{"entity-type":"item","numeric-id":1908353,"id":"Q1908353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$AFFE3709-3482-4F42-8F07-D3BEDE389DEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13b564aa370f839e11dd5bb5dca3a1afe082d1db","datavalue":{"value":{"entity-type":"item","numeric-id":290914,"id":"Q290914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$453AE2DB-48BB-496B-A6D0-9EB245072107","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5938f2a9c5ccafd5c4667d4ca10e26a431a5e34f","datavalue":{"value":{"entity-type":"item","numeric-id":4636622,"id":"Q4636622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$852D3FB4-B699-459E-B6B7-59D16BAD14B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4630cb20bffc3b123eef8415d7aeb24d2bdd3bb9","datavalue":{"value":{"entity-type":"item","numeric-id":4635865,"id":"Q4635865"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$70308F06-5C97-4323-8BA2-99A7F5AC5A30","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a4c43dfd637937fcf398a09251e525ae3d52515","datavalue":{"value":{"entity-type":"item","numeric-id":4713368,"id":"Q4713368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$90AFA79B-3324-4461-8E88-2A4F98268E61","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2137cf817c2cc48b26d38c69b92e6d6b31d62e4d","datavalue":{"value":{"entity-type":"item","numeric-id":4968382,"id":"Q4968382"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$AF4182A5-3A7C-434A-A325-0194688A4230","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ed7a6acd2abcf87b40a6ef6d2cee2b65b258f22","datavalue":{"value":{"entity-type":"item","numeric-id":4560219,"id":"Q4560219"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$91115F15-465B-4784-A0B1-843AE21A5F13","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"936e5afac4703d8d5c6d1433e7f4753d26160762","datavalue":{"value":{"entity-type":"item","numeric-id":5145646,"id":"Q5145646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$DF105CBC-1593-4F89-9EED-78CA7F97E768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2e65ae3a5dbadbdd96adccfd553797067c2cacc1","datavalue":{"value":{"entity-type":"item","numeric-id":5002804,"id":"Q5002804"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$01EA7C05-3AC7-4042-8464-DACBD7A7FFEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4151990484c8fe92e6fd42407c1c6d4e5df6ee5a","datavalue":{"value":{"entity-type":"item","numeric-id":4219024,"id":"Q4219024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$0BF8EDC1-0319-4CD5-BA3D-3B861F3824B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7fce50babd07745e63f8663c4ebb5fb781e4cd","datavalue":{"value":{"entity-type":"item","numeric-id":3451105,"id":"Q3451105"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$32404A32-F126-4201-A9DE-7DEC4B16722F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"65767e4e62083497abfd04971a6e8d39e3aca584","datavalue":{"value":{"entity-type":"item","numeric-id":1605318,"id":"Q1605318"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$9B4FBF1B-DF8F-4A29-A2C1-654A3ADF7881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54b608000f5f07a4eff9f7596994ae2cbf76d666","datavalue":{"value":{"entity-type":"item","numeric-id":3771630,"id":"Q3771630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$E7BC0CA7-EB64-4F13-A59C-A47CAC100845","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"559936a1085dfa80d16647ce2b5289fea2105c61","datavalue":{"value":{"entity-type":"item","numeric-id":6951691,"id":"Q6951691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$47C51AF9-59FE-4AFD-9DD8-A4E21A2B1922","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c50fb2e1e8cf1b2f302165e38684d666bf1a4167","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$C8ABEA21-1F11-4428-90D5-D298B98DDD34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e82a1a60059db020689c05a4f3c4e4b93fc79af","datavalue":{"value":{"entity-type":"item","numeric-id":6649456,"id":"Q6649456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$1F688FCB-916B-4329-A97F-5CC06554A679","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa627c45e8495f711bc7e36e3fdf7108f4a1b81f","datavalue":{"value":{"entity-type":"item","numeric-id":5015278,"id":"Q5015278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$97C8649A-A3A3-4DE2-B37F-F9C60549EA5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d6cd82a1d78efe0e8663662c5bdbe2ef5b80d95","datavalue":{"value":{"entity-type":"item","numeric-id":3586406,"id":"Q3586406"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$E22C9CEC-3B30-4A1F-9EAF-0ADE0E25D9B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3571bf8eed34370adfb0c8f4fadf636abf77941a","datavalue":{"value":{"entity-type":"item","numeric-id":2641880,"id":"Q2641880"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$8AED369A-61CD-43CF-9790-3F024A2A73D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"870c5a38858355caeeae9f446f0a3e85a9be75a4","datavalue":{"value":{"entity-type":"item","numeric-id":5517673,"id":"Q5517673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$0F575998-38E1-4FC4-9512-EC608CE48C8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd962b49c416718dc0f4c22437557f3716d1ac6e","datavalue":{"value":{"entity-type":"item","numeric-id":4598238,"id":"Q4598238"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$747177D4-78B7-44A6-88CE-7E24D585BAD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46489bdb74fb3bb340e7eb1f078967c9c0bebd3e","datavalue":{"value":{"entity-type":"item","numeric-id":5892062,"id":"Q5892062"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$EF70C7DA-5D22-433B-BE25-7CE7383D9878","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"45902fd05ea5810a65d04f3797c40e134204a131","datavalue":{"value":{"entity-type":"item","numeric-id":3587461,"id":"Q3587461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$541B53C0-54D1-4FF6-B8E5-974CA5A54431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"faf302fbc29b021d0b50a7ece6ef4e7e72eafd84","datavalue":{"value":{"entity-type":"item","numeric-id":2464034,"id":"Q2464034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$0AB4F68B-7A04-4772-BF0C-EE91AAF5CAB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"56f432a378a2a52eb6368f54838cec386ee473cf","datavalue":{"value":{"entity-type":"item","numeric-id":2828251,"id":"Q2828251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$8E88273A-78CD-43C5-A987-31E439B4D065","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7aa79f2175653019aafb2981503acbe3283416f3","datavalue":{"value":{"entity-type":"item","numeric-id":5629862,"id":"Q5629862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$096CE60B-4FF0-4E13-B205-EFD74089BBE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d195258b4d4c176270ebb20169c627fa75075579","datavalue":{"value":{"entity-type":"item","numeric-id":1342504,"id":"Q1342504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$867FC75B-6B58-4FEE-85CF-893368A613BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58709679cfff7718457ae5dbfaa34a4e9b17219c","datavalue":{"value":{"entity-type":"item","numeric-id":5812263,"id":"Q5812263"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$A554B16F-2795-4D99-B104-CF70613D9665","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2631bdda72c0ec46e1523c6d35212267852671e","datavalue":{"value":{"entity-type":"item","numeric-id":3742754,"id":"Q3742754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$4D25E0F1-B939-4E3C-8FBE-AC8BB1C53E9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c57448c3511c30ed92e5fbbbe68c6f2b95237a20","datavalue":{"value":{"entity-type":"item","numeric-id":2554710,"id":"Q2554710"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$245A0716-8947-481E-B93C-79DD1458B428","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c772d2703f22bd12636c05a8bf424fb4fb7392bd","datavalue":{"value":{"entity-type":"item","numeric-id":1193891,"id":"Q1193891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$032B5532-0EE2-44FD-B2AD-D953DEAB062B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6637ad3841fec6ccb0f7fb857f90653d03220854","datavalue":{"value":{"entity-type":"item","numeric-id":6874948,"id":"Q6874948"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$CE8EC260-B797-4155-8FFF-295B973251E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"30af45ca233c37f8dd2da1d8ff39f5cfcad1bdd0","datavalue":{"value":{"entity-type":"item","numeric-id":4635791,"id":"Q4635791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$08A61EBB-9EB5-46F5-9649-543746887EEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"085e89af12340bba39e85eb73f932d436c3fc4ab","datavalue":{"value":{"entity-type":"item","numeric-id":5207052,"id":"Q5207052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$5E0F69A4-5D42-4394-9D16-251C291B4EA5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de3be818606f1407ea3f09559189b5d37bf28a7d","datavalue":{"value":{"entity-type":"item","numeric-id":3449486,"id":"Q3449486"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$610D7864-A08D-49DC-BE8F-05540E80E212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e42f0028eb276733b0205f8d462592e23f52066","datavalue":{"value":{"entity-type":"item","numeric-id":1401309,"id":"Q1401309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$9BB39530-7266-403C-A4F3-CB4E3F1CF820","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4d46d53aaa78e4e1f3286eef514e163c5ea4ffb6","datavalue":{"value":{"entity-type":"item","numeric-id":5534924,"id":"Q5534924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$6A792962-05AD-4E8F-A8F5-E831D556AE51","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28032eb071748a84d01b4c7034db1f92de14d31a","datavalue":{"value":{"entity-type":"item","numeric-id":5136337,"id":"Q5136337"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$C79C7BB1-FC2C-4930-98B7-720214A501AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2554f139a1892b164554d6aa3ff0bd9990274327","datavalue":{"value":{"entity-type":"item","numeric-id":2849957,"id":"Q2849957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$2915A6B3-E827-4189-A1AD-C92F0206CC39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"840c3498537d17d4f80bc9be5196dacc95600a62","datavalue":{"value":{"entity-type":"item","numeric-id":1242682,"id":"Q1242682"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$F89CFF40-58A9-46CA-A368-02FC77B6C042","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f7d7dc538448798d6a394d1f6aa8ca50196bbe2","datavalue":{"value":{"entity-type":"item","numeric-id":4982097,"id":"Q4982097"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$A65416C7-F413-4CB3-9262-EE9418B95D58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"199254d857c20c8c8b28ac81e9484dbd90543c81","datavalue":{"value":{"entity-type":"item","numeric-id":2330602,"id":"Q2330602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$BB753D00-72A4-4FAD-A68F-2C496D764D2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"09d393b2d7247125dca97cb2da89b6badef6652a","datavalue":{"value":{"entity-type":"item","numeric-id":1249047,"id":"Q1249047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$47768567-4533-4242-B2D3-A769B9BDBCC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"70aff6860101918cb248a7b27d83cd4d8bf4fadd","datavalue":{"value":{"entity-type":"item","numeric-id":4168966,"id":"Q4168966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$22110FEF-03EE-4DC4-B0A6-9C7D27961138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"48f8786f641875749064af4d37b49188815d546b","datavalue":{"value":{"entity-type":"item","numeric-id":3449495,"id":"Q3449495"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$CF1D7D5A-490C-435D-827B-33CABD27E595","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"71c98dfcef737153cca573a7227286a7d410c7ba","datavalue":{"value":{"entity-type":"item","numeric-id":2955038,"id":"Q2955038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$C7D85BFB-8DB6-4E77-8516-9D62052AAC2F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"184467a2a359c40345a21af46f71737b12123603","datavalue":{"value":{"entity-type":"item","numeric-id":5145372,"id":"Q5145372"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$6E5BCFBB-7175-4917-B6C2-61C1B7AACD64","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"523ef74a718adaa58494bb00007c2e56c595f08a","datavalue":{"value":{"entity-type":"item","numeric-id":2662504,"id":"Q2662504"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$BAF7F800-7B36-4A61-9BDD-F3DD88657934","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85f4cb32fafad305aa17be28a9c7b09e5a2fb935","datavalue":{"value":{"entity-type":"item","numeric-id":2695487,"id":"Q2695487"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6970280$F4F9A1DB-8E31-4732-89A4-C554E8A5F3D9","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Verifying unboundedness via amalgamation","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Verifying_unboundedness_via_amalgamation"}}}}}