{"entities":{"Q7032170":{"pageid":21695907,"ns":120,"title":"Item:Q7032170","lastrevid":77528312,"modified":"2026-05-04T19:10:43Z","type":"item","id":"Q7032170","labels":{"en":{"language":"en","value":"Intermediate value linearizability: a quantitative correctness criterion"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7979884"}},"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":"Q7032170$45BFA2BD-88C2-4CBA-86D3-02CCD88127D4","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"100ea1b4e176bcb934d5c132e4798cbe9e702542","datavalue":{"value":{"text":"Intermediate value linearizability: a quantitative correctness criterion","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7032170$793514C1-F7D6-4C19-A3C8-9F6DCEC1D1DE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e6d74482ef96d803038f244dafc91fc5553a73ea","datavalue":{"value":"10.1145/3584699","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032170$E06B448F-F438-42DB-9E2F-BAA93319CF23","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e70d311f135111ebe2940dc7bd451b77d7087fef","datavalue":{"value":{"entity-type":"item","numeric-id":5145202,"id":"Q5145202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$D001699F-DC8A-46BF-A0A9-3315A43D99AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"7eb2659d6457b0477f39f0fdc52b56780924f31e","datavalue":{"value":{"entity-type":"item","numeric-id":436912,"id":"Q436912"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$34770568-E179-409A-83E7-7A48FBC16A3F","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$B1F013E6-F0DF-4DCF-BE0E-576329DA75FB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4eadad38579231afe6fd5d0ce960f90944b60efd","datavalue":{"value":{"time":"+2025-02-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7032170$48DDDFDC-69FA-4185-9E8D-0C14C3E63F25","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b65efe51b183d0f4a672427b8171cd1e14211cba","datavalue":{"value":"68W15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032170$AF3F44AF-1571-4BD7-90A7-0379D8878389","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032170$B7AB0A92-BFFE-48C0-9BBB-FC9E316DFAF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"19092e68af71f2b72a04c308f5e949067399ef60","datavalue":{"value":"68T09","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032170$603F1CB4-CB93-45F0-A5D4-682A0F8F2D7C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5cf78b038d687e42067bb8e2d4b454b1482967ec","datavalue":{"value":"7979884","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7032170$EEF1E397-B57E-4B19-BA58-CC6250272673","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032170$8EFD9E27-477E-4A52-9D50-AF1FCBE3988A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8fd7674d447d1b2ee0a258e9d99d4419fdbdbb83","datavalue":{"value":"concurrent objects","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032170$7F65E5F1-27C9-49F0-9998-898E67E0D31C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06ee1e819076ef64349ed3cd4ccae4a1cbb26c48","datavalue":{"value":"linearizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q7032170$5A1827A9-B9C9-42E2-A615-C8BB1453DAEC","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":"Q7032170$1C9638A4-4E65-4BFC-A043-4BD7B98DB366","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2dd858f3dfddbd8144768964969aed6b3725c7c9","datavalue":{"value":{"entity-type":"item","numeric-id":2943556,"id":"Q2943556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$BA99346C-296E-41E4-825A-98757D55A0BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"29e14acd6d3d402622e8b7f074d061f002410ed0","datavalue":{"value":{"entity-type":"item","numeric-id":5401435,"id":"Q5401435"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$CF6313EE-DE16-4A92-B084-7D8DD36F74EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5d6b66e9eafce8a47084914d65100426caac9627","datavalue":{"value":{"entity-type":"item","numeric-id":4625665,"id":"Q4625665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$7538DAA0-F6DC-4D49-9741-1BF503857E1C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63a980def3f26a7e77c94cc8bcfee02b9980d95b","datavalue":{"value":{"entity-type":"item","numeric-id":2903466,"id":"Q2903466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$752A19BB-405B-4410-8B55-FDFE15C94C5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ee5acfdfbd44b47821ae551ee01aeb1b1e7f2033","datavalue":{"value":{"entity-type":"item","numeric-id":4675489,"id":"Q4675489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$B7649A17-0B3C-44DB-94AD-59B9D9017412","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6af750574281054e35c24770cf364685fca0c11","datavalue":{"value":{"entity-type":"item","numeric-id":3189003,"id":"Q3189003"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$FF138774-1962-476C-A455-DA19A1BB83B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11540e6f7ac79fde18f86ec42f427dcec14af967","datavalue":{"value":{"entity-type":"item","numeric-id":1057061,"id":"Q1057061"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$138EA3F9-8E5B-411D-B34E-2D1C53707A43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b409c713eb261b091584b35f92681d778e69ee","datavalue":{"value":{"entity-type":"item","numeric-id":1069325,"id":"Q1069325"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$FBC0DE57-59F3-4280-93A0-39CADB7A4A8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"95b766868b9d817c19a351aaf4caa3f5fe864377","datavalue":{"value":{"entity-type":"item","numeric-id":5419107,"id":"Q5419107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$0289B89D-103A-4869-9C08-15CDA9F50AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3fe6be190a0370c06cb4d33436bc62a6dfa80c2f","datavalue":{"value":{"entity-type":"item","numeric-id":2931807,"id":"Q2931807"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$3B279215-A5A7-4798-BBE8-3D191F5AC69B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4cfc209416418df50fb9f5f7bac1ebc21941dc0","datavalue":{"value":{"entity-type":"item","numeric-id":293175,"id":"Q293175"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$A0EE9039-8161-4A97-83CF-F3492DC751CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"751bc9c0f31bcc962492231f0ab0272f6e6e3743","datavalue":{"value":{"entity-type":"item","numeric-id":1079946,"id":"Q1079946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$8253F982-579E-4C01-B1B4-19876FE2B0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b681bc314992b80b3f7db5cc0f5790ef1d2cd965","datavalue":{"value":{"entity-type":"item","numeric-id":5316609,"id":"Q5316609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$33E0454A-028C-4D33-A105-7ACF158E138A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1df672fbbe25f8544c9b4a7e90aeef67bbbe756","datavalue":{"value":{"entity-type":"item","numeric-id":4167561,"id":"Q4167561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$4EEE45E4-A35C-41F4-9820-50E171935FD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8644085dc338e94441e4950d7916ca4efdac5bc","datavalue":{"value":{"entity-type":"item","numeric-id":5145201,"id":"Q5145201"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$24522CE3-DF7A-441B-B067-3279577ED3BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a91c93708ccf4825a772586348a71e8014670c8b","datavalue":{"value":{"entity-type":"item","numeric-id":4369947,"id":"Q4369947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$AA2F1E97-6597-4696-9D82-4AED36E23490","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a72d62391449a09ef4c07887febc61402ed34d84","datavalue":{"value":{"entity-type":"item","numeric-id":4137890,"id":"Q4137890"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7032170$7770251F-2EDF-484D-B233-668057683496","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Intermediate value linearizability: a quantitative correctness criterion","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Intermediate_value_linearizability:_a_quantitative_correctness_criterion"}}}}}