{"entities":{"Q4912884":{"pageid":6942463,"ns":120,"title":"Item:Q4912884","lastrevid":90952880,"modified":"2026-06-04T21:52:51Z","type":"item","id":"Q4912884","labels":{"en":{"language":"en","value":"Syntactic soundness proof of a type-and-capability system with hidden state"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6149100"}},"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":"Q4912884$14A504C5-D9F5-49AA-9874-941519D4F83B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"818c73c117e503d02e0ab6fb86d2455f5304da59","datavalue":{"value":{"text":"Syntactic soundness proof of a type-and-capability system with hidden state","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4912884$15CFE542-F36F-4607-B853-A4FBFA32AE31","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"f56301a543c6736b1b20f41a1b775f76ba68e5ff","datavalue":{"value":"1262.68031","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912884$89FFC315-0B5A-4F88-93F1-97102992D255","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7e6afd61da5bc9914faa26baeffc53a9d51efcd0","datavalue":{"value":"10.1017/S0956796812000366","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912884$893977F7-7258-4B78-8F12-F9C4247406C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"4e100a9ec349c9a09af054c90a9680f202a82f59","datavalue":{"value":{"entity-type":"item","numeric-id":670698,"id":"Q670698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$DC6992E3-DBD9-49D4-BD09-AB930163383D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$21323400-B834-4F94-A7A0-7D9405C245A8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c1367ad7cbadc1870b58b208d8a9f406baac6ad8","datavalue":{"value":{"time":"+2013-03-28T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4912884$2B159C15-A95D-4F96-9258-71367BECF774","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912884$4F8DF8CB-59F6-40D5-85CC-D9D4F3B9097E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912884$7AAFDA14-EC87-4E7A-A9F1-56FF64B3FE38","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912884$66D92711-AC5A-489C-85D8-47C01E640254","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9d1ef3287bba95f76bb372ee8c13eebebf7a9d68","datavalue":{"value":"6149100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4912884$4FCD899E-3240-4CD6-8563-9E1637CD71D5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d6e89170489e5fd4b9b3edeecb85a6bbaf944155","datavalue":{"value":"monotonic separation algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4912884$9D87BC5B-2FB8-459C-B272-E4127DCC7E9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"38830cd28b7a991188a648c10bbf518bf5b924fe","datavalue":{"value":"machine-checked proof of type soundness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4912884$4C1D6DF6-93C2-4B2B-84EB-F502C9F1D58D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e916eb1dc395e3830d6317d3e8aefcb052d11440","datavalue":{"value":{"entity-type":"item","numeric-id":21785,"id":"Q21785"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$9F649404-2B0C-46E5-A2FA-F2BA3F349417","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":"Q4912884$D46B7399-665B-4B3D-B0FD-A29C4C41827F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c012672e7c126ba7b33abdf4d0ab516498fc775","datavalue":{"value":{"entity-type":"item","numeric-id":2392482,"id":"Q2392482"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$C2A3CAA1-D67C-40BD-A07E-054AD5785E5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e72a7b0d993ee9e19852c35d9e1327c2f5072bcc","datavalue":{"value":{"entity-type":"item","numeric-id":1334643,"id":"Q1334643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$6451CB7F-92BA-4612-B2A3-E252CB5F04E2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9db457c46a75b20727f84612ba0607e2d094d824","datavalue":{"value":{"entity-type":"item","numeric-id":3498431,"id":"Q3498431"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$E0920B21-7B9A-4BE8-92E3-C0D829DEE28A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b53bfb37fe602f705f7ac3035d6e39506bd227d","datavalue":{"value":{"entity-type":"item","numeric-id":3614718,"id":"Q3614718"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$5816F43A-EE39-4660-847D-B7D472A6BAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11661abb82a22252f9caeca920e1f09c666b5441","datavalue":{"value":{"entity-type":"item","numeric-id":3988831,"id":"Q3988831"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$0E10955A-B452-4FDE-9DAA-9305528933E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ec596191c58c0192912d43559518df53cc026d8f","datavalue":{"value":{"entity-type":"item","numeric-id":879368,"id":"Q879368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$C34DB9AF-25B7-46A6-8A1E-0AFFCE99F52D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"882c8be91e9dd6a679904905a7a40337caaa7a1b","datavalue":{"value":{"entity-type":"item","numeric-id":1341754,"id":"Q1341754"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$AA62F93A-6438-4748-8B6E-4EB69E8DD47A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"49fa5b39ffa40b318449c3af5a336d8c38885f30","datavalue":{"value":{"entity-type":"item","numeric-id":3546051,"id":"Q3546051"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$6D4E5FEE-459F-430D-BCF6-1CDE77E7C333","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8fac7c6d05f114a4ae2738237ef25b8c9ead77ff","datavalue":{"value":{"entity-type":"item","numeric-id":1945914,"id":"Q1945914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$249255AB-CBF9-4D19-9439-DEC57C13BDDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$29FB80CF-7AC9-4C15-89E2-FB953330F493","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e7a2e1ce4506e86743a2f078e8b0fbf6f0360fbb","datavalue":{"value":{"entity-type":"item","numeric-id":5739354,"id":"Q5739354"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$BFC0A17C-64D0-401D-9DDF-B27075BA2FC3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4feea37c535bd22cbdd726fd39655db123c9a3f5","datavalue":{"value":{"entity-type":"item","numeric-id":928672,"id":"Q928672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$968514F0-9417-46B1-8E38-F7DAD65CC7D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46885738eb9c25c83e271ce0dd92e7e9f6b8d283","datavalue":{"value":{"entity-type":"item","numeric-id":3776602,"id":"Q3776602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$8CA59762-2D09-4EFC-A318-06257EFE08A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7870a038e1502bdb263b4bf7c45a07f42ba546e4","datavalue":{"value":{"entity-type":"item","numeric-id":676777,"id":"Q676777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$E7A5274B-2517-42B1-A8F9-ACF70C4D7DCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"22c708f9a64c92fd4de4427f3b37941fff68141d","datavalue":{"value":{"entity-type":"item","numeric-id":3094178,"id":"Q3094178"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$B5FA1711-DEE8-45B4-BFDE-8762BA0C0D0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a17c4379c86a96dcc7980a8094e17013458d89a","datavalue":{"value":{"entity-type":"item","numeric-id":3583027,"id":"Q3583027"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$4A434413-F5C4-4D26-A6BB-480A676F20F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0c83b45249e4a1012c047b173e9b0c1ca6829076","datavalue":{"value":{"entity-type":"item","numeric-id":2500689,"id":"Q2500689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4912884$84E06E86-250D-4061-80B3-F6794BE6F9FE","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7679736ce64931ed1e7569f147babb53a9deab89","datavalue":{"value":{"entity-type":"item","numeric-id":3189790,"id":"Q3189790"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7ad236044c68a3896bbeb2014b92a33528097369","datavalue":{"value":{"amount":"+0.709627628326416","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":"Q4912884$AA4E5A6C-4BE4-488E-AE27-E13FFF3AE520","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e827e56b7b643126c7b648d889d7aa5d27d5db28","datavalue":{"value":{"entity-type":"item","numeric-id":4911302,"id":"Q4911302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2dd40aa1f988f52d9b8620457c6d73e73a26a2ed","datavalue":{"value":{"amount":"+0.7065996527671814","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":"Q4912884$DF407F14-AFEC-4F71-B85C-678D9E37C0B9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c880d310ee92ccb53413e8b36e86b9cfc8683d61","datavalue":{"value":{"entity-type":"item","numeric-id":1854515,"id":"Q1854515"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99b73c24edc640f3712c632ac4c4471ea19de3ba","datavalue":{"value":{"amount":"+0.6920499801635742","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":"Q4912884$8510990B-FF6B-44DF-BC05-EB03A2DDA8E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b923012eb702540275c430c0bd6f3906bed37343","datavalue":{"value":{"entity-type":"item","numeric-id":3557840,"id":"Q3557840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5ff50ef42b0f74f6405a6dc281a53b259a4d8597","datavalue":{"value":{"amount":"+0.6906750798225403","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":"Q4912884$90A911D5-F796-404C-A66E-89A6A4AE6322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0da7c61ce1561a81e246d8b8795544ba621da51f","datavalue":{"value":{"entity-type":"item","numeric-id":5178764,"id":"Q5178764"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"00103245f9e1bb9f810461686e72850311dd42be","datavalue":{"value":{"amount":"+0.688494086265564","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":"Q4912884$82778A4C-3EFA-4B7E-9144-56C59BE19949","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactic soundness proof of a type-and-capability system with hidden state","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactic_soundness_proof_of_a_type-and-capability_system_with_hidden_state"}}}}}