{"entities":{"Q3659115":{"pageid":5689021,"ns":120,"title":"Item:Q3659115","lastrevid":49872283,"modified":"2026-01-11T11:57:22Z","type":"item","id":"Q3659115","labels":{"en":{"language":"en","value":"The completeness of the algebraic specification methods for computable data types"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3810900"}},"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":"Q3659115$B6B9FCC4-6232-4D5C-B022-8368B5612C7B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0fdf8d7e6e12863b1ced06303965b59090650a94","datavalue":{"value":{"text":"The completeness of the algebraic specification methods for computable data types","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3659115$DD196921-3A0F-4EEF-8064-A1F35CB86A7A","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"745397edfcde6b9f63c6614f11e826a09a558429","datavalue":{"value":"0513.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659115$360BDEA2-B751-49A4-9790-81470B15AC52","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ccfd0870dd58690aadd219422cf8884ba0682cce","datavalue":{"value":"10.1016/S0019-9958(82)80021-1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659115$23B30108-805A-4095-B384-11D814DB11F9","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":"Q3659115$ECD3D400-B92D-464C-8B11-006FF49DFB42","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0c7e064d8bf44e919533bcd03f615423e66998fc","datavalue":{"value":{"entity-type":"item","numeric-id":549206,"id":"Q549206"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3659115$7ADA84BE-9A23-4AAD-B4DE-DE3CE9E73A35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"4434820098e3b6c980c31814818af7c68f56bd22","datavalue":{"value":{"entity-type":"item","numeric-id":2832035,"id":"Q2832035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3659115$65A945FD-2388-43C9-941B-16D947D7E7A4","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":"Q3659115$10176153-CD52-4C5A-BC7A-096102797879","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659115$FCAD04B1-C01B-403B-83CC-5F9241B69243","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"4c09ea78484192dfb20180fed0b8ec0fbe50483f","datavalue":{"value":"03D60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659115$98314976-4043-409E-86B2-0BB9F1AEB9A9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"eb583b5f123b1f2d6eac5ee6b701ff92c35c5bec","datavalue":{"value":"3810900","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3659115$5CEB4D54-AA0E-4710-BA14-D63ACA8FD5F7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7d83273420aff13e657dfb251af4675070a22980","datavalue":{"value":"equational specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659115$C52D5695-0C96-4651-8A11-21B516D2E572","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e178e40d99068e4fc719090f680cfc7359107df2","datavalue":{"value":"algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3659115$FC5C0A42-0BB0-4722-BE1E-D23CC60435CE","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":"Q3659115$CE5D512C-A403-4CA0-8008-53BAEAD35DC3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3659115","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3659115"}}}}}