{"entities":{"Q3854601":{"pageid":5884506,"ns":120,"title":"Item:Q3854601","lastrevid":54531371,"modified":"2026-01-28T01:55:53Z","type":"item","id":"Q3854601","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3655328"}},"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":"Q3854601$0185D5C8-72E6-464D-96FA-2F916E030AFC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"101ba14ea3cfa33363264dbd824c38b41d9d7a36","datavalue":{"value":"0421.68021","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3854601$7AC6487E-0996-4B77-B032-6172B918CBA4","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":"Q3854601$7FD891E4-6A72-4845-9527-D54274E99286","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":"Q3854601$A59528BB-6B9B-4A77-842E-8E4E236B4F45","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"56afe75e154439409929c71e0e459d1542811b6e","datavalue":{"value":{"time":"+1980-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":"Q3854601$D6D3D802-4E11-4724-9D18-D3C4C1B18C0B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3854601$95A28DBA-4E70-453B-A9FB-BB9084D83546","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"1267197712a0b8481bdd51a65bbac0428b08dd13","datavalue":{"value":"03D45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3854601$B0738F6F-34C4-49DD-A683-B113648F32CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"758b4d196a1f97708f26591fee42c00739e26cc0","datavalue":{"value":"03D80","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3854601$2174A087-0247-4438-937E-2B7AC8B776BB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f40d367680430994e5df8778248df5acc628a2ea","datavalue":{"value":"3655328","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3854601$824A3929-7E9E-4200-8208-FE699600C22D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8308cf047a9caa020705e36cf27d6d1287dcc04","datavalue":{"value":"algebraic data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3854601$105D110A-F8E9-4A8F-82E0-2F50CE036337","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf6483e93ff0b0b0a920caa3a8bcdc780bd2e5cf","datavalue":{"value":"algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3854601$1D536929-B746-4C8F-85CD-6CDB47C8EC22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"93ca938cbba626a37da2392bdcbdb5b4e4b6da52","datavalue":{"value":"initial algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3854601$FF772A63-7F36-4773-9A71-38C572882AC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eafd074cb4639b2395b4c501c5073bb92894e037","datavalue":{"value":"final algebra semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3854601$55BF5135-D2F6-444D-9A20-9C441715F8D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bfa40d769f07cdfbcfc8196efb73c1253dbfc567","datavalue":{"value":"primitive recursive functions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3854601$508F310E-2F2F-4279-B883-6CFE2871440F","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":"Q3854601$6ED28678-AA67-43F8-A648-AFF7AB6071FC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3854601","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3854601"}}}}}