{"entities":{"Q4783359":{"pageid":6812939,"ns":120,"title":"Item:Q4783359","lastrevid":74615967,"modified":"2026-04-14T23:36:32Z","type":"item","id":"Q4783359","labels":{"en":{"language":"en","value":"Abstraction and composition: a verification method for co-operating systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1841873"}},"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":"Q4783359$840CBEF7-5AA6-4213-B724-1830348EC1D9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"517c0cfa52e52d02f6fac1ece70f86f7043f8719","datavalue":{"value":{"text":"Abstraction and composition: a verification method for co-operating systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4783359$4DAA84CB-14C5-49AA-B1E1-7E3B6F12A08F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9aa16b166012257ea8e8cf64c8c9b1b88b8cd4fb","datavalue":{"value":"1010.68091","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783359$725B7858-5B05-474F-AE61-7B8F739DE415","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7dbd8073865b7cd378be3dba4faac1d2341bbcc4","datavalue":{"value":"10.1080/095281300454829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783359$54D8191C-4FC4-4F28-9972-FAB710545F24","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"317160eba563575f073ac799d2f377abacd3238e","datavalue":{"value":{"entity-type":"item","numeric-id":673347,"id":"Q673347"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783359$E02433E0-F3E2-4E45-92F9-C149572CC59D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"bf4b6634f9632469bbdc1cbe8731de7c57eaa30a","datavalue":{"value":{"entity-type":"item","numeric-id":1295870,"id":"Q1295870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783359$A7C7256B-375E-4733-AD99-5550AA0C9272","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6ee723769442243cde1ab3dc939096468f1ac574","datavalue":{"value":{"entity-type":"item","numeric-id":2353688,"id":"Q2353688"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783359$CC89FE6D-0C8F-43A4-BB18-94EDEE9FA8B7","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f369be2a98f7de29483ebe04fe99df00611c8593","datavalue":{"value":{"entity-type":"item","numeric-id":3065448,"id":"Q3065448"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783359$E7D50C6E-F71B-47FA-AB35-31A64A5725BA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b6cf73c80cb926fe51132043358b392232a3f30b","datavalue":{"value":{"time":"+2002-12-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":"Q4783359$1B572615-F4F4-4F85-A35C-B4D934EBCEF2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783359$33FE2585-81D6-4B89-91AD-31EA4A0C3D3A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d022d7ec8f8a90c377ada6bbdd82b669cf2d829a","datavalue":{"value":"1841873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783359$C438BD05-A61D-4D69-96ED-35FA4B762C7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b30b88dd7d8d4d3a542dd1829bf3206a53951e76","datavalue":{"value":"formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783359$F1076B95-3CA6-44F3-9DA8-7F36C199FC5D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4f38b2e684993f2c1914ef3ac1f29f48170e0820","datavalue":{"value":"co-operation products of formal languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4783359$41127D28-4CC0-4443-808D-FEA34649CE89","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":"Q4783359$7DB6BE4D-84FA-47EA-AA15-683DCD9FDAC5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ad2b69426331dbe189c4b1a053e467b3d07a9a59","datavalue":{"value":"https://doi.org/10.1080/095281300454829","type":"string"},"datatype":"url"},"type":"statement","id":"Q4783359$35F268AD-12D0-48E4-BEEE-75D39D70716B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"d7ed6b382d6f0cb84fcda9aa347508a511de8d65","datavalue":{"value":"W2089271614","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4783359$F564D399-6006-4746-802B-BFA74C7293A0","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"bedf9942225faf979656370f4108eb382224db37","datavalue":{"value":{"entity-type":"item","numeric-id":1064056,"id":"Q1064056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783359$E8AAF43E-6663-427E-97B3-E17C9930ED50","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"118b337def20aad99129592a4129251c2e27dca4","datavalue":{"value":{"entity-type":"item","numeric-id":1112589,"id":"Q1112589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783359$BF4CD833-FC29-4DCC-A0C3-7C0BD1954240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3f60db55428521e0cf5ccdeaa2bf5e3fd0ed1e94","datavalue":{"value":{"entity-type":"item","numeric-id":4326390,"id":"Q4326390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783359$E28D446B-0EC9-431E-BE47-DFCCE1600AA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0a22895447e75dad117148d7f19941991d154d2d","datavalue":{"value":{"entity-type":"item","numeric-id":673348,"id":"Q673348"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783359$813031D1-0201-4561-B428-46B481D4CF58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e13f757c377b8087f888680edf9d29ae53ed92ae","datavalue":{"value":{"entity-type":"item","numeric-id":1295873,"id":"Q1295873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4783359$DE85860E-9DA4-4595-998C-735DA7C5D2E1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ac40f8e8e13eb997ad699b6638c9f7150e713ba9","datavalue":{"value":{"entity-type":"item","numeric-id":1295873,"id":"Q1295873"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cde47327610dc0775b4abfa51a124344cb2dc170","datavalue":{"value":{"amount":"+0.8746248483657837","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":"Q4783359$974E087D-78F5-487F-BF30-9AAB28BD765F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6adc5b070698e5862d99d42f282a3b5f3015838c","datavalue":{"value":{"entity-type":"item","numeric-id":4532076,"id":"Q4532076"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"825b49e64dea41c2719804ce8e038592b03554c9","datavalue":{"value":{"amount":"+0.7687281966209412","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":"Q4783359$0A460E93-E21F-4154-9E68-92F6CC92BA18","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":"32ec3cc60becb0494be2568bd13db7d2d6a5f058","datavalue":{"value":{"amount":"+0.7312955260276794","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":"Q4783359$06402A72-FC95-4442-B2C9-529CDB7C548C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"699e4f4421b4a1db5ca3b19e6665b60a06dabc65","datavalue":{"value":{"entity-type":"item","numeric-id":5305639,"id":"Q5305639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e418463aa5b20656c61a22d8178e93ab6570294","datavalue":{"value":{"amount":"+0.7296107411384583","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":"Q4783359$83E83986-B113-41EB-BCFE-3B1A8572A2DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2a76b3577a7618bb02f9806580f51d2b7da93b94","datavalue":{"value":{"entity-type":"item","numeric-id":5900551,"id":"Q5900551"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb7dc6f5a68d8d471080f5de18a20f5600d010a0","datavalue":{"value":{"amount":"+0.7266075611114502","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":"Q4783359$369D068D-319E-4009-8957-09ADF179D5DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction and composition: a verification method for co-operating systems","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Abstraction_and_composition:_a_verification_method_for_co-operating_systems"}}}}}