{"entities":{"Q3386750":{"pageid":3397453,"ns":120,"title":"Item:Q3386750","lastrevid":88188785,"modified":"2026-06-04T13:52:03Z","type":"item","id":"Q3386750","labels":{"en":{"language":"en","value":"Forward analysis for WSTS, part I: completions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7290836"}},"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":"Q3386750$91143228-0B4B-4C8D-AEEA-025DD4281A45","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"436810e57e1ee43ac9bb9ac31e0be23d505080ad","datavalue":{"value":{"text":"Forward analysis for WSTS, part I: completions","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3386750$B6330B0E-E3F5-4A60-8793-99746B3932E6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9ba9c1b5a6a03557c5e3632e816d6494e9a58869","datavalue":{"value":"1491.68122","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386750$263E2BA2-315F-420C-9B34-41255F054B9D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"31e233f9da4bdf79fa045a420dc4758a5fc3c54d","datavalue":{"value":"10.1017/S0960129520000195","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386750$7AFDD448-7BB2-4E9E-81DA-4A1D6A472169","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f3afd6d090edda820acee0f53c48c5034fa7cafd","datavalue":{"value":{"entity-type":"item","numeric-id":283757,"id":"Q283757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$835EF639-D2EE-4DAA-AA0F-EA1258F8E575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6dd3e8af98123c8ca2e63d92bcb754959cfa4cc6","datavalue":{"value":{"entity-type":"item","numeric-id":290912,"id":"Q290912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$ED8CDF17-5E2B-4786-AA96-C8C68160118F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$7EB014E6-9AB6-478C-BB64-DAEB6B124B13","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"28000f86d5331c096188ef3a8388c83c359f78a7","datavalue":{"value":{"time":"+2021-01-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":"Q3386750$4BB21887-46C7-4C8E-B61E-040F370306CA","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386750$BC2AC4D4-5591-42D2-9CDC-64E444987372","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"24b4e1822d3b439416e5362f77e6b62b0a16b8d0","datavalue":{"value":"54H30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386750$8291CCAC-6437-452E-AA95-1480DDE3DB26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386750$33926102-841C-4644-8E4A-052C943CB04D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a881fa1c7ad2e534933fc063b0a5e7423dc728cb","datavalue":{"value":"7290836","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386750$E4E51DCD-2D4B-4264-9873-99BED106895E","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9f9ffb48a91e943ce3c733feac83ddb601e3b075","datavalue":{"value":"well-structured transition systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386750$AAC85414-EB42-44BB-AE31-194466CEBEE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"428b8303d834fd2bf837d484025592b83c58e7f3","datavalue":{"value":"well-quasi-orderings","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386750$04D483D1-2C6A-428E-A851-C3593AF43252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a90305b78f6110ecbad49545003a5b4d6464b81d","datavalue":{"value":"downwards-closed subsets","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386750$F0A894C1-CB59-457F-B9E3-1E53178DB0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7480e5635279febb3d638e956a9b3dc81029c11","datavalue":{"value":"Noetherian topological spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386750$EB186856-825E-459B-8208-E487F00804AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5bf7eb86db18b64a0bcc050c480167cdb20e214e","datavalue":{"value":"finite computable representations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386750$E7CD3296-DF27-410C-B539-695B69A848DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bc65dfc24d49e02779553be21fdeec17ec44b253","datavalue":{"value":"ideal completions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3386750$427027BE-AEEA-4E80-B933-49FA38795BDA","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":"Q3386750$03FE0BE4-3F83-44BF-B055-C994FE1ABBE1","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":"Q3386750$53DCA302-0F72-4682-AB4B-F9E1B1552C4C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d7a03499c973a6a589eb84a1714e84d997be7c4","datavalue":{"value":{"entity-type":"item","numeric-id":1878928,"id":"Q1878928"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$61743C38-FB16-410C-BAAE-949B57A2BB1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49110c119ebfe9e297768cb59cd41b5d78b47db9","datavalue":{"value":{"entity-type":"item","numeric-id":5464758,"id":"Q5464758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$E4F5F6D8-E5D5-432C-8DB1-B6C32052D808","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dca640f3efd730e5f875de06c5db75843c006cff","datavalue":{"value":{"entity-type":"item","numeric-id":1923094,"id":"Q1923094"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$708B2741-5B8B-488D-BF80-4CE88EAD362B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a9d1109e6ff0b4f3a547fea5433f4e960a607a0","datavalue":{"value":{"entity-type":"item","numeric-id":418155,"id":"Q418155"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$AB0B5C20-A85B-4217-8EF2-1AB48469362E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"de464f4aafb4e9508ba256e2980a33d9d5749fdf","datavalue":{"value":{"entity-type":"item","numeric-id":4305609,"id":"Q4305609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$1086FA50-F322-4893-B0F0-FC39EE200A38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e6a9413105ae166dba1d7a8323203bba1d37c0c","datavalue":{"value":{"entity-type":"item","numeric-id":1133331,"id":"Q1133331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$553A8740-B510-4AFF-A236-4A7C85173383","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"74f5286c26b21fe3ecc652fab2151971a5613c8d","datavalue":{"value":{"entity-type":"item","numeric-id":1072371,"id":"Q1072371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$286FE481-D6A6-4C3E-86F7-EBC2969A4FE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"404827ed975a0e6ac00f371acda3475dc86ebff4","datavalue":{"value":{"entity-type":"item","numeric-id":5136306,"id":"Q5136306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$B578F084-5CB8-4031-B8BF-8974DF717D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9b57d5224096e5b1977c4ed46b0dfb10c94f703d","datavalue":{"value":{"entity-type":"item","numeric-id":3452211,"id":"Q3452211"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$E866DA3A-20B8-4F9A-9D4E-CEEF4CA19F59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"954424d38b0084062ecb04ce2fedd4da29a556c1","datavalue":{"value":{"entity-type":"item","numeric-id":3957939,"id":"Q3957939"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$40A5CB0A-2065-410D-8F7B-7AA727F8D7A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3bffe48c7c76b90bf68970921698e19786e1600b","datavalue":{"value":{"entity-type":"item","numeric-id":2747613,"id":"Q2747613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$D1A58FA3-5250-4E92-A5F9-26675923A547","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"18e28476bfef33ad1b2b85b86e71d14c7098ed3c","datavalue":{"value":{"entity-type":"item","numeric-id":4936148,"id":"Q4936148"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$7B9C5290-285A-4065-89BF-C60961B49A2D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"53d969f1a386410447fd997baee9581f135d1e0f","datavalue":{"value":{"entity-type":"item","numeric-id":2652530,"id":"Q2652530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$286A73D2-58DD-45AC-AE9D-3FC50BBC40AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc013257eba178d5b29ad8e9dda9549d856dafc8","datavalue":{"value":{"entity-type":"item","numeric-id":4226173,"id":"Q4226173"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$5ACCB761-F5E2-4258-BDE1-D66C26B75610","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":"Q3386750$3B623754-C18F-440B-AC90-3A6A9426BDBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c809ec82f632b6c385400f097fa447743bc7db2a","datavalue":{"value":{"entity-type":"item","numeric-id":1173681,"id":"Q1173681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$4320E296-E652-4937-A57D-C816E5DE1824","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1d83092f8c95d7d524e1fd306669278c84f755b3","datavalue":{"value":{"entity-type":"item","numeric-id":5389997,"id":"Q5389997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$B18838CC-0511-439C-BBCA-D98764E475C5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec887c57f9a5fecc6bd981528afceaade60dee98","datavalue":{"value":{"entity-type":"item","numeric-id":3166218,"id":"Q3166218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$5247141B-0455-4B63-9F84-0FA95DB6E413","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":"Q3386750$37A47CC5-6FF7-408E-B2A1-A7DEFC2C45A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"079edbb478e94c4ee8deecc54d86df5097c74af4","datavalue":{"value":{"entity-type":"item","numeric-id":5898609,"id":"Q5898609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$B08C23A6-42E4-4766-A258-E5A20A3AB1E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a06cc82621fb5a480563de61a6ce44ffbe8888b","datavalue":{"value":{"entity-type":"item","numeric-id":2581762,"id":"Q2581762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$29C127DE-5ECB-43EA-9AC7-7D421CE1CF8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db762cc0f08fb652d186856f54bfcc71614a4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4787439,"id":"Q4787439"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$188A9934-D33A-486A-9AB4-7573FD673500","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4597b7a4b847274f0ff50c8904880b844930b247","datavalue":{"value":{"entity-type":"item","numeric-id":3587424,"id":"Q3587424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$9622E896-4F2B-45F9-AD7A-BD4A447BC4C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"25b42a1c3ee06f9654510272357578368daee23b","datavalue":{"value":{"entity-type":"item","numeric-id":4914616,"id":"Q4914616"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$44E510D5-B4D2-47C0-812E-32F285C693A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cbef0739aea6b0450f0ff2b3a79e4514d8909b","datavalue":{"value":{"entity-type":"item","numeric-id":5742874,"id":"Q5742874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$0A6531B3-5989-46B9-A896-9058A0E015A8","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":"Q3386750$7188D093-415B-4BC0-AAEE-22B7B3196B79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92b11f97a3c7a51d66916845e46d3a527aa177cd","datavalue":{"value":{"entity-type":"item","numeric-id":3491705,"id":"Q3491705"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$3ABFF976-27C2-44A5-880C-5CD1F22A18B8","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":"Q3386750$DDB36888-2B90-4B6A-911B-7F21E566FC10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4135e72a1bd71cb702ed16a6d1a88f0ab31bedf9","datavalue":{"value":{"entity-type":"item","numeric-id":1133195,"id":"Q1133195"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$AE7F37A7-ABAE-483C-A4A2-C54490B6F594","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"583dd51d2965ffc8a39995d600c77fe7a129650c","datavalue":{"value":{"entity-type":"item","numeric-id":1255704,"id":"Q1255704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$E71FC56D-48C8-4555-99EE-DFA1D8639E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a73063c970b0e685254c2fc6a25c84910cd005a","datavalue":{"value":{"entity-type":"item","numeric-id":2804201,"id":"Q2804201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$09EAFBA9-53A3-452B-99C1-A80DCB0E88F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99dd948681470753b01cd89b23adf0d42caf1306","datavalue":{"value":{"entity-type":"item","numeric-id":4020513,"id":"Q4020513"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$72B40F03-AF05-4ED3-BED0-9E3D87498593","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"28a33b862f7d8441651d4cdc6c39e4250de110d1","datavalue":{"value":{"entity-type":"item","numeric-id":2540014,"id":"Q2540014"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$0C4FAEC2-C0DE-4C04-8AC6-6382C7F35BB8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$CE24615D-7934-4FA2-92EE-BFD5B04F2D77","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":"Q3386750$C217F674-B714-495A-8293-DDD9C47B56D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4804e72c06499df6d39fb7678c171d7a4f0b8432","datavalue":{"value":{"entity-type":"item","numeric-id":2958987,"id":"Q2958987"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$2CFA7A81-1477-49FA-84B7-D3C1D0CC7711","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f35d7585c8f8df12c7d463aff61a71557be15cb7","datavalue":{"value":{"entity-type":"item","numeric-id":3601861,"id":"Q3601861"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$674EA3D1-B728-4E58-8304-0B8853FAE240","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":"Q3386750$B459680E-3F25-4B7B-9C86-E4A0CFF02A59","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":"Q3386750$C879D306-5D05-4E0B-A982-36FADAC67218","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ac5d5c34c1550fa69d8e38f6410edf05c9b8467","datavalue":{"value":{"entity-type":"item","numeric-id":1295216,"id":"Q1295216"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$B8C9DF1B-EAA4-41ED-B9AA-AED79D3784FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d47d30524d0881b216cd4a30d35dd320c36c151","datavalue":{"value":{"entity-type":"item","numeric-id":4411947,"id":"Q4411947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$BB000BEE-3EE1-4971-A686-972AD1DD9E0B","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":"Q3386750$7A42410D-DB56-49E9-ABA3-165EB4BE08B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"322a9017aa840f546f25e07f3021d250f9dba4d8","datavalue":{"value":{"entity-type":"item","numeric-id":4781203,"id":"Q4781203"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$5210C051-D328-4218-B0D7-5D5848799905","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6b48fcb02d6e81a5897367606519605757835a93","datavalue":{"value":{"entity-type":"item","numeric-id":5538923,"id":"Q5538923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$7B95FB06-D5C3-4F1A-B965-1A1B49151449","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7f29c87080848dd54764e19eae7e68ae19c62a9","datavalue":{"value":{"entity-type":"item","numeric-id":5387658,"id":"Q5387658"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$879ABC1B-7E44-456A-8E3A-0460C31BF479","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c4152a97f22f2b819f813b15c03434104369282","datavalue":{"value":{"entity-type":"item","numeric-id":3557846,"id":"Q3557846"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3386750$AA2ED1AF-32D6-40DD-95E2-EF9A2AFEF6C8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff9295a746b853eb4d6d1891501a4106a319244e","datavalue":{"value":"https://doi.org/10.1017/s0960129520000195","type":"string"},"datatype":"url"},"type":"statement","id":"Q3386750$4E754B61-19AC-433D-A211-CBBACBCC809F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cf283807eba584f956035ca49d19a8558b41ad73","datavalue":{"value":"W3093599425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3386750$52174C67-3888-49F7-A88E-366B0FD6E9EE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9779a7ba39bf95c970fb8e4d5a0d02db93e3e27e","datavalue":{"value":{"entity-type":"item","numeric-id":5389997,"id":"Q5389997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"272cd73df05aa3231cfe12d5e1ba3c202a486533","datavalue":{"value":{"amount":"+0.9999997","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":"Q3386750$8DD103B2-96FB-49B7-87E1-5824E4C1D565","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"da8081cb2fe1b75f69ff532411307cb9f30e2b83","datavalue":{"value":{"entity-type":"item","numeric-id":3638095,"id":"Q3638095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a106e55f17cc7488417f86007e7f8a7a691a26","datavalue":{"value":{"amount":"+0.95169187","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":"Q3386750$35857B02-E5A5-435A-988C-6D4FF51F4BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eb9dd55ec4a96153cee225a83c90fd08da0a3f1a","datavalue":{"value":{"entity-type":"item","numeric-id":3166218,"id":"Q3166218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"17a106e55f17cc7488417f86007e7f8a7a691a26","datavalue":{"value":{"amount":"+0.95169187","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":"Q3386750$21F74DCB-CE54-45F4-B769-91A978B062FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3fbb1416c792e7d4fae141740a54130ad9f6c01f","datavalue":{"value":{"entity-type":"item","numeric-id":5136306,"id":"Q5136306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766dc64c67b6a3c090596c1f13918b03d1cacf8d","datavalue":{"value":{"amount":"+0.83549833","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":"Q3386750$AA234F20-7B86-4A8A-AE93-6183ACC6A321","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6cd12f37a38e717adc8ed5479fb6d00b3bea6902","datavalue":{"value":{"entity-type":"item","numeric-id":5114831,"id":"Q5114831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"766dc64c67b6a3c090596c1f13918b03d1cacf8d","datavalue":{"value":{"amount":"+0.83549833","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":"Q3386750$80CFA78E-1B3E-45DA-99C2-047A4F40BDCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28fac3c226174636c61fb7e6297d92e3664ac042","datavalue":{"value":{"entity-type":"item","numeric-id":5294024,"id":"Q5294024"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"430d06dc3cccb51b26dcfd3bd8268e36aa413fd8","datavalue":{"value":{"amount":"+0.79557705","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":"Q3386750$605A567F-44A5-48C2-B8B5-411B00BB7301","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"715fb75ab2bc74f7262ef1f2b9f8f1078fa985ea","datavalue":{"value":{"entity-type":"item","numeric-id":3011881,"id":"Q3011881"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c223a818f6f761b5c8cf023883ff4d0e6ba2d847","datavalue":{"value":{"amount":"+0.79266727","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":"Q3386750$DFED1CC7-9EFB-4820-AA36-C3263BBC55C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"754dedcc9e03c1c0accb30a5f767414faa7e9562","datavalue":{"value":{"entity-type":"item","numeric-id":290914,"id":"Q290914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c223a818f6f761b5c8cf023883ff4d0e6ba2d847","datavalue":{"value":{"amount":"+0.79266727","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":"Q3386750$EE39AFB0-E176-427E-BF37-C990AFEFAA66","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09ac08571901e895d21fa82f18ee51d44fc13441","datavalue":{"value":{"entity-type":"item","numeric-id":2908196,"id":"Q2908196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ebd96266c10242da464644cc15af2df1d77f1de","datavalue":{"value":{"amount":"+0.79027325","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":"Q3386750$9F96F531-9F56-4F64-9FF7-8D9BFDB3DAC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0b90eac610234c400dfe05cab5909d3c393c1cb4","datavalue":{"value":{"entity-type":"item","numeric-id":4525115,"id":"Q4525115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"acf1587dbd6e54c209bbde85c093ec4fc39333de","datavalue":{"value":{"amount":"+0.78671885","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":"Q3386750$13AF5E46-400A-4183-B458-84CE81DA5B15","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Forward analysis for WSTS, part I: completions","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Forward_analysis_for_WSTS,_part_I:_completions"}}}}}