{"entities":{"Q1854355":{"pageid":1865097,"ns":120,"title":"Item:Q1854355","lastrevid":71504835,"modified":"2026-04-13T22:42:19Z","type":"item","id":"Q1854355","labels":{"en":{"language":"en","value":"Algorithmic analysis of programs with well quasi-ordered domains."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1853112"}},"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":"Q1854355$9DB51929-DEC3-41CE-A90B-D09E08421533","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d2551e6ba8e1629a1e25ee546e58fe365d24c95d","datavalue":{"value":{"text":"Algorithmic analysis of programs with well quasi-ordered domains.","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1854355$8968A568-741D-4286-8427-4FB6C8036A8E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"43baa464654aa56ad131f61b51ffd2b35f0000f2","datavalue":{"value":"1046.68567","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854355$E9195328-9395-4E68-84AF-50FB7545B784","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da3257392c6ffa563f5e454ba2a32388db4ce02a","datavalue":{"value":{"entity-type":"item","numeric-id":300408,"id":"Q300408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$4AFCB752-056F-4C94-AB08-C3AFD147DFF9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c27fe8af7e0633cfa58d738b2d1a3cdb2136667","datavalue":{"value":{"entity-type":"item","numeric-id":1854354,"id":"Q1854354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$088E3F3F-16B4-4672-B889-81786E4EB1A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"b20b81a7d340bb11545f18691561a3ea86d216a1","datavalue":{"value":{"entity-type":"item","numeric-id":300410,"id":"Q300410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$1D783689-BA04-4428-B2ED-71BC6FDA38D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a6b20f6ece5fa5cc40707815445e71b70bca478f","datavalue":{"value":{"entity-type":"item","numeric-id":671673,"id":"Q671673"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$5004D4E8-8FE9-4A3D-8092-8E1D82BFD660","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"fa2d1ad91af9619c8dd37ab889fe279a84c4057e","datavalue":{"value":{"entity-type":"item","numeric-id":259032,"id":"Q259032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$33C5D224-B99B-4166-87C5-E85DA535508D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6a7e8d599a17c373ba2d71fc88b3043673b9f45a","datavalue":{"value":{"time":"+2003-01-14T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1854355$299D8983-1036-4E57-ABB5-9F9B49E47311","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854355$FFC1045D-1265-482A-9356-4D2A80E56908","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854355$905A2947-0EE5-40F3-B887-664235339DFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854355$A60DCD39-AB2B-466C-812A-78352A48B3FF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854355$39DAB664-E7B7-487B-9B0A-6F2E74548707","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f63268c9d41919610c3ed7fe0301f9632af0cc08","datavalue":{"value":"1853112","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854355$35E0D97B-3550-4229-B7CD-88CED1AF337D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854355$913EDFB5-F4C3-4E27-BCB5-A3B0372BB5B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33a3090759c5fec5d1d1c20ba4f4fd25f78529eb","datavalue":{"value":"well-structured systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q1854355$398BD20C-2C8A-4D1E-8620-15D7614E76A7","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":"Q1854355$6CF430D2-BA73-4313-968C-90E76DE98ED6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"bed12759800a4508e5c19d0dce1bd60f629f7f9e","datavalue":{"value":"https://doi.org/10.1006/inco.1999.2843","type":"string"},"datatype":"url"},"type":"statement","id":"Q1854355$15E64D6E-E42B-4F51-A721-3567E2A3CE1F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"97a1d4842f83f38fdcb2efe3f06cca46f11d5ead","datavalue":{"value":"W2052306562","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854355$DED0197B-2682-4839-B2AA-85E03FB3A148","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"bc92fa2ce04217b885c48af6604f0f22ae2677e4","datavalue":{"value":"Q56901005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854355$37531598-49A6-4A7B-BE96-6877AA0EB0FD","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d2fc0a63389634a9e98983124e81872cbd40ee63","datavalue":{"value":{"entity-type":"item","numeric-id":675223,"id":"Q675223"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$A488262E-76C5-46F8-8422-7BD775E8D924","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5f1d56cf9ccd86f843c0790138b89035b3d7fdf8","datavalue":{"value":{"entity-type":"item","numeric-id":4138073,"id":"Q4138073"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$974FD84D-0AB4-40A3-8F83-B119FEB0B461","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b4d71bbab57e335181b2411d65d8e1ef4dc862e","datavalue":{"value":{"entity-type":"item","numeric-id":1067408,"id":"Q1067408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$3EFEB2D0-BF5F-40EC-8050-0C9D8BEE6811","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a05f05f61b46a8fd8bda9fb47a75f81f498f2f8","datavalue":{"value":{"entity-type":"item","numeric-id":3657436,"id":"Q3657436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$375EC21B-F5D4-4144-AA6B-390945553807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d12f32bb6df156535fd471aad08f2522bbbf182d","datavalue":{"value":{"entity-type":"item","numeric-id":2757803,"id":"Q2757803"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$23BD03E1-CCFC-47CC-8388-7092F4A67F9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"43d311469a36c527273031e73f990f801dced9a7","datavalue":{"value":{"entity-type":"item","numeric-id":4632414,"id":"Q4632414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$1D633A2C-3E98-41B3-94F1-6A7777F21859","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":"Q1854355$D0CE51DC-6BBB-42AF-9560-C61FAC2A45C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c8893272790e5a9fb218bfdc18525e63f375c582","datavalue":{"value":{"entity-type":"item","numeric-id":4645189,"id":"Q4645189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$75A19DC5-D4C0-4BE3-B8CF-C91D8CA0FEDE","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":"Q1854355$9A18F04F-FF94-4036-838A-9A4DBB27EDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"daa1f134c73b422f11b474e2bf47d3773c6d2eb9","datavalue":{"value":{"entity-type":"item","numeric-id":914407,"id":"Q914407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$A1197C26-A7DA-4576-963C-FD21F9AD8633","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":"Q1854355$5AD0CCE4-CBFB-4F79-BC69-26720BEEA1F0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"54a6320002eee51efddaa9f2f4a03f37bab8991e","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$31EA47C4-C788-409B-9C81-FFACC4A9E353","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"05d668c3538345487e0c265ecf68f834af72514c","datavalue":{"value":{"entity-type":"item","numeric-id":1323365,"id":"Q1323365"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1854355$ECD90C4C-18C1-4BA3-8C57-975D3EDCEB5A","rank":"normal"}],"P1635":[{"mainsnak":{"snaktype":"value","property":"P1635","hash":"e151429b1257426150a05690e9b134bc49cb4e1e","datavalue":{"value":"journals/iandc/AbdullaCJT00","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854355$5EC9BB3E-4264-430A-9883-50D23C9F72A8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b8b7df5380f18fd93d4041832b9829f6eeafaa87","datavalue":{"value":"10.1006/INCO.1999.2843","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1854355$10245233-437E-4670-B3DB-7572A168BF20","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"434b248b93fdec42083c1706c9774915baad71dd","datavalue":{"value":{"entity-type":"item","numeric-id":2842095,"id":"Q2842095"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"58897ada3975c71173d5cb660e3b4103b7c8c9ae","datavalue":{"value":{"amount":"+0.8367617726325989","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":"Q1854355$B08A1593-5F2C-4058-BE4D-B471114D43E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ca6648999986ea0b7b50034bf80d8dc93d6436c","datavalue":{"value":{"entity-type":"item","numeric-id":5941101,"id":"Q5941101"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f423287fcdbd53373c6d671df8ece81fa98c9bd0","datavalue":{"value":{"amount":"+0.824440598487854","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":"Q1854355$A955B493-52CD-4F87-8DD6-C3DAA83BAE15","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d265360da3b45ca12d0d7ad170d40346da6a56b8","datavalue":{"value":{"entity-type":"item","numeric-id":3067860,"id":"Q3067860"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6bc30b7fcff17a94987db88d9e663a6e097f3914","datavalue":{"value":{"amount":"+0.812528133392334","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":"Q1854355$C4D0D91F-D2FA-4F57-86AF-F2B494E3E28F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"97434220c731f87d7ae92c4fa46509ec4e361296","datavalue":{"value":{"entity-type":"item","numeric-id":5941104,"id":"Q5941104"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243ba1a0becc8fc4c23181613cc9d8dcf0dd83c6","datavalue":{"value":{"amount":"+0.8048366904258728","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":"Q1854355$22CB6341-AB94-41A3-9222-3BF4752A475C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bf418d07813efb8d4e37aeb55ed10889a3f73b8","datavalue":{"value":{"entity-type":"item","numeric-id":5167823,"id":"Q5167823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"243ba1a0becc8fc4c23181613cc9d8dcf0dd83c6","datavalue":{"value":{"amount":"+0.8048366904258728","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":"Q1854355$0285E296-E562-4396-AE71-1D237DE0CB98","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Algorithmic analysis of programs with well quasi-ordered domains.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Algorithmic_analysis_of_programs_with_well_quasi-ordered_domains."}}}}}