{"entities":{"Q483292":{"pageid":485059,"ns":120,"title":"Item:Q483292","lastrevid":62278713,"modified":"2026-04-11T05:00:26Z","type":"item","id":"Q483292","labels":{"en":{"language":"en","value":"Bounded semantics"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6380848"}},"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":"Q483292$6FFF678A-C804-472D-B9B5-8FC9F7FB6444","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"83ccfc0a0569f481a270a8d102e594e90666c143","datavalue":{"value":{"text":"Bounded semantics","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q483292$E078026F-AACB-42F8-ADB6-450A6C90F016","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"55802f2c3a4b6e768eac84940e915d14b9aa6f47","datavalue":{"value":"1317.68105","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483292$D59CBF17-F26C-40C6-AC05-57595930C13A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f3c424cd94a60f9664f9fb69cc6027e75cc7ff3f","datavalue":{"value":{"entity-type":"item","numeric-id":123643,"id":"Q123643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$813EBAEA-4F3A-4926-B383-EC38821B0690","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"60a960b53f7480718fd109778a6b9c42c77a6806","datavalue":{"value":{"time":"+2014-12-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q483292$EF6C4DE8-A558-4536-8203-583ABC232C2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483292$D742C59D-9B13-43BA-94D8-BED9F27D358D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e2244b32b83bf71a9c045223e635ab074452b389","datavalue":{"value":"03B44","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483292$F77193CA-AC2A-442D-B51C-4A4106B815DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483292$35E68DE2-199A-4EE0-8151-8BFC563E3444","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bdc8bdd3e145c6eadcecc30295b635db738be62a","datavalue":{"value":"6380848","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483292$6720D092-D65B-401E-AB6C-E95D42CE6881","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f02f4db7bd17ba3fbae1be6bcee13dc9e5aa86bc","datavalue":{"value":"formal methods","type":"string"},"datatype":"string"},"type":"statement","id":"Q483292$F3C758CC-5C75-43C5-AA28-8D8BB00725D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8b4804225ce369eb1d5773935b377190245c3fb8","datavalue":{"value":"formal semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q483292$79E4EE75-5894-4CFD-949F-6B426E26F719","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"29969024951742333756fd82d2bfa16b06fff05f","datavalue":{"value":"temporal logics","type":"string"},"datatype":"string"},"type":"statement","id":"Q483292$F8D73F8F-9AED-4CB5-BCC3-9B5556ECCBAF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q483292$91E487FC-A807-4951-A92F-2038E62D10DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2b746efc66121bc1fb497da4ab39b83b5cd2f4c","datavalue":{"value":"program correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q483292$11704F1C-6D1C-4183-8DAE-9AB46F8C7285","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"700a7ab3c2173bf5b546ffeb63a43807e035e8a6","datavalue":{"value":{"entity-type":"item","numeric-id":250171,"id":"Q250171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$3511BA13-C5B6-4229-A817-7D51A6A6A3B0","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":"Q483292$5C644B57-FF16-4280-9219-C5A8342AC050","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b3d80f65826c68aa26facb2efdd4b8aad59ba4f8","datavalue":{"value":"https://doi.org/10.1016/j.tcs.2014.10.026","type":"string"},"datatype":"url"},"type":"statement","id":"Q483292$58B88F62-A391-4C7D-B6DC-F34C57A734CE","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6b37b3836d31aaf009492dab759340b402258e33","datavalue":{"value":"W4206146107","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483292$B9596B5F-C61A-4279-8BCF-59EE1E527A96","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a37306c96b6705e429c4b632a826ef025e4fee5","datavalue":{"value":{"entity-type":"item","numeric-id":2848677,"id":"Q2848677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$AFD5D9D6-1C7D-4BA9-94DE-D1C396CDEBEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b0c7436976c5b9893e05c1462fed16a80d7904d","datavalue":{"value":{"entity-type":"item","numeric-id":5322945,"id":"Q5322945"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$32CB1865-8006-4581-8B75-EB3AAAE61072","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9203382626459f5403873175e80fa3a2e850886f","datavalue":{"value":{"entity-type":"item","numeric-id":4417910,"id":"Q4417910"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$B2A8D535-A8B4-4595-A258-52C315672A24","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9989385b6d21787669f1b90c6937d74a8a738ea","datavalue":{"value":{"entity-type":"item","numeric-id":5310676,"id":"Q5310676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$7DE540FB-CB93-471A-913C-ED815577DCDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"88b30e46904d4d449220aeb90f9bedbca347d9db","datavalue":{"value":{"entity-type":"item","numeric-id":1007589,"id":"Q1007589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$8BD8D7A4-6A1F-41DD-B15E-66B857A402AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d0863918228d158fae088a6efc6f79f2c8e8057","datavalue":{"value":{"entity-type":"item","numeric-id":3724245,"id":"Q3724245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$87C2E607-662B-4007-AA85-3286F2FF4A9C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e9d760b56e81829535236b574ab4988cdae3b4b","datavalue":{"value":{"entity-type":"item","numeric-id":3417010,"id":"Q3417010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$99DE3E3D-E9ED-40BA-99E5-07F3C2AA4E82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2bb9167a15a02d50f8531d7407b8aced98fa4dc9","datavalue":{"value":{"entity-type":"item","numeric-id":3336675,"id":"Q3336675"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$8324FE59-EB09-4AC0-A78B-08A3C54AA19D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cdaa2ec8eceac1d3a0c164dd76be4ed6c68bc4d","datavalue":{"value":{"entity-type":"item","numeric-id":5946344,"id":"Q5946344"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$D241AB3B-409C-44D5-A38B-461FC363033D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"61774d9849f10e1dd86ae551842bcf10d090eb09","datavalue":{"value":{"entity-type":"item","numeric-id":5901905,"id":"Q5901905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$3F831F72-F4BA-4EDC-8A83-0791000033DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2cd56f820547becaf1640ba57e415b67b2dccf11","datavalue":{"value":{"entity-type":"item","numeric-id":3766825,"id":"Q3766825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$AFA74AC2-BD8C-486B-967E-A29C99A076BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7f5f3cd0c0fdd70d2eae3e5f69e2ee0aa687d8a4","datavalue":{"value":{"entity-type":"item","numeric-id":5716540,"id":"Q5716540"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$72629757-C97D-4C70-A362-F72177775669","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"86f70427d1bec1892856b306a28600257c0fb1f9","datavalue":{"value":{"entity-type":"item","numeric-id":3408862,"id":"Q3408862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$827F6045-DD64-41A0-AFC6-E0269FB5743B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"58569cfcb63db51abd33ef3dfc3dfca274845b33","datavalue":{"value":{"entity-type":"item","numeric-id":4744245,"id":"Q4744245"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$F3E450B6-552D-429F-98E0-89B5CA096C47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87957d20676b341fc2d415efa4c896e75ab57ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$AFE2BF4B-A46F-49DF-BADB-9A3840975B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7bb45f7d6639f84b527141fafd39e33affb92f14","datavalue":{"value":{"entity-type":"item","numeric-id":1028970,"id":"Q1028970"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$D689CFF1-D0E8-4F18-BEBF-6E8500E95E57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d4093671326f1c81e694f7172a9dea13ce7988c","datavalue":{"value":{"entity-type":"item","numeric-id":5325883,"id":"Q5325883"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$DEE008E8-5344-4B68-891C-6D56CCB557A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03f882972e0d4020177d8ec9773323d710a3e89a","datavalue":{"value":{"entity-type":"item","numeric-id":3141897,"id":"Q3141897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$59949F0E-C008-440B-B3B9-0CD6F0E89DE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ed7f5135c5ce9e5fab4f02c906a9b2b56f6abaf1","datavalue":{"value":{"entity-type":"item","numeric-id":4553254,"id":"Q4553254"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$5A86DA2E-5972-488A-A192-72167280F755","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f746658d1b249a35120427b20e3d72936e3691a5","datavalue":{"value":{"entity-type":"item","numeric-id":3510810,"id":"Q3510810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$59F70C33-C1F7-46AE-9E60-616A894FD79D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8090368e0e1c2bca919f00e317d355cf1aa8d484","datavalue":{"value":{"entity-type":"item","numeric-id":3907077,"id":"Q3907077"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$F2B4179E-0CFA-4D68-9C68-D68EFB64712C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"532d00baba3db8efca7b5c7c2b1e32a4dfd42f0d","datavalue":{"value":{"entity-type":"item","numeric-id":5942575,"id":"Q5942575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$9A5AD516-E627-44CB-90E4-4CBFF65AFD62","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62bf56316f400add0d0fd24e4ac8769d1d269f45","datavalue":{"value":{"entity-type":"item","numeric-id":3146278,"id":"Q3146278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$CB18F129-E941-4471-B922-63B40756A299","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a1aaf18aaa730df99b97f0889246a3b34804b8","datavalue":{"value":{"entity-type":"item","numeric-id":3168196,"id":"Q3168196"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$032A0017-B38F-4B53-9935-EDBC67277FDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec785066f721fdcdca6ad8622011c52b3fb6052d","datavalue":{"value":{"entity-type":"item","numeric-id":1158954,"id":"Q1158954"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$CFBE7CD8-3F03-4823-975D-E89D81114D23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8e3d5efcad955e9874c3cad0d3e003718384f33","datavalue":{"value":{"entity-type":"item","numeric-id":1143164,"id":"Q1143164"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$9B12A0B8-3340-41B3-B3EC-69116993DDE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b60bd5e31f9ae9f1564921464f5fc21a2b45225","datavalue":{"value":{"entity-type":"item","numeric-id":5479152,"id":"Q5479152"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$E0542B08-1039-4426-A8AA-3857FE08B46C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a561ea5d3c712d8c4918f50b9db6f8fad2ca0c8","datavalue":{"value":{"entity-type":"item","numeric-id":4654277,"id":"Q4654277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q483292$77C921C5-EC1D-459E-8A1C-DCBA7A210C0E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f11cbbbd39f9dc58b9465754728c7dab0b83e7aa","datavalue":{"value":"10.1016/J.TCS.2014.10.026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q483292$1803FA6B-AFAE-49AA-B8D8-47611AE83AFC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d9bc0d0a982a32d3b01e7797b4f0d8f4a290eca8","datavalue":{"value":{"entity-type":"item","numeric-id":4925273,"id":"Q4925273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee135a9523e473ec2da9f978ccd2554df1f4b644","datavalue":{"value":{"amount":"+0.7406410574913025","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":"Q483292$DC5B03AA-D931-413D-B8C9-18655C18FC50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4a2020a09089050fd9931facdaee62f5484d713b","datavalue":{"value":{"entity-type":"item","numeric-id":5392295,"id":"Q5392295"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f53792f6a25fe01f42dbca61b78a4686292cea7d","datavalue":{"value":{"amount":"+0.7366954684257507","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":"Q483292$24C5F2A9-91F9-40B6-BEA8-36D61CFFB8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"297f9a57f303c8c036d110ba8003ae3808693f2e","datavalue":{"value":{"entity-type":"item","numeric-id":5422273,"id":"Q5422273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4d0e3a11029962176ff74033ac7bfe07767dc7ca","datavalue":{"value":{"amount":"+0.7315712571144104","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":"Q483292$7158519F-8787-460A-B4F8-5AA207DF10F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"486e18bd3bea54ba4a5a3715d321e625b1a3a6e9","datavalue":{"value":{"entity-type":"item","numeric-id":3510810,"id":"Q3510810"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8df0689add56005480515ed953db8c4aea4f4f80","datavalue":{"value":{"amount":"+0.731400191783905","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":"Q483292$0397687F-CF52-4301-A4F2-6D7E02A9B0F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a1c489f65f34ecbe5c2502f5cc2493ff9d91b01b","datavalue":{"value":{"entity-type":"item","numeric-id":2996151,"id":"Q2996151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c97472e55dd241b2dba69819b4dc6e7d23de34ef","datavalue":{"value":{"amount":"+0.7296136021614075","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":"Q483292$95C8679C-5E92-4A68-AE5D-24E06CE738E6","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Bounded semantics","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Bounded_semantics"}}}}}