{"entities":{"Q1193606":{"pageid":1204355,"ns":120,"title":"Item:Q1193606","lastrevid":66455748,"modified":"2026-04-12T10:11:26Z","type":"item","id":"Q1193606","labels":{"en":{"language":"en","value":"Specifying modules to satisfy interfaces: A state transition system approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 64904"}},"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":"Q1193606$75C18A65-38D3-4396-8CC4-D6492D2CDF41","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"f29925f0c24237f2769f0e10eef45c5a63b6d84e","datavalue":{"value":{"text":"Specifying modules to satisfy interfaces: A state transition system approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1193606$35B02BE6-FE15-4EB4-8906-654529C010C3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"15cde6c8ab7d36916ce84ee53feebb58ea6d11d1","datavalue":{"value":"0748.68014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193606$F593C45C-5567-46EE-AE09-CE344F36C211","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"830cfbee36a0e1e69e70f5e7a6f6cf89e325d991","datavalue":{"value":"10.1007/BF02276640","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193606$89B7714C-23B5-4FF3-B030-5A99F88BB774","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"575fe4d6c78f9172a754ac86ead8b570da7650dd","datavalue":{"value":{"entity-type":"item","numeric-id":1193604,"id":"Q1193604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$F3751D68-78E9-4560-9686-728641B66EB0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f79d82ecd55dade6de7653807169028fa2a8640e","datavalue":{"value":{"entity-type":"item","numeric-id":1193605,"id":"Q1193605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$B257DFC6-8108-4F77-81D2-E45EF0F5371D","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"57115b4722082b3277b4db3ad0412a8293b7033b","datavalue":{"value":{"entity-type":"item","numeric-id":251292,"id":"Q251292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$70C10A9B-1B92-4EDD-9A4E-1271A7C9CB75","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1193606$4280202D-F57A-4479-93C6-D6900645A4D2","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"bf2726c5c2109371cc10358eaa69bc4df711caf7","datavalue":{"value":"68P15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193606$B8BB9D5A-D40D-4909-8CCA-C4B8AAEF4CC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193606$5F02C758-FA59-4A13-A25E-C4D8BDA347FA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"1005a20ac2bb4394ee8ee50f37210ed1b58941f3","datavalue":{"value":"64904","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193606$1258514F-4252-4762-99D3-A00F24E1EE34","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66824d9cf653f7dee3c76f98a8ea1aa06432fa7c","datavalue":{"value":"verification","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193606$703FBC8C-3A1C-4AB2-BB9D-714033CA2023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f53d67912f1afa2c169e3f8f3e5f1b73f9d88b7","datavalue":{"value":"interface","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193606$E6A8F667-F1BB-419C-BC70-B5E22A3A694D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ae20b0ad3f6489b55984c0942e20bc26339567a3","datavalue":{"value":"module","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193606$8C3F5D01-A72F-42F6-9CB0-EB0809E19E47","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cd3dcade297ae98a07568f240a416259df7dbc0a","datavalue":{"value":"Lake Arrowhead Workshop","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193606$DE73C57E-A2D1-4A12-958D-48FCCDCAF0C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8cbb17090ac60327e70e120e5357645bdddfe6a9","datavalue":{"value":"specification of a serializable database","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193606$1ED2F4DF-A89B-4392-8ED0-0FB5D23B9B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c7f5b9eb462df0bed6af460c6288568c3d59294","datavalue":{"value":"two-phase locking","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193606$64B71D7D-4C09-45D1-BFD8-220C3697DD07","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"431f5ec1f52946953d99477891c1e8a0d61dc2ae","datavalue":{"value":"multi-version timestamps","type":"string"},"datatype":"string"},"type":"statement","id":"Q1193606$48097116-409D-4309-B6C6-21ABDE12B5B6","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"17cfe6afe68a54e81dc559ef2cd5a702765207b0","datavalue":{"value":{"entity-type":"item","numeric-id":25375,"id":"Q25375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$78CE7916-FC95-41D7-8662-3FDE4711673E","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":"Q1193606$98CEA84E-278F-47D2-9833-C88ED39B954D","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$4DEB5953-FD6E-4915-AC2D-7BC48228B83F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"090e4b104dd3f76f7e7cbd674cb41b2227a87ff1","datavalue":{"value":{"entity-type":"item","numeric-id":4692502,"id":"Q4692502"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$0FF1CD16-10C9-41CC-9B64-0323B8D3608F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e6b0f593aaa3110f1e8f538d98538d65a9ad442a","datavalue":{"value":{"entity-type":"item","numeric-id":3777424,"id":"Q3777424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$5AB12AEA-7F22-499C-849F-B3765169C37B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bb00c4a962f9e99ef72cf5ad5e884b86cfb17e25","datavalue":{"value":{"entity-type":"item","numeric-id":3345755,"id":"Q3345755"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$D0552C2F-2396-424B-BCF4-CA9D909D976D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2692c50ebe13d27e5d64521e797de95a4765df0f","datavalue":{"value":{"entity-type":"item","numeric-id":1051413,"id":"Q1051413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$B80E6AED-15D2-4115-97AF-C0EFD9C5A339","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0d38293cc06627b45c6840e21e0f7cb4f5b5bf0e","datavalue":{"value":{"entity-type":"item","numeric-id":3814780,"id":"Q3814780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$015D3722-CB42-41F7-AA2E-6B9C0DF219F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$EFDF3175-A321-497F-AD77-7EF83C1C5F20","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1193606$DCB73D64-DB20-4E99-B47D-FA4B28FE95A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5bee411bc51679bdbdcf92c6a7268fcc791dcd2b","datavalue":{"value":"https://doi.org/10.1007/bf02276640","type":"string"},"datatype":"url"},"type":"statement","id":"Q1193606$532F19DE-19C0-40DE-838A-D960B5AC148F","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"0f29ac4a71e070b2ef1f9a7d31a3626548785749","datavalue":{"value":"W2054727993","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1193606$48485046-AC61-46E0-A258-14721CC51124","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b2dace1bbaafeb8659419820bf683d1a128a1cce","datavalue":{"value":{"entity-type":"item","numeric-id":1193602,"id":"Q1193602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fb37182dd69409b2b03f0812d5413ae83fc2255d","datavalue":{"value":{"amount":"+0.7553163766860962","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":"Q1193606$4E1E169A-F9C1-4F2E-B88E-D85AAEA53419","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2c3edb0e35abe551cd1ba974c3d36227362e9c22","datavalue":{"value":{"entity-type":"item","numeric-id":5971389,"id":"Q5971389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"43e6d1227d3b56a7c6b6248cdb0e28e07c6e20e0","datavalue":{"value":{"amount":"+0.7213132381439209","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":"Q1193606$2A426E33-2FA1-45BE-A2FF-C1F9C0B31B9B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5340d4dbaf76b13484a441928b7df2c35b8ca25d","datavalue":{"value":{"entity-type":"item","numeric-id":549177,"id":"Q549177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f4fc19a0b6b11cb75b0cb6c0c308ae4394688729","datavalue":{"value":{"amount":"+0.7102159261703491","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":"Q1193606$97031873-5D8D-452A-83FC-29D442270CC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e59883e8abcdf4b2a80288044d5208cebf7af6a","datavalue":{"value":{"entity-type":"item","numeric-id":2999311,"id":"Q2999311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ddfc78e89ed694052c4dc2d3eea8655029a28994","datavalue":{"value":{"amount":"+0.7025896310806274","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":"Q1193606$71C63FD5-8682-49E4-AD52-3AEC0F0351B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f692bc7920b65fe415afacaf74783b6af00c86d7","datavalue":{"value":{"entity-type":"item","numeric-id":5447362,"id":"Q5447362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f1106d6b65b568c209667bbe10c1059c9df50e","datavalue":{"value":{"amount":"+0.6984487175941467","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":"Q1193606$0CB0BF61-88C4-4F29-B237-F0BDDFEFA4AD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Specifying modules to satisfy interfaces: A state transition system approach","badges":[]}}}}}