{"entities":{"Q3907066":{"pageid":5936971,"ns":120,"title":"Item:Q3907066","lastrevid":54939127,"modified":"2026-01-30T19:44:32Z","type":"item","id":"Q3907066","labels":{"en":{"language":"en","value":"Algebraic specification of data types: A synthetic approach"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3716778"}},"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":"Q3907066$420EBE9B-02D8-422E-8489-47D949B92B1B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d60465d1e6918fed3a01af75a7e5b06ab9841ee2","datavalue":{"value":{"text":"Algebraic specification of data types: A synthetic approach","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3907066$CD583361-9BB6-424D-9517-CEEEE69043B8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bb58f914d42e0652055904b4b88ea00bbca2c145","datavalue":{"value":"0457.68035","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3907066$93C10B84-8656-4420-ACE4-D28C4B5C46A5","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"d3283be7c11c49fdd85757a73dfa816e4a3bb28e","datavalue":{"value":"10.1007/BF01752392","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3907066$5C9F60B3-C385-4C56-AB95-BD1109389843","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"5a8d775b0b8ac1723ca563ec42b8bfa391952af8","datavalue":{"value":{"entity-type":"item","numeric-id":3026825,"id":"Q3026825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$09FE3599-0D1F-4B16-96D9-376A9B501D0F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"50fad0db7dc87cb4e51866acdb5ccbaa54ec857b","datavalue":{"value":{"time":"+1981-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":"Q3907066$208E2C99-DBCB-4ED3-ACB1-760D55D0B819","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3907066$3494C29E-D0D2-4208-9919-E23BD5056E91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3907066$B762708D-E17A-437B-B41A-ED7EF60ACE12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"78df492004aeff3e04cfd44f16217b35d4377808","datavalue":{"value":"3716778","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3907066$6C418E46-75AE-4BB8-9693-A50EB4719233","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a2444da0282f3c15bb118f9be04f6022ecaf9f9c","datavalue":{"value":"data type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907066$43E484B3-38DF-42B5-B3B3-EE2696D5BCBE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c7ef2ebccd016252dd4c0a33f562cb4c71d7234","datavalue":{"value":"domain equations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907066$C9A0030D-0E01-48D6-B279-843FCA2EAA81","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"061ef2758ae38ad11a6b2d46e365a209a7873ab9","datavalue":{"value":"function space constructor","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907066$81F5D2B5-EC27-41AA-A13B-EF56720DBC3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"92c715c998c2c4beeb41208853a051b29ca14e86","datavalue":{"value":"initiality","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907066$2C5A54DF-60A3-4B3C-8564-7045C0D2D8D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef359d59e74cb9142903f0e8e9f4e9a6db893b78","datavalue":{"value":"implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3907066$4666E1A5-872B-4B85-A48C-4905827AAC5B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3f85f98c6ff2425303621e54f305d7bd3065cd76","datavalue":{"value":{"entity-type":"item","numeric-id":1238414,"id":"Q1238414"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$216F4C71-554C-484C-A69C-7825EACF9817","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"27e0edf098464820c73fe973287e8e70625fcc2a","datavalue":{"value":{"entity-type":"item","numeric-id":761040,"id":"Q761040"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$15D0F0FD-D52E-4580-B59D-846F6727346D","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"49eaddd693f0d125ebcbba47522e5639803410e0","datavalue":{"value":{"entity-type":"item","numeric-id":13966,"id":"Q13966"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$D5AB21B9-50DA-44EC-BCEB-74FF0C9F5BDA","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":"Q3907066$85456A0C-84F1-4F43-8240-F60CC573F5D6","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9bc708db8417b264ae5134e14d7f4436923047c5","datavalue":{"value":{"entity-type":"item","numeric-id":4044767,"id":"Q4044767"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$BE5DF43A-579E-4520-8B20-EED2605FBEE6","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":"Q3907066$20FC6A96-59EA-4054-8DA5-886BA50F9E34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0fef7db710aa93e9f87a9f7584dba9019913b4b5","datavalue":{"value":{"entity-type":"item","numeric-id":5181349,"id":"Q5181349"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$7447BA44-6F5A-4F75-AA05-6BDFF673C2BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0e2db18f956a86c51893ceffc869b394629d46fd","datavalue":{"value":{"entity-type":"item","numeric-id":5611775,"id":"Q5611775"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$B7B12D1D-1DA3-4145-9BD8-2C85D065E73C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c28df2712119352cfc70833dae3c4445fb4c54d0","datavalue":{"value":{"entity-type":"item","numeric-id":4082975,"id":"Q4082975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$4288E6DE-2D73-49DD-9316-02650AEBD828","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"97558af1147bf1da17aeb8d7f9212fe1000d9538","datavalue":{"value":{"entity-type":"item","numeric-id":3911367,"id":"Q3911367"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$C1A79A1F-407D-48D8-BF8F-FFC459F8A625","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d6da331e810a932dbfb0f056c5c8b01e6d9d2c37","datavalue":{"value":{"entity-type":"item","numeric-id":4127984,"id":"Q4127984"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$98B091B8-7445-4E8E-8074-5A60E15B44A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a441ffcbaae801c76a20cf9569b246225e79cb6","datavalue":{"value":{"entity-type":"item","numeric-id":5682456,"id":"Q5682456"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$383179F5-B74B-4212-B2C3-86F8E1DF3CE5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8528e1f4f082d8f3a7c4c87b3334f87e15a45ebd","datavalue":{"value":{"entity-type":"item","numeric-id":4055171,"id":"Q4055171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$BE893485-675B-47DD-A7B6-522112465BC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fa0540fd78fb7a7ac36ecb95287d9deaac0fb1e2","datavalue":{"value":{"entity-type":"item","numeric-id":5585021,"id":"Q5585021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$7EADD5EC-8C28-4723-93AE-9F8223530B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"172a5b2f4a395c1020b1f2919ab7c10bbe22d90a","datavalue":{"value":{"entity-type":"item","numeric-id":5515355,"id":"Q5515355"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$0D02801B-0B49-41D5-A988-28843B43C739","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0bf6e42c7025089ab9d5f372353652344c7dfb4b","datavalue":{"value":{"entity-type":"item","numeric-id":4693151,"id":"Q4693151"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$13B76DDF-AB9F-46B5-A969-A76F5BDA1162","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"914ef8719678eb4ee59028ba65b4741c8aa1bc8e","datavalue":{"value":{"entity-type":"item","numeric-id":4124327,"id":"Q4124327"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$96B2DEDE-BF56-4EAE-B9C5-46904418B31D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b34d351c1ef844180d459df3939ab41ff1a3206b","datavalue":{"value":{"entity-type":"item","numeric-id":1241798,"id":"Q1241798"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$0A7256C8-3DB4-48F8-BF41-0A6AD695E553","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$0622220D-264E-4428-BB88-9C9796526C94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11369978efa15dc62da89d10bfe437030b4aa86d","datavalue":{"value":{"entity-type":"item","numeric-id":3956379,"id":"Q3956379"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$9DB67CCD-472E-4AB1-9B31-27B294478737","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4e052dc0eb54a8a79427ec9d552810f9a6de125f","datavalue":{"value":{"entity-type":"item","numeric-id":4113375,"id":"Q4113375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$71601B4B-C0E8-415A-8924-5D2840A9B313","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9df03a59df4dd5bd6b1e9f7f562a6de5d8fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5636307,"id":"Q5636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$E8B743C0-CBAE-45FE-9834-9454EB03C970","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"bf701c74ef07eac6f191b34254e528b70e4494ba","datavalue":{"value":{"entity-type":"item","numeric-id":5649639,"id":"Q5649639"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$50813448-0FD5-4AA5-9FE5-69992743357B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9fde949ec0edc78cafc417dc0d661c3b24c05302","datavalue":{"value":{"entity-type":"item","numeric-id":4103509,"id":"Q4103509"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$20BC8A2A-A3D8-4EB2-980D-5AC9102EDEF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"63ca39f061f7bb621dac7131279fed7ed70fcac4","datavalue":{"value":{"entity-type":"item","numeric-id":1137572,"id":"Q1137572"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$3D19DD18-48C2-41C0-8F8C-9191DDBA2472","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$5EE87DC7-C5E6-411A-9CF3-0B764766569A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a7aff6e64c6e39cf93d6bf6ccc57f34e2eb209","datavalue":{"value":{"entity-type":"item","numeric-id":1255084,"id":"Q1255084"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$4BF20421-7560-4108-AA7D-1DEA2AFC0B08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ecd392fe331dddb0c8c57afb213ae49737005525","datavalue":{"value":{"entity-type":"item","numeric-id":1222015,"id":"Q1222015"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$AD41815A-FEAD-4684-BAD1-721AF5B2821C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4eaf43a88b14444f4a8e2ab2282321b709bbbae3","datavalue":{"value":{"entity-type":"item","numeric-id":5601829,"id":"Q5601829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3907066$14030735-F5AD-448E-ABAB-8B47C388BBB3","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3907066","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3907066"}}}}}