{"entities":{"Q4208877":{"pageid":6238478,"ns":120,"title":"Item:Q4208877","lastrevid":46596564,"modified":"2025-12-25T04:16:04Z","type":"item","id":"Q4208877","labels":{"en":{"language":"en","value":"Compositional refinement of interactive systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1205577"}},"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":"Q4208877$C0E574FF-257A-4F8F-8FBD-1F1EC654B354","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0ca15622d49ae67e684fbe8dd2d601eec30f0619","datavalue":{"value":{"text":"Compositional refinement of interactive systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4208877$870909C3-E9EE-4F41-AAA0-AB900A35BDD4","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8f99bd387d53a4cc7bfa643ea28fafda2aaffb1a","datavalue":{"value":"0904.68002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208877$11BAA7E0-4843-4366-9100-227943D289B9","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"27ed4f8cf824f8ead85c000b1aab7aaff983f819","datavalue":{"value":"10.1145/268999.269004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208877$32C8F361-EF90-4116-9572-C43A69F8F439","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":"Q4208877$7BCE8863-F6F9-4C4C-9B50-E117F2D383EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f12bfc80fe4a431c556e028f5134a217234a7cc4","datavalue":{"value":{"entity-type":"item","numeric-id":63915,"id":"Q63915"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4208877$F740F795-C38D-461A-BC55-14025707AA36","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b7f213e886e89b31d3c1dddd23175d896b5ccc74","datavalue":{"value":{"time":"+1998-11-04T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4208877$3EBBAACD-6CEF-4AEB-A522-1D92409D2271","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7c44fa1c3597944a6601c7493edadce5f85f8481","datavalue":{"value":"http://www.acm.org/pubs/contents/journals/jacm/1997-44/","type":"string"},"datatype":"url"},"type":"statement","id":"Q4208877$9D52A4C7-6EBA-4458-AC60-5B003ED2A510","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7a7193c7d34ccac1dd4264aac3e1fec9b3606389","datavalue":{"value":"68M01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208877$0F4501C3-2893-45B6-9842-23670ED55707","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208877$06497B67-3BF4-4F9D-B5D7-4DE8B5894A5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"640085cc331c229167379e6912aa602ad966da75","datavalue":{"value":"1205577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208877$E1E7BF03-EA33-4C1E-A2DF-F2F92484D4E3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"82f24052094adc40b9bf737ac12cee4759baaed1","datavalue":{"value":"functional specification techniques","type":"string"},"datatype":"string"},"type":"statement","id":"Q4208877$88FD7A8B-DD64-4D9C-89BB-565274C922BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"be986b582b93a797489af5243241eec92dee9a5c","datavalue":{"value":"interactive systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4208877$3964E8E4-19A8-4B58-93A2-9F12C386C922","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":"Q4208877$C810E929-9978-408C-93F3-844BB6AD0F85","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"08f864c2442f3c59da662dd9be1a7d3ad8574f48","datavalue":{"value":"W2074236561","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4208877$EB918A7B-0294-4DC5-B8A8-F0AACB5F626F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1ed6200f866a3148276bfaa93b075c3cf4879218","datavalue":{"value":{"entity-type":"item","numeric-id":2938157,"id":"Q2938157"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c1830f619de0af531e9bb81dfbeb5f6009f5aab","datavalue":{"value":{"amount":"+0.8053739666938782","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":"Q4208877$27022573-052D-4412-ACAB-9F586A62A85F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"08eeb0e96161d8f653940ed08d1239dcf5b0477e","datavalue":{"value":{"entity-type":"item","numeric-id":4493876,"id":"Q4493876"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"45d5de79e94d8f807f19545922796349f73cfc3f","datavalue":{"value":{"amount":"+0.7965815663337708","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":"Q4208877$C6B55067-2D03-4DE0-A658-3414D2EAC69D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4af847a187776bd4da2c0932513f18c2a0202c5b","datavalue":{"value":{"entity-type":"item","numeric-id":2892725,"id":"Q2892725"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"049ef41fb7017f38c550f4d542c8471a268ca535","datavalue":{"value":{"amount":"+0.781252920627594","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":"Q4208877$0FA6DEEA-6C67-4A0E-B5D6-D897B22FBC14","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8b01931c3faeff2fe755e714e2c0d66f6a887949","datavalue":{"value":{"entity-type":"item","numeric-id":4928700,"id":"Q4928700"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da2ba475c25f497d0136bba242ceea7c7b2b3f72","datavalue":{"value":{"amount":"+0.7793775796890259","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":"Q4208877$6D25B3CF-397B-4731-A5C0-12B8BCAB7C8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2bd9ab8c310ddee87ca8c7a05da1dfe575663ebc","datavalue":{"value":{"entity-type":"item","numeric-id":706509,"id":"Q706509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ef5cadbae20afdff16d28e12014b2165253fb65b","datavalue":{"value":{"amount":"+0.7792279720306396","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":"Q4208877$F0C96D9D-B357-4CC3-A4BF-59DFC864F520","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4208877","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4208877"}}}}}