{"entities":{"Q7010077":{"pageid":21563406,"ns":120,"title":"Item:Q7010077","lastrevid":76560159,"modified":"2026-04-24T11:30:42Z","type":"item","id":"Q7010077","labels":{"en":{"language":"en","value":"Compositional refinement of interactive systems modelled by relations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 8013874"}},"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":"Q7010077$DAE41479-7838-4E14-BCE8-0500E5F7565F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2789e1355a6b71325ddb8c9cbfe27f53a1d92ea4","datavalue":{"value":{"text":"Compositional refinement of interactive systems modelled by relations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q7010077$73CAD172-5C80-4696-9636-0E99F0B3F49B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"61290307f768b41b3e1aa80b2866bf019f86acfd","datavalue":{"value":"1566.68102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010077$FD9A3EFD-555C-43DA-9C2C-B83FF6C2A8DF","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"019ba8c76fd30d4887b5823a2cde58813b66680a","datavalue":{"value":"10.1007/3-540-49213-5_6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010077$F802D693-0E99-43FE-90E8-143CDE65670F","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8fe0ba64045f6b8bc93a417d90524c47759b2541","datavalue":{"value":{"entity-type":"item","numeric-id":213032,"id":"Q213032"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q7010077$4E4C5190-3FD2-41D8-AE24-58F1DFFEF7A7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"83f0e791e64ca797fed3ba93ed16fcafd4bb1800","datavalue":{"value":{"time":"+2025-03-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q7010077$C64290AF-C9F2-4C90-A4EC-B3E90BBEED95","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010077$063E0A3C-2B77-4903-AD71-F3E6B22C318A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2b099050ba2773f1df411264fcef2d704a69cc17","datavalue":{"value":"8013874","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q7010077$D572086F-247F-4BF6-9D85-D3417C585AC0","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":"Q7010077$833A40DA-D5B3-4C3B-918C-D3CD02CF46D3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Compositional refinement of interactive systems modelled by relations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Compositional_refinement_of_interactive_systems_modelled_by_relations"}}}}}