{"entities":{"Q6587139":{"pageid":14198295,"ns":120,"title":"Item:Q6587139","lastrevid":42364924,"modified":"2025-06-13T03:58:30Z","type":"item","id":"Q6587139","labels":{"en":{"language":"en","value":"Weak progressive forward simulation is necessary and sufficient for strong observational refinement"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7896564"}},"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":"Q6587139$6EB910F4-3A04-4168-A9CD-5797027FAE9D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"19939b46d7ffbbe94bdd65fa92785393e8b346a8","datavalue":{"value":{"text":"Weak progressive forward simulation is necessary and sufficient for strong observational refinement","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6587139$694E6059-AB97-41DA-AD1E-0BC0C76C4C4E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"07c694df1fbeaa11f2d143be3a0f488131a3d130","datavalue":{"value":{"entity-type":"item","numeric-id":736792,"id":"Q736792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587139$EBEB8DFB-5D1C-492F-AE19-BE2696EDF739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"905b270720daed71689fc357ca726e36dc429907","datavalue":{"value":{"entity-type":"item","numeric-id":539220,"id":"Q539220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587139$60496DEC-7513-40D6-934E-1D6FC81516C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ec377ce736b6c6e493e8394b5df9bdb00d5fb01","datavalue":{"value":{"entity-type":"item","numeric-id":436355,"id":"Q436355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6587139$0F0A4A2D-FB98-4001-93B2-705FBB8E56CD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2ef272fad473aebc084962aae26df5cb18b0f7c3","datavalue":{"value":{"time":"+2024-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6587139$229DF891-D6C1-4EDF-81FD-5B332E465087","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587139$A34CC26E-37EE-4462-BA1A-30E1AA6DA14E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"57c404005b7d2eba38f7d4a106f1dfb77f88b3e4","datavalue":{"value":"7896564","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587139$603E52B3-B9C6-4D01-9C5D-1EE90275A324","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c51e460e88d35ffe33b79c37bd2c31b8886e970","datavalue":{"value":"strong observational refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587139$823EC808-21A5-41B0-B830-695F472688A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e4b9d662df2643fc95ad035c9e056cc88201723","datavalue":{"value":"hyperproperties","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587139$05684CF1-3DF2-4C2E-8E26-14BDF08AF1EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3f64b7570866e42dc41a4684c56c15d44426906","datavalue":{"value":"forward simulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587139$497B2976-BC47-43FB-9295-776C13E2DF28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6da36a352364fffe09742987b782a7803ef60db0","datavalue":{"value":"weak progressiveness","type":"string"},"datatype":"string"},"type":"statement","id":"Q6587139$BCFA29AD-2D2E-401C-9313-DF636328726F","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":"Q6587139$3D5BCD6F-721A-4AB6-9242-70BA849451A1","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"a52226ddd3f9c1eaaeb9cd565ef695d216732129","datavalue":{"value":"10.4230/LIPICS.CONCUR.2022.31","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6587139$F16E52F9-ACC1-4EDB-BDAA-F0640B965E37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6587139","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6587139"}}}}}