{"entities":{"Q5389997":{"pageid":7419571,"ns":120,"title":"Item:Q5389997","lastrevid":51452240,"modified":"2026-01-18T07:36:39Z","type":"item","id":"Q5389997","labels":{"en":{"language":"en","value":"Forward analysis for WSTS. I: Completions"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6027236"}},"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":"Q5389997$89AB0B2F-DAB8-41C9-BF4C-666CAE2FFE99","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"134b977fe1dd58d11f346453ca74aba2ccbeacf6","datavalue":{"value":"1236.68183","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389997$04668CFC-C30C-4E38-9F69-0E645CD8DF20","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":"Q5389997$A01FC86C-8E73-4EE7-90AF-57FE240337AF","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":"Q5389997$7834A6BF-2708-4752-B908-DD102D6CE850","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"85ed9f287d2ea9a2dac92419860840c9949df976","datavalue":{"value":{"time":"+2012-04-24T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5389997$04752685-47C0-4313-B5A4-6A473FFB1A12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5da0e8203fc0b49235b9f1d188d960d331c720f5","datavalue":{"value":"http://subs.emis.de/LIPIcs/frontdoor_a68a.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q5389997$5FC7483A-3DD0-4D88-B689-314DEAA73246","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389997$874C8FB0-3848-42C8-9037-0C1B4162AFBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389997$B0502940-36D5-47E7-8631-5229D55D9491","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"01dab1690dd42a282d03e2787ca7a4f96b2efb91","datavalue":{"value":"6027236","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389997$8F0159DD-714D-456B-AA9E-0656FDF95F3D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dfb0dbfb539901ed4a012676dbd257e128badf50","datavalue":{"value":"WSTS","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389997$26256F8E-24F9-47AB-BD2B-1B9C4241E384","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4fc14ab028edc68eb61083c6b8930ec64c1cef9e","datavalue":{"value":"forward analysis","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389997$0205787D-D702-4FB4-9A33-E193E9BAD896","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"41b8ab866f2130f494e3b07bc4d1da4f4429a9e0","datavalue":{"value":"completion","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389997$F64B89CE-CD58-425A-BB64-9AFB3D71264C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e9dd718d9a74c1e517bdbf80dfce889a89cb59f6","datavalue":{"value":"Karp-Miller procedure","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389997$BE7964E5-A290-4FA8-86F0-A343C46D1705","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"40443e796d30a9a7c10499432df73c84da618b03","datavalue":{"value":"domain theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389997$21736A0C-DA87-490C-8607-1DA2F4856E3D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"53fc72e6cb5c1cba8e040419085520e8eb769182","datavalue":{"value":"sober spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389997$5ADECB4F-8285-4365-AEAA-70F272681F05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7042306ca3e9efa0c2e569bbe6daf3cd182f793d","datavalue":{"value":"Noetherian spaces","type":"string"},"datatype":"string"},"type":"statement","id":"Q5389997$6775815F-77D1-4E10-96D6-A57C40504A31","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":"Q5389997$E36E1851-427A-434C-BE88-2781D4693584","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d2b6e713884634837b0b5567c303f9d4e94f36f6","datavalue":{"value":"10.4230/LIPICS.STACS.2009.1844","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5389997$E8873922-A834-454F-AE75-8DF30E081BC4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"848c7301cc404c3aa9bb3ae8eccd59c752bc5ff6","datavalue":{"value":{"entity-type":"item","numeric-id":3386750,"id":"Q3386750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97f2013626a7a0e0147aac9d48093c65f0fbcfc1","datavalue":{"value":{"amount":"+0.9038759469985962","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":"Q5389997$B78B39EC-3EFE-47C4-BBF9-AD168C5419AB","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":"05da5ce636bf71ca8670730851a84d3b0a6ac77d","datavalue":{"value":{"amount":"+0.842460572719574","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":"Q5389997$BF861257-C06A-4CD9-9946-57BEBE75790E","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":"d3234f2129c287c3ce11958679737d5fb8bd7a86","datavalue":{"value":{"amount":"+0.8292276859283447","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":"Q5389997$063D06EC-4543-4AD8-8657-67BF84C4E1F3","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":"8025e134c1995f300d7516e55dd5eb6482096fe8","datavalue":{"value":{"amount":"+0.8276504874229431","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":"Q5389997$AC3F3DFC-C695-43F5-B583-0F454D76E65F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62751b604a44c62a2936e551f949be8091c2014f","datavalue":{"value":{"entity-type":"item","numeric-id":2891435,"id":"Q2891435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1c36aea34b8f5dbb86b184db83e4a6ec67610a08","datavalue":{"value":{"amount":"+0.8053392767906189","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":"Q5389997$3A1A880D-DA36-4D62-BEFF-6147A5DE8461","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5389997","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5389997"}}}}}