{"entities":{"Q5905240":{"pageid":8017133,"ns":120,"title":"Item:Q5905240","lastrevid":97715624,"modified":"2026-06-05T15:16:42Z","type":"item","id":"Q5905240","labels":{"en":{"language":"en","value":"A simple transfer lemma for algebraic specifications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3780541"}},"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":"Q5905240$8F26D6F0-F2DD-492F-9732-75F659F514D7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"88b62dbc12d7bf678fa6c9ec0b3910ee76666ad3","datavalue":{"value":{"text":"A simple transfer lemma for algebraic specifications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5905240$D27BC16B-C4CD-4F67-9F76-0BC4F0566653","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8851b4f24f277dc44f7f5e97989dc5a9444024d3","datavalue":{"value":"0495.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905240$FBF2B484-13D2-46E7-9E5D-5FDCCCF48EE7","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7185f86572717c87df735448546865d5570834d6","datavalue":{"value":"10.1016/0020-0190(82)90091-6","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905240$A3C45685-0257-4AD8-B542-954EDB78E899","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"78ed6c5ce1e65f91c49ded91114a6800dd345a5d","datavalue":{"value":{"entity-type":"item","numeric-id":190306,"id":"Q190306"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5905240$E7B1BFA9-DCB2-4E50-8ACC-FC0401DAE5E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"8c4fe77fff21ad74d81092c085b4a78f8093906b","datavalue":{"value":{"entity-type":"item","numeric-id":375309,"id":"Q375309"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5905240$15C1A05C-3534-413A-997C-E6511EFD27FD","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5905240$CD2BF17F-E9F6-4B20-8361-79F1AC7D0D85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"47f57cd36df9e30d446df3867dc3917e4ea74654","datavalue":{"value":{"time":"+1982-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":"Q5905240$D53DDB70-6843-4EEE-B65E-CF19C5F110B6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"95df072e3857bce70b3a6447475aa564b923aabb","datavalue":{"value":"https://dspace.library.uu.nl/handle/1874/12822","type":"string"},"datatype":"url"},"type":"statement","id":"Q5905240$5F7C0308-C3FD-45C1-90D8-19F22B5A8EAE","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905240$67CD64AF-AE04-4F7B-8D9B-63C80C5587E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905240$3BCE427E-71D6-4C6A-92BE-C099AE7B87E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905240$0579A78C-88C5-45E9-B2C6-956E21BEB893","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"645de2e3da23177df8f5b8aa9c1cc4d5c64ad729","datavalue":{"value":"3780541","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905240$167F9275-9652-445F-93EF-724477C99BEC","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905240$2B8F1135-2648-4575-BA21-2D17B7EA3A95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ca938cbba626a37da2392bdcbdb5b4e4b6da52","datavalue":{"value":"initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905240$225B8071-CD13-4D16-A3C3-D362E682BFD0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"47aefda07ac5d6e74103bdf2455b1df41b0e324b","datavalue":{"value":"algebraic specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q5905240$D9AC94BB-1590-423A-A0CD-09E037ED037B","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":"Q5905240$DD7961CC-0E1A-4B76-A9C8-86DDD549B6B6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"2164a3575e295b10c0c6dc8ccc7f02462b7f24ce","datavalue":{"value":"W2056155316","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905240$563B33CE-ECFA-43DD-9DF3-05367E104A22","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"b96081b190041f9a88d61c7645268abf62a600ee","datavalue":{"value":"Q124818292","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5905240$EEB29D48-CAF1-43A1-A183-18DE7B31EE1B","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"ce55656d21d5b61018d20fd360948cf534ed9f5e","datavalue":{"value":{"entity-type":"item","numeric-id":3853107,"id":"Q3853107"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5905240$9B750DB2-2D8F-455B-9868-78E5768671CA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"52ac54c6f7080764b72994f53c432abd5542d41c","datavalue":{"value":{"entity-type":"item","numeric-id":1837179,"id":"Q1837179"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5905240$C4736B73-37B3-4814-BDDE-EA6E3B427694","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a5e78e3673ba9b2279b8374c36737609cc2961f2","datavalue":{"value":{"entity-type":"item","numeric-id":3911368,"id":"Q3911368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5905240$CF839C5F-371D-4F29-A6C0-D450603C39BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7859edd3c4e86ff42a014e1faa40c6c47e4afb66","datavalue":{"value":{"entity-type":"item","numeric-id":1228463,"id":"Q1228463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5905240$9B2BDF3E-AFC9-4191-9C5D-7DAFD56B43E0","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":"Q5905240$1950994C-5D4D-4EDC-9B60-733698C30EB7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A simple transfer lemma for algebraic specifications (scientific article; zbMATH DE number 3780541)","badges":[]}}}}}