{"entities":{"Q1089796":{"pageid":1100548,"ns":120,"title":"Item:Q1089796","lastrevid":66109632,"modified":"2026-04-12T07:37:20Z","type":"item","id":"Q1089796","labels":{"en":{"language":"en","value":"On observational equivalence and algebraic specification"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4005600"}},"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":"Q1089796$6E5591F3-1FC6-4F0A-8740-BA3D1A222295","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"41e75c04b92e967743974b7e0d73b10d93e0f3cd","datavalue":{"value":{"text":"On observational equivalence and algebraic specification","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1089796$142C4437-FB6E-4472-81EA-2DFBED5214A5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cd195e101b57499d726c9a8152f2b65c0a55214f","datavalue":{"value":"0619.68028","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089796$DD731047-7F76-434E-9552-C28CD7D615D5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"35b76ff91cbba2ea5493486632e119d9063bc9ee","datavalue":{"value":"10.1016/0022-0000(87)90023-7","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089796$D9D493FC-B58D-474E-825D-DA0DCB8719EB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ddd65e421cdf5089f62a705995b7921eb32b8441","datavalue":{"value":{"entity-type":"item","numeric-id":610395,"id":"Q610395"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$AD5CE77A-4655-4324-89C1-D79984DEF59E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"64bfbfd1114669cfc61de475a2c16b2597ff379c","datavalue":{"value":{"entity-type":"item","numeric-id":610396,"id":"Q610396"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$3A4DF128-E6E7-4642-99F1-87BE4160390A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"3340243f57e05f2265c56423c388055a14b114fa","datavalue":{"value":{"entity-type":"item","numeric-id":107189,"id":"Q107189"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$F22B9638-6586-4B2E-B94E-CD10915C94C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q1089796$D059981F-C95D-47DC-ABFA-6E95CD041B8C","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"6be01ed8a0bb0811d2883292bc52a624ad4e862f","datavalue":{"value":"See the review of the preliminary version in Lect. Notes Comput. Sci. 185, 308-322 (1985; Zbl 0563.68017).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1089796$6FBA11FE-D79B-446F-B4D8-1A42ED12862D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089796$16C9E77B-01F4-4B04-ADAB-BB517E85B2F9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b27c553ff1e4381961f78cfa19a30b7d046b6183","datavalue":{"value":"4005600","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089796$93F4E044-F577-499C-B03D-EC0A223FE04F","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":"Q1089796$E969DD7C-BF30-4890-BF2C-D4F9EEA94194","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"7b8f66d8b9c7f2f0780178fbfbfca08ba9264557","datavalue":{"value":"https://doi.org/10.1016/0022-0000(87)90023-7","type":"string"},"datatype":"url"},"type":"statement","id":"Q1089796$B3421D78-DB24-45AB-AF87-8476AF1ECD06","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"ea838613f5f27c259f97673805b088bc5ed0f793","datavalue":{"value":"W2162643525","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1089796$03D7E8D5-FAFD-4AEA-B343-E319503EA314","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"e063a33e37ef5dc84ac18aef142b36f11221d873","datavalue":{"value":{"entity-type":"item","numeric-id":4152697,"id":"Q4152697"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$DFDD52FC-93B4-4352-B186-2FB9A1638338","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6deea07576bf8332ec9f6abda7add3bca126811a","datavalue":{"value":{"entity-type":"item","numeric-id":4052109,"id":"Q4052109"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$61BAAA2E-6C78-491C-A220-8DFE327671D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b1152d39bd65de6cf49d945a10e115d1dd1c5e26","datavalue":{"value":{"entity-type":"item","numeric-id":4087162,"id":"Q4087162"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$8161709E-08B8-43A2-9DF1-B1ACFE38BA0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"46d41c9fe05012f3b821e621dc4cf7c3fef4fcb9","datavalue":{"value":{"entity-type":"item","numeric-id":3490989,"id":"Q3490989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$D2289A42-85E7-4ABA-A811-4AED971A172F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cf74703b34de1626ffd3d7ae5025c7b42a757dbf","datavalue":{"value":{"entity-type":"item","numeric-id":1169290,"id":"Q1169290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$0E48EADD-9767-4C8F-8B5A-1855BACBF02C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6919ba84c94face972c4fcbaccdc5058745cefc","datavalue":{"value":{"entity-type":"item","numeric-id":3906394,"id":"Q3906394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$1FCF295A-138B-43D2-97F0-B58985344622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cc94c0f267a5b105d4bb294ed6fcdf2ef2281a90","datavalue":{"value":{"entity-type":"item","numeric-id":3667921,"id":"Q3667921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$C4A39D3F-CDB2-4EAC-9697-D07196526261","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3a88e06b186a83bc1abbde69c4cd83326d414709","datavalue":{"value":{"entity-type":"item","numeric-id":1348526,"id":"Q1348526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$7BCC3A1B-9C0E-4F84-B0AB-0AAFB69AAD6E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4bed41583a3562e95ea3e0152ccf900c298f8859","datavalue":{"value":{"entity-type":"item","numeric-id":3936177,"id":"Q3936177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$2BF39575-55FD-4C3F-86B7-3A302AE7E45A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fd81f6303e092f5906d3dea1a706a26a3a2f9be5","datavalue":{"value":{"entity-type":"item","numeric-id":3330488,"id":"Q3330488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$1F606146-85DB-4D60-A332-6C0284015284","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4dc01a28b8e042eaee4713d2ffe90785f0ff058b","datavalue":{"value":{"entity-type":"item","numeric-id":1163361,"id":"Q1163361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$6F56EB38-CC56-488B-A2F5-3DCADE0C4C31","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f94ed1966146509e4c807f693ee51c1a63a3a6c7","datavalue":{"value":{"entity-type":"item","numeric-id":3667933,"id":"Q3667933"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$66F0A1BD-DD4E-4E70-AB4F-7A84D3F6E5D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5ca4f823ca2e82e86e612699cdb65f38c133999d","datavalue":{"value":{"entity-type":"item","numeric-id":4052071,"id":"Q4052071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$1F17B2E1-E3C6-423F-B28B-32BF23AF5980","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7c017de94be929303e103db5a7762532c2f6325d","datavalue":{"value":{"entity-type":"item","numeric-id":4749185,"id":"Q4749185"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$25D58EC8-4506-43E3-907D-C9C66DE1D621","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1f3813ab614a97a156330c623ed2e7bf909d45fa","datavalue":{"value":{"entity-type":"item","numeric-id":4105777,"id":"Q4105777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$ED0FE975-58CC-4ADD-B394-5D0A128C7DB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"aef4635a53824b2b1b464a217e7668cc18ea604a","datavalue":{"value":{"entity-type":"item","numeric-id":3334056,"id":"Q3334056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$9ACFD5CA-4E5F-4DF2-9559-29F0544FD6B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f802e7e6bc6c2862293d40c4b1969d8ec0000208","datavalue":{"value":{"entity-type":"item","numeric-id":759478,"id":"Q759478"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$2D670F86-B94C-4A17-AB5C-F980CEAE7CB5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"caabd38fa7c3aaa24933710e7b1549af247a0a35","datavalue":{"value":{"entity-type":"item","numeric-id":4151143,"id":"Q4151143"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$282672AF-5E2D-44CB-859C-47A968AD79EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"637d60dd60fa7ae0ece9ed07c4735273bd2f3a96","datavalue":{"value":{"entity-type":"item","numeric-id":5416166,"id":"Q5416166"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$E21F2D4A-9E5C-482C-A878-06F116C1D5BB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"17381064ecefec5ad5ec8699a3a8d3cf543b73fa","datavalue":{"value":{"entity-type":"item","numeric-id":3737481,"id":"Q3737481"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$C29C20B9-9E0D-466A-8BE2-67EA9ADDF2D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f325c977c21595a567edfd399ff116dce390cad0","datavalue":{"value":{"entity-type":"item","numeric-id":3956373,"id":"Q3956373"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$3F51A8C9-B320-4FCB-ABDC-F06E5D96AC2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0065dc8b5c25773ef1d9719266c7992d0edd4dd5","datavalue":{"value":{"entity-type":"item","numeric-id":4131619,"id":"Q4131619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$3E4196C5-FA98-4E58-A02F-4F096168908B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b10505dc01f8f087a2fc1b4a9ffcf5190a299734","datavalue":{"value":{"entity-type":"item","numeric-id":4178466,"id":"Q4178466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$C4F1AE62-1F33-48D0-B2D1-24A663197AA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a70c1e34050dcd0b61ce5a07aebe8c29e58c7b21","datavalue":{"value":{"entity-type":"item","numeric-id":3964001,"id":"Q3964001"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$708FC1AF-3F7C-4E96-BBEC-B02D26265355","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7ca699d9eaadc034c8acba58807d8465fe6e2279","datavalue":{"value":{"entity-type":"item","numeric-id":5332215,"id":"Q5332215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$F94E474D-8903-4BC2-8F80-9F602E9A7444","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c21c90e66902948a1de1494ff23d31c3c16d32b1","datavalue":{"value":{"entity-type":"item","numeric-id":1153681,"id":"Q1153681"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$494FE385-60D0-4E59-B379-BC82F637C161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"534480bfab7acfeee5d80ae4528655224ebda578","datavalue":{"value":{"entity-type":"item","numeric-id":5639839,"id":"Q5639839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$089E9273-6B05-459A-A011-E5EAB0C9F228","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d4c7c586fbe3d1f4bbc77b6e2e675844ece4d73c","datavalue":{"value":{"entity-type":"item","numeric-id":3343424,"id":"Q3343424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$4C315CDE-6493-4BC6-A410-D06478FB8422","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69cfac2726ecbd4735e76650da5c35e00e8c8ff3","datavalue":{"value":{"entity-type":"item","numeric-id":4066567,"id":"Q4066567"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$BD97E3C5-6374-4644-8EA5-8D760A2A62B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c2a4263da91799da38dd66031867c7e7f893c9b0","datavalue":{"value":{"entity-type":"item","numeric-id":4195975,"id":"Q4195975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$D23F0D97-129F-4832-8203-5B76747CA104","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13c8332b10186708c6708131542afb51481ba405","datavalue":{"value":{"entity-type":"item","numeric-id":3938468,"id":"Q3938468"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$83B5F711-980C-4A5C-A3C7-0DB869903A0B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d496736dbfc239d833d5ef76056355be3ab28578","datavalue":{"value":{"entity-type":"item","numeric-id":3042444,"id":"Q3042444"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$9A19D69E-60A5-48E1-ADA0-983676366C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a935f40a8549239df21483c21192775b71045f7a","datavalue":{"value":{"entity-type":"item","numeric-id":3345753,"id":"Q3345753"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$12229854-4438-4B56-A5B3-4B3FAE0805C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5be75b2de8c8bc279b3324aa378900b2836e97b9","datavalue":{"value":{"entity-type":"item","numeric-id":3666260,"id":"Q3666260"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$D9D135C9-AEC7-4275-976E-73733AA1E3C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07a66aca149d54d7dff0ef6032122ab7db2b935e","datavalue":{"value":{"entity-type":"item","numeric-id":5551146,"id":"Q5551146"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$74C79BD9-5FEC-453F-900E-15967C79ECCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8e33d995719930daceae5b9ecd9a739ea7b34d8","datavalue":{"value":{"entity-type":"item","numeric-id":1085969,"id":"Q1085969"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$440970F9-E7A3-4C79-90EF-6EF384833FE3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4b50bda4f6cbc2cc3d211f73a2cce8b2c16c83b2","datavalue":{"value":{"entity-type":"item","numeric-id":3959407,"id":"Q3959407"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$BC6630C2-3B26-4064-BCFF-DE535912BFFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"893133b7b86a6ea8f7bda9829deaacd67f7e2f67","datavalue":{"value":{"entity-type":"item","numeric-id":1131834,"id":"Q1131834"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$10550732-88CF-4AE9-A408-B399DF735E7F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a3d135bbbfba26ccbb74f65607bb39b60363a124","datavalue":{"value":{"entity-type":"item","numeric-id":3660896,"id":"Q3660896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$ECA3E835-F682-4425-AA5E-8E44F4F7EDD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"44b7f189eb7f5e56515006b2399dc063811b0064","datavalue":{"value":{"entity-type":"item","numeric-id":1080652,"id":"Q1080652"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1089796$DB578C7D-3B70-4CB6-A3F8-32FB3DD6C130","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"On observational equivalence and algebraic specification","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/On_observational_equivalence_and_algebraic_specification"}}}}}