{"entities":{"Q3340119":{"pageid":3350827,"ns":120,"title":"Item:Q3340119","lastrevid":48747157,"modified":"2026-01-05T18:47:01Z","type":"item","id":"Q3340119","labels":{"en":{"language":"en","value":"Some applications of topology to program semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3874580"}},"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":"Q3340119$5EE177D6-BA53-405C-B216-726F01F9F22D","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"99af3dffb3e14f95e4c643bc03a82a6d5d81ea19","datavalue":{"value":{"text":"Some applications of topology to program semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3340119$8006EC36-245B-41AC-BF08-75A5337020F0","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d66a962ae6f5d40f1b84c97656bd8ee49a0b20d0","datavalue":{"value":"0548.68011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340119$44CA2B2B-C55C-4242-B482-9CDD1679DB31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"097bf2d888c571d2b5c0ec19eae6d9dc8198bdac","datavalue":{"value":"10.1007/BF01744573","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340119$73705058-1D3F-4AA1-A218-BF39BC32B5A2","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6e99c5cadeb49ba2d1164b9f9e186439f77825dc","datavalue":{"value":{"entity-type":"item","numeric-id":230000,"id":"Q230000"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$27F1EDE8-710D-442C-81E0-C6166598A4DD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$75AC5995-7273-4FDC-8DC1-EE44BED0DD8A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3340119$076E6BFC-AF26-4942-A73F-3DBEF194F511","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340119$5C574E6A-4396-4E00-BC46-421A0177E328","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"798cc93af1af672fcddaa0ab93cef1e0a30d7b36","datavalue":{"value":"06A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340119$9FD1FB32-1D28-47DE-9868-3ABFEF83D1AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e05f4c807af05854d500c4e5815975863e4843a7","datavalue":{"value":"06B30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340119$5680EBB9-4DED-456D-BBFD-78B8D69A150E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340119$78819DDA-E4AC-4333-AFE1-71FCFB909641","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e037813de56311048f7e0a208650360505bf4d4e","datavalue":{"value":"06A06","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340119$657522AD-8B8E-4326-9D8B-0EB1E3303BBE","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"7f1325f3937656dbb26620c6fc1bb72d98e8016c","datavalue":{"value":"3874580","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3340119$B1009279-611A-4338-824B-97112237CFEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae1478f0080b70574ea441c7d2a3b6db779c2f9c","datavalue":{"value":"program semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340119$23F1E823-0FB9-4109-AE3A-EFF2650259BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c77526ca6ed45a4455cf978fe76b2d850ce91b19","datavalue":{"value":"partial correctness assertions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340119$0B943F20-176D-494D-B7AB-F89DF0D1BD80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7578b038a259e5bc1908dc999ebeaa3bdad3b25c","datavalue":{"value":"Galois connection","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340119$9D940F6C-177F-4F16-ABF2-ED476A0964D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d79967b55a5c2910d817f3bec9619c4ddc1a48d3","datavalue":{"value":"Lindenbaum topology","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340119$D56A9368-227C-49C1-BAFB-8ED6114D6C3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d8482bb71bcbc6877a3275974e17df61174d644","datavalue":{"value":"incompleteness of Hoare logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340119$B4A00FEF-6F9C-4870-BB88-863FD7D401FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"31d2faeb57b57f360251067fd610e199173399d9","datavalue":{"value":"relational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340119$8A3CEAD5-358C-47B8-9B95-FAFB709A5D5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4b169b1699229a8c5fbf02482d2929e3f277a932","datavalue":{"value":"modularity of programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340119$43C38BB9-7006-4385-A47F-34FA7C2D8F94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"358462202abdaf615b501181bc7caad711a809cc","datavalue":{"value":"rules of inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3340119$DD65D564-ABF2-4A7A-A45B-705E2380651D","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":"Q3340119$C5771EA2-8D37-48A9-B8B9-052BCE453B85","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"01f2bc507607ffddcaaffe1b4c02781fd7322297","datavalue":{"value":{"entity-type":"item","numeric-id":5841991,"id":"Q5841991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$C366D40F-C851-4CD9-9EA1-2AE0C489AA9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"866d2d220e960a39a513be586bc56706e2aa25c2","datavalue":{"value":{"entity-type":"item","numeric-id":3851588,"id":"Q3851588"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$DD40C162-A7F9-441A-A96C-F263EC0ED1B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e2c71c26bf7e075dc23cee40b3135f1af13e67a2","datavalue":{"value":{"entity-type":"item","numeric-id":4151703,"id":"Q4151703"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$BF7E5874-EB0C-4915-B3BD-92419C17E3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"668a8637c081f79751e1e57f52557e1f7bc7f98a","datavalue":{"value":{"entity-type":"item","numeric-id":3274971,"id":"Q3274971"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$D3E803B4-7E65-4689-872C-63C8847E24D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16e5b695b8f7fcd68840f26050ce4154c563c397","datavalue":{"value":{"entity-type":"item","numeric-id":3925146,"id":"Q3925146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$CAE15DC6-0961-42A0-8473-77AF063ADF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5710cd0fb8b5907d40eeada6e14d4018e26669a5","datavalue":{"value":{"entity-type":"item","numeric-id":1255942,"id":"Q1255942"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$FBAD49E5-244C-4A83-93C4-9454DB99D9AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"eb3ca9fc3aae0e682a4fb157c408b25328a8cbcf","datavalue":{"value":{"entity-type":"item","numeric-id":2561836,"id":"Q2561836"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$C3828FD7-0D37-4E1C-83AF-27B3E9B068B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"678f6c25497d4da339fb86fb797a401000099017","datavalue":{"value":{"entity-type":"item","numeric-id":4095834,"id":"Q4095834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$94EC692C-68AF-44D5-90EA-FDEACF1B82D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5afde341e35903811a19e6223528d6898a49b5b4","datavalue":{"value":{"entity-type":"item","numeric-id":2543556,"id":"Q2543556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$2DCB9F7C-33C4-499B-86A2-6D30D62FDDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c25e95fd75b91ec2b0f3f17b94e3863b372aef85","datavalue":{"value":{"entity-type":"item","numeric-id":3936170,"id":"Q3936170"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$1728E7D0-6CEC-49DA-BC40-68883881FBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"75b90cc3efc6ff30de2c7ce0a376179d4c3541ae","datavalue":{"value":{"entity-type":"item","numeric-id":1158140,"id":"Q1158140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$1FD8F021-F339-40BB-B94F-FC7C3C6540C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b9e58509c58589e7e9ff957b836ae2fde24359d4","datavalue":{"value":{"entity-type":"item","numeric-id":5834612,"id":"Q5834612"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$115D58B5-1930-4F6A-BB9F-14BC9B1A7B72","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b7cc037171281dee297950d20bc90e1ffedf1938","datavalue":{"value":{"entity-type":"item","numeric-id":3922159,"id":"Q3922159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$717D5805-758C-44E5-819E-1DF3BE103D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f2f3b266006d5ca5e7983c9ede9ecb01365bcf30","datavalue":{"value":{"entity-type":"item","numeric-id":4745239,"id":"Q4745239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$53F39888-CA7F-461A-9868-8D4ED22216FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"66d5e8d6db3d1b7fb9f2df4076deabf4870b5a8c","datavalue":{"value":{"entity-type":"item","numeric-id":4140350,"id":"Q4140350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3340119$52E537B2-C6B3-467C-B1B9-65C8FF4933C0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9910f779e110a2cc3715c129b01a2ff86df4d43b","datavalue":{"value":{"entity-type":"item","numeric-id":1271111,"id":"Q1271111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"51faec18ab837a535ca451197208c8da8ed392b5","datavalue":{"value":{"amount":"+0.7945773005485535","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":"Q3340119$2A5F47EE-C6EC-4E76-B2D5-F26283B87B21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4e6198f06c6f82fae4ba866a934a0cbf9c170ce2","datavalue":{"value":{"entity-type":"item","numeric-id":3707364,"id":"Q3707364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ae3610c2a267e5885ba4dbf6eed34eaab1dc1759","datavalue":{"value":{"amount":"+0.7944216132164001","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":"Q3340119$72AAC925-7E4C-410B-B6A0-8FA59EE07F01","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8efdf3a21ea57529d4367f0e65385bc92e048c24","datavalue":{"value":{"entity-type":"item","numeric-id":2707309,"id":"Q2707309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c073048f13a1a1361ed4c837ce4d968edeba8cd7","datavalue":{"value":{"amount":"+0.7849933505058289","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":"Q3340119$31631539-8BDE-40AC-ABF4-39AB5DF134B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af44f3cd7fb0a4d7d5fdddd36e27db2e9375e1fc","datavalue":{"value":{"entity-type":"item","numeric-id":3758891,"id":"Q3758891"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c073048f13a1a1361ed4c837ce4d968edeba8cd7","datavalue":{"value":{"amount":"+0.7849933505058289","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":"Q3340119$00A5B96A-C6D9-406B-885D-11A851F60E6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2d1513c92bdedb60534ccf5c31e99c384ee0963f","datavalue":{"value":{"entity-type":"item","numeric-id":4853319,"id":"Q4853319"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"130d963e7f24cc13a87699ff0f1ad941fc169214","datavalue":{"value":{"amount":"+0.7758438587188721","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":"Q3340119$D9ADE12C-C2F2-4C2A-A0A5-DCD7F6A5DA50","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3340119","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3340119"}}}}}