{"entities":{"Q991760":{"pageid":993608,"ns":120,"title":"Item:Q991760","lastrevid":65731059,"modified":"2026-04-12T04:59:44Z","type":"item","id":"Q991760","labels":{"en":{"language":"en","value":"Closures of may-, should- and must-convergences for contextual equivalence"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5780807"}},"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":"Q991760$0F30C22E-14C8-4AFE-900F-FDB8C8790699","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a4f7eca437ab1a669abfa10a72bf539f49603b1e","datavalue":{"value":{"text":"Closures of may-, should- and must-convergences for contextual equivalence","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q991760$268EABF1-25BC-4F30-8091-FF3F497F7496","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"305cca272de7f1e46f1759170e4bd3146c07c13e","datavalue":{"value":"1209.68308","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991760$1EB19C11-E9EB-41A4-99F3-9340C4C0A197","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3211ec0fd031f0134e24af3ce5cb141879b2940d","datavalue":{"value":{"entity-type":"item","numeric-id":352944,"id":"Q352944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$3C4D2FC2-F8EE-4C20-BE74-F320A58F80B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d0c8e7fc7107924c2bbe29f5a4f74a049a1ff57","datavalue":{"value":{"entity-type":"item","numeric-id":1110492,"id":"Q1110492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$6335D3B3-022D-4CBE-A7FE-AC5461BF999E","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$7F5ABE21-D07E-4D89-94B9-8583BD6FAADB","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2243fd9e92593f5db7a6acc36a5542d36cbb6fd7","datavalue":{"value":{"time":"+2010-09-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":"Q991760$DC46EE3D-3C66-4646-A359-9EE34B4EB7F7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991760$FA89D27B-DE71-4B08-9A9E-3CF4D9271B61","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d5bebfdb64c8c635401fe2abd51bcbff28ed763c","datavalue":{"value":"5780807","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991760$E2E9BCCD-A3FF-4598-B335-2C61C171297C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q991760$314A2FFB-1F68-49A0-8B05-584759C4F31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff5bd607face98a8a2d144348430666abf8ebc2","datavalue":{"value":"programming calculi","type":"string"},"datatype":"string"},"type":"statement","id":"Q991760$96DF3163-0EE5-47BB-9C41-4A21FF73233E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q991760$6079FE44-7670-4256-90A4-7A00AE64350C","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8f141167345ead0a6453756dbcc4af8338476486","datavalue":{"value":{"entity-type":"item","numeric-id":22046,"id":"Q22046"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$26C9598C-0ECD-409B-98BB-9EEA392BF1A9","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":"Q991760$05DEEDC9-F203-45B5-81AC-6E84AA67F265","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"383bc28fda95746b560f486bfe12453c11326606","datavalue":{"value":"https://doi.org/10.1016/j.ipl.2010.01.001","type":"string"},"datatype":"url"},"type":"statement","id":"Q991760$2839D530-DFA9-4D57-A957-FCFF703E7168","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"e02bd646aa4677ea4984711e2219de2660ae5c93","datavalue":{"value":"W2069515903","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991760$61A7B5D5-D4E6-4971-BBAD-9E19D21F033D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"f1aa493c321f05aed8353e788b6c1db3a4ef14ce","datavalue":{"value":{"entity-type":"item","numeric-id":1763728,"id":"Q1763728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$684E9C70-92F6-45CF-AE76-267BB72F7604","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b19af37d190007ff6ebc0d93b6c1957931f3dcf9","datavalue":{"value":{"entity-type":"item","numeric-id":4698331,"id":"Q4698331"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$3487F6B8-8C1E-43F2-9369-08AABFF2DDE8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4ff8d61329145c82d13d9d25665563352a89931","datavalue":{"value":{"entity-type":"item","numeric-id":5348907,"id":"Q5348907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$EBF035B9-2DF7-4196-81E5-EC50713B07EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52abab17d5a3b8f01a07edbbf5fb601777486c87","datavalue":{"value":{"entity-type":"item","numeric-id":1870854,"id":"Q1870854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$5018BE55-727F-458F-BBD2-1DCE8AADEE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"08e38a8f602ec3e243e827434419bded1ded29e2","datavalue":{"value":{"entity-type":"item","numeric-id":4645218,"id":"Q4645218"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$657CBD60-184E-4CD0-BF5B-A034FEBE5B0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"81fb4aadf90f1b421574f5486d0a65f50e43a271","datavalue":{"value":{"entity-type":"item","numeric-id":5262945,"id":"Q5262945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$DB28E48C-5E76-44EF-8CAE-9DF984C4246D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"232426b4a336ce9f56636b166cfd296a7cb0f2d0","datavalue":{"value":{"entity-type":"item","numeric-id":4225152,"id":"Q4225152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$D84920D9-4642-4B9F-A00F-B9869A00C977","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ca8e84233097140277b284dcf67324b3ae9eb585","datavalue":{"value":{"entity-type":"item","numeric-id":4813228,"id":"Q4813228"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$BBE32DA0-A09D-477F-9B3C-9051B60504A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6beb7146573df92504a1ce08ee2a606525f7208b","datavalue":{"value":{"entity-type":"item","numeric-id":865623,"id":"Q865623"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$FF90F996-8215-467A-8B41-6A30F343CBFF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6de6c4baa2462148dc7c1421fca878b906d1cfc4","datavalue":{"value":{"entity-type":"item","numeric-id":3520145,"id":"Q3520145"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q991760$69258FB8-CE2E-4535-BD82-B0534133D407","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"25bc4a8c2589cea16e9ba730af81756f731721ed","datavalue":{"value":"10.1016/J.IPL.2010.01.001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q991760$86AF3AF3-4120-4889-A63B-227D9CBEB2AC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Closures of may-, should- and must-convergences for contextual equivalence","badges":[]}}}}}