{"entities":{"Q4749185":{"pageid":6778765,"ns":120,"title":"Item:Q4749185","lastrevid":31944081,"modified":"2024-03-19T20:19:19Z","type":"item","id":"Q4749185","labels":{"en":{"language":"en","value":"Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3806916"}},"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":"Q4749185$C952AC63-6DEB-44B4-BD20-96086AD08CF3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cc6c0e45f8eecd0f1708573e99f4663497dedb7b","datavalue":{"value":{"text":"Parameterized Specifications: Parameter Passing and Implementation with Respect to Observability","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4749185$7C4A8467-AB01-4A77-A9BE-B05906724B38","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6fbe8bd10cf9a178bd33050ed4c4ff09ec68bfb2","datavalue":{"value":"0511.68010","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749185$3D87986C-199E-4BE1-BA83-FFDA1137DDFC","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bfd27772f6090fb433170cdff44753dcfac89bdd","datavalue":{"value":"10.1145/2166.357212","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749185$AB72C034-01BF-485E-9B2D-49247223AE1E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b043e7c633006f3fac5c3bfd0395a92f663b5539","datavalue":{"value":{"entity-type":"item","numeric-id":758210,"id":"Q758210"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749185$3753260E-5C8A-4416-81DA-C9B040F27D22","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"2bde53cdce44ac12832cdf9553e245848df9d2c6","datavalue":{"value":{"entity-type":"item","numeric-id":3038608,"id":"Q3038608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4749185$40B13B04-C23F-4E4B-8174-D993EA4EE495","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0136733d5dd7d9f4d36f24c87a0b8375ae1cb2fd","datavalue":{"value":{"time":"+1983-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4749185$D9632FC8-19E0-411F-9E2B-5ED7609A83ED","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749185$7DDCEB47-0AED-4C96-B229-BD9528CFBDB2","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5458d4840c1e7e23ec3bef60044a7c640f9049bb","datavalue":{"value":"3806916","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749185$38C282ED-05C4-463A-A291-148326268109","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"aa3974cb8d373a67a5f659328a1b1419f7621e06","datavalue":{"value":"parameterized algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749185$F31EC576-440F-4AB9-BEF6-4B35860D6FAC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a0972cd0096682c44c467a5788e46d6cea665988","datavalue":{"value":"ADJ group","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749185$39570980-494C-4D0E-B8DE-B6048163B1FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ce9e058dbd663cc456437c0f8d93ee3e608ba0eb","datavalue":{"value":"persistency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749185$4EDCD905-2866-4E47-90CB-359D4A3D50A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"63fa60fc9ce13cc19e5c321876d181b4e233d72c","datavalue":{"value":"correctness of parameter passing","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749185$CADA38C2-9494-48FD-B1A7-7A4EC9BA178E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14efb4849870e3cd5eecd470de129d9877b1962d","datavalue":{"value":"nesting of parameters","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749185$BBCBF175-19BF-40F0-B349-DFD4063A83EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749185$587623F2-02AB-44DC-8079-DADEA72FAD84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e6c1b246631fa370c2b74b561bbf56ee6f380ef","datavalue":{"value":"observability concept","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749185$E84EEEBD-681F-49F9-948F-26CA17F9B8A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4749185$FDD9EB93-B735-405C-8D15-230EC3E5496E","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":"Q4749185$69E1F713-2590-4ED2-8478-D77AA4367179","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e5b76bbf4bdc12f1659deeac3328896423f93488","datavalue":{"value":"https://doi.org/10.1145/2166.357212","type":"string"},"datatype":"url"},"type":"statement","id":"Q4749185$4B1DC707-9E40-4CD5-ABC4-C2885CFA556B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"21c77b435a8c2bf94924003c262e9f163db70b75","datavalue":{"value":"W1969438769","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4749185$2CC94814-C752-4155-AC93-4B564DAB8963","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4749185","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4749185"}}}}}