{"entities":{"Q5899083":{"pageid":8002627,"ns":120,"title":"Item:Q5899083","lastrevid":93309647,"modified":"2026-06-05T04:11:04Z","type":"item","id":"Q5899083","labels":{"en":{"language":"en","value":"Foundations of Software Science and Computation Structures"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5148084"}},"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":"Q5899083$10BEB681-8F1D-40A5-A0F0-A957F92D9E8E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7022adc7a998784c7d89ad5b919544c80670bd41","datavalue":{"value":{"text":"Foundations of Software Science and Computation Structures","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5899083$7CEF56F5-D3D2-463C-A4A9-6323F0113E00","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64b769eec23b2390bc41521bbc72ecd8d30adac4","datavalue":{"value":"1180.68066","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899083$F94F2B56-F97B-4F3B-A79C-37A1BA991192","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b79fe47e9ec6f30aa1852099b2b772bfadee6585","datavalue":{"value":"10.1007/11690634","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899083$1466BB02-C5AB-4B83-BA5E-F6BABA7F68D7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0dd042ad138bf8d7014aacd608dfa44161d3d348","datavalue":{"value":{"entity-type":"item","numeric-id":2936241,"id":"Q2936241"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899083$EEE9E231-B5CC-476F-A4D4-CBE88DF7C53C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"28f19472be0d635d36d2e1085e324fff1c2ab103","datavalue":{"value":{"entity-type":"item","numeric-id":856918,"id":"Q856918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899083$9F8497ED-E60E-4615-B4E1-2D94EAEB6FB0","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899083$F1CDBAA9-874F-4084-A347-66D843B7F8DC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"76e690768584aa88840deb200205c30c45e627e4","datavalue":{"value":{"time":"+2007-05-02T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5899083$3BE69D42-5C4C-4E5F-A210-8D18673B6311","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"62ff42057022552eaa82447a5a1563ef3bf93acd","datavalue":{"value":"68M14","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899083$AEF44950-FC83-48FA-8A99-DD20E667DECC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899083$1FA21B5F-A82A-41EB-92CD-D95095CFB48A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1b6b697e06d043f7d53eec4023c0797c316e8cc5","datavalue":{"value":"5148084","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899083$20425CB9-16AB-49E6-8539-9F3E9D226F02","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"11933fc5acb819521ac3f82d86c8ae54d4877932","datavalue":{"value":"remote attestation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899083$4ADB126F-426E-47C3-9527-E3C22D856E73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a922fb0c12c864b3ff29e582c954b125d3389675","datavalue":{"value":"code-identity based access control","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899083$6A84BF71-00FC-4E53-A237-49004C7DEA8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3f0f6fc816818c56dc4e5075a08e70275365f733","datavalue":{"value":"policy establishment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899083$2DC88CBB-21B8-43D7-BC5B-58FA41C3F4BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0fe23a7b687ebeef392c4803ce1791f483360494","datavalue":{"value":"key establishment","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899083$25F0AFB8-5878-4212-BDA2-0899B92AE1D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"655cd682a4adbd6541d5cee97296a1d75bee9632","datavalue":{"value":"\\(\\pi\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899083$C1D1FE8C-EFAF-4575-BEF9-D2194A2C15C6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"642ea071dba25a9d2c15e754ad525dcdf63eb739","datavalue":{"value":"Next Generation Secure Computing Base","type":"string"},"datatype":"string"},"type":"statement","id":"Q5899083$09652D8F-D194-4738-82B1-EA28526C1238","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"0fb540d169436ff667431a2845e3cb1d423de444","datavalue":{"value":{"entity-type":"item","numeric-id":21054,"id":"Q21054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5899083$6AE2F558-798A-4DD4-BC85-DF33585DA963","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":"Q5899083$3731E0D7-6F39-4373-AEDA-F9C0F5F4DE9A","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"653391110adb2dedd2810758db3edfb42062105c","datavalue":{"value":"https://doi.org/10.1007/11690634","type":"string"},"datatype":"url"},"type":"statement","id":"Q5899083$8F131AFB-BFDC-4F06-B6B8-B533379F974E","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a555cf84ff9fbda92e472b48eb75b4609cc14000","datavalue":{"value":"W2504714231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5899083$41F4EBB4-8C90-49ED-8FBA-95AEA43449B4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e185ca99ef5284d158a976e77abef0cbb6c21c0f","datavalue":{"value":{"entity-type":"item","numeric-id":3185380,"id":"Q3185380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"647489ec358f5f3b3a41efaee9376c5c9e667df8","datavalue":{"value":{"amount":"+0.7162536382675171","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":"Q5899083$34732592-ADFF-435F-AB33-93C640BC7CDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"709e12a7c051a31c844f16f4bfc3456496cbe38f","datavalue":{"value":{"entity-type":"item","numeric-id":3540143,"id":"Q3540143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9621e88b618c2b618714a38f8a271d1317b4e445","datavalue":{"value":{"amount":"+0.7151530981063843","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":"Q5899083$BC2755FF-6EFF-40DA-A2EF-27C21D469028","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"62de49a09693b1ba5f4fa3ac3f61abd9c1971eeb","datavalue":{"value":{"entity-type":"item","numeric-id":3589834,"id":"Q3589834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"460fa8f3973e5eedaa9d5941a3a9727ae715a546","datavalue":{"value":{"amount":"+0.7083672881126404","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":"Q5899083$EC7BCD7D-E9A1-46DF-8F8E-8B5698620225","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3952d0e1362ba6d35707d0576c9a54c88e8f3c42","datavalue":{"value":{"entity-type":"item","numeric-id":3000581,"id":"Q3000581"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fc221333b1b4d7bb6b8b083fed9642585e5de460","datavalue":{"value":{"amount":"+0.7012767195701599","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":"Q5899083$F8509C2D-13A5-41B0-B1F9-29D2570FE010","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f483c81ad9f52c18a47187e5dfc7d01ef6eb5fed","datavalue":{"value":{"entity-type":"item","numeric-id":2517830,"id":"Q2517830"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ed970dff417288ea861b60c83e04208ba0d7eef9","datavalue":{"value":{"amount":"+0.6988085508346558","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":"Q5899083$BC7D8ED1-C482-47C0-B42F-301812A58D57","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Foundations of Software Science and Computation Structures (scientific article; zbMATH DE number 5148084)","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Foundations_of_Software_Science_and_Computation_Structures_(scientific_article;_zbMATH_DE_number_5148084)"}}}}}