{"entities":{"Q4621175":{"pageid":6650758,"ns":120,"title":"Item:Q4621175","lastrevid":53349950,"modified":"2026-01-24T19:12:20Z","type":"item","id":"Q4621175","labels":{"en":{"language":"en","value":"A logic for complex computing systems: properties preservation along integration and abstraction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7020172"}},"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":"Q4621175$CE66865D-635F-4C58-A9ED-EA2FBE354789","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"604d2c6bae8bee1cf4d328f30cbdeca672e7688a","datavalue":{"value":{"text":"A Logic for Complex Computing Systems: Properties Preservation Along Integration and Abstraction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4621175$96A3318E-C9A5-4624-8713-8E8E5053483B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"64ad6b5331387bc22f8eb84f741a508a60b143dd","datavalue":{"value":"1423.68271","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621175$25CE17F1-D27B-4397-8698-DFD7CDFF9D5F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"9faa379833d9d22ddefb92e7b51a1895fb3bbdb2","datavalue":{"value":"10.7561/SACS.2014.1.1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621175$6E6065D4-6BF7-43D2-AD8C-A879A5A18F39","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"086e12049a4f65f0db8f7826b3d43f2cf3b6be32","datavalue":{"value":{"entity-type":"item","numeric-id":359892,"id":"Q359892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621175$DE1B0752-D2FB-40AF-9A90-8CE6919EB4F1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e4661335319916222e2ba9ccae10ac5dea641a22","datavalue":{"value":{"entity-type":"item","numeric-id":493530,"id":"Q493530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621175$4968601F-EAEC-472A-8BAB-935886634995","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"28f1c5b29888d205254bb73c58fdc8777ff4112f","datavalue":{"value":{"entity-type":"item","numeric-id":4621157,"id":"Q4621157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4621175$D04DEDB1-BB05-4CF8-B32B-D2BF4F6013BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"32a6dc046c0aa99508538df457dbadf7aa620337","datavalue":{"value":{"time":"+2019-02-08T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4621175$2C4BD592-832C-4C29-ABEA-2E870F254829","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621175$EDE40971-38D0-4C7B-92C2-7FCEB345D71A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"74a6cec96241e450625296e63e8dd539239d7104","datavalue":{"value":"03B45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621175$458D769B-40CC-49B2-AE83-685D341EDDFD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621175$203E9AB9-E1B1-4E49-B0B5-5676E876CCBF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621175$0C0F30AD-39CE-494E-9450-AD44EDE737E5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621175$C5D35F33-E71D-47A3-A32E-E4F350F91B28","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0057e1a19d65509f1382e9820c950f0fd4a9d042","datavalue":{"value":"7020172","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4621175$8F91D6FA-7B95-4DEA-BB5F-24700723D961","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7556417567dfbcfbd47fc253bbfbc7a04772cf59","datavalue":{"value":"component modeling","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621175$E19B216F-B19A-4A64-A816-8817D8D92046","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b7662493be8c807e4e49fd26f7b5c47a219f3196","datavalue":{"value":"\\(\\mu\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621175$E272BF6C-EB1E-4391-969A-92F01DDAE27D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e1f5cd0980353ef12c3cca1547f9f9bc9bbd8890","datavalue":{"value":"coalgebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621175$A1DACE58-90FD-4B71-A881-15DCBA80C06F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"964bd1e448c74b34fa0b098cd6322487f4d3aa32","datavalue":{"value":"correct by construction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621175$B1474B55-4AB0-45E0-919A-1CE254D8092F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ab20a0363e682206851b94b3be1e96bb56399f58","datavalue":{"value":"refinement","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621175$9BF5E3C6-116E-40BC-9BCF-4C6954140BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e404e0d47002bfb1532cb42cfe324606a2151619","datavalue":{"value":"abstraction","type":"string"},"datatype":"string"},"type":"statement","id":"Q4621175$BF578C89-7CE9-44C7-80DC-71BD2318B1C7","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":"Q4621175$74D321FD-04ED-4163-82AD-63A8956AF330","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ef0781701ce2427796e2a01542d8b7121577352","datavalue":{"value":{"entity-type":"item","numeric-id":714878,"id":"Q714878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f13775530308f0995bc3a7fbd41798c7efbe3add","datavalue":{"value":{"amount":"+0.7466166019439697","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":"Q4621175$826D10EF-F087-43A7-9100-477BAB6EF07A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"20532c49d9d4d3ae8f294148a0e0a60cc9c87685","datavalue":{"value":{"entity-type":"item","numeric-id":1346649,"id":"Q1346649"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ee6437183399df6e0b433140e8e760bbea913e07","datavalue":{"value":{"amount":"+0.7229685187339783","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":"Q4621175$A857FA80-1EE3-4ACC-B5D6-F7688E823613","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ca4e011918a09c415d29b3a185963a0a40383408","datavalue":{"value":{"entity-type":"item","numeric-id":5044770,"id":"Q5044770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a202de58f66a87b237dcb34cabdc15f18c38e3d8","datavalue":{"value":{"amount":"+0.7078739404678345","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":"Q4621175$93606A1F-CF3D-4FFB-AB31-B9A9163903A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b60afaf33cfae45b4e4426f23eb3b7355e4bea9b","datavalue":{"value":{"entity-type":"item","numeric-id":4738308,"id":"Q4738308"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"286482cfd62bd9541e3cad42e60670f65d3258b4","datavalue":{"value":{"amount":"+0.7048815488815308","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":"Q4621175$74680BD8-0DA5-4BCA-8826-2E716F824153","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c11f0772c1208fd7ddf51ce4038b8f781a7ad79f","datavalue":{"value":{"entity-type":"item","numeric-id":3176371,"id":"Q3176371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f652570f394db1af3e5f57bbb1033df3d2da99f3","datavalue":{"value":{"amount":"+0.7029204368591309","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":"Q4621175$0C9F70D7-FBF1-4D39-A167-F37123879715","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4621175","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4621175"}}}}}