{"entities":{"Q1166919":{"pageid":1177668,"ns":120,"title":"Item:Q1166919","lastrevid":66420273,"modified":"2026-04-12T09:57:17Z","type":"item","id":"Q1166919","labels":{"en":{"language":"en","value":"An operational semantics for specifications of abstract data types with error handling"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3770922"}},"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":"Q1166919$98DC91C0-2A86-4076-822E-91F01EC56845","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"cedc325dc12e78b8f9091925763b34bdbda0cbfb","datavalue":{"value":{"text":"An operational semantics for specifications of abstract data types with error handling","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1166919$22C5A1E3-564E-47EA-BAB7-986F0B88DB3F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"27bb13e0bcb33a90147b510c4dc4c079491f18bd","datavalue":{"value":"0489.68013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166919$95594D5C-2708-4894-9B73-A7039EFB2FA2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"f4eb2fd1d2f7c63dc7eb7ec61a277e22f8360b57","datavalue":{"value":"10.1007/BF00265557","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166919$85CDBF06-6929-4F90-AB84-FB92B3044FBC","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"0ac9c63c2cdbf4ce92bce8d2c1115302276651f8","datavalue":{"value":{"entity-type":"item","numeric-id":1166918,"id":"Q1166918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166919$02EAD5BC-5496-44C3-AE34-11C629808AEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e7fb23440dde1d78d8351dc5a34fb7a46c01a20f","datavalue":{"value":{"entity-type":"item","numeric-id":1806127,"id":"Q1806127"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166919$A3A9ACD6-7571-4279-BFE2-60D6B3F2DE9F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbd8c7da17d66c54bce7bc84ca4e59a6cd43774","datavalue":{"value":{"entity-type":"item","numeric-id":1054462,"id":"Q1054462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166919$D741B8D7-2A6F-4ED1-A3EC-254F28C57384","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"7d0f02e85530cd06ceb2c58a40dc9c2e0258e194","datavalue":{"value":{"entity-type":"item","numeric-id":161641,"id":"Q161641"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1166919$708ADA26-47BA-4056-9EDA-95224DAA0D83","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":"Q1166919$F78295BC-D606-4223-BF60-4D401E6942A3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166919$C70D7AAE-64CD-481E-A4DE-3ABD716DBB49","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"cd6e2c1426e75164967c42a5a4b8e3825320e1e6","datavalue":{"value":"3770922","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166919$0A19E177-66AE-4667-B2C9-AF7870AFAEA3","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bbe8c41fe8d2ca7331310962aa17e31f8465478f","datavalue":{"value":"term rewriting system","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166919$F6D59DAE-5A39-4617-B6E9-38D30C6118BC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"64eaf746f8323aca7f8e059d49fc382a5ad50bde","datavalue":{"value":"Church-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166919$E812CA05-AE9B-4DBF-A284-E747F224325A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac1d90ce0f859da20ae55064a02b136bbc6bbc","datavalue":{"value":"reduction strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166919$DBA24CAE-102C-4B0F-A643-0B0297DBB75D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c903d92089dff22847abd0832e98862d75362d91","datavalue":{"value":"exception handling","type":"string"},"datatype":"string"},"type":"statement","id":"Q1166919$F31DB826-6E3E-41D1-96E1-CEE6F67F8693","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":"Q1166919$8D6E3745-456B-4345-9465-97EB03B5ADBE","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ff02e15399f42e38f58dc2ccc5dd4e6120fed5e3","datavalue":{"value":"https://doi.org/10.1007/bf00265557","type":"string"},"datatype":"url"},"type":"statement","id":"Q1166919$A6CA4326-9347-475C-BFC5-F32A94EDC6D1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a1b30d66d7b275edb6d1069bccc2fa6428452cbe","datavalue":{"value":"W2061076675","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1166919$51E8BB0E-B291-4277-8DBE-63695A47A294","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"An operational semantics for specifications of abstract data types with error handling","badges":[]}}}}}