{"entities":{"Q4745236":{"pageid":6774816,"ns":120,"title":"Item:Q4745236","lastrevid":37311914,"modified":"2024-07-30T09:36:59Z","type":"item","id":"Q4745236","labels":{"en":{"language":"en","value":"Methodical specification of abstract data types via rewriting systems"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3800902"}},"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":"Q4745236$B53E1560-A7F6-4FF6-9DCC-CEC678559B37","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"503c9cb2fb748524c059a4cfcb7cee64a00fd890","datavalue":{"value":{"text":"Methodical specification of abstract data types via rewriting systems","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4745236$05CBF603-3456-421F-A224-F7F48A6B10C6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e087b2adf9cdf02414c8290ec285cdb29bf3bd5d","datavalue":{"value":"0507.68001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4745236$D90502EB-A150-40BB-9418-2C0B0D67DEA8","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"ed823f942f83c360af4b89059ec2c0def4f7093f","datavalue":{"value":"10.1007/BF01001954","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4745236$BAC18A25-9AE1-44DC-8652-3171B6457C89","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"51beb2a92bc32d80e5ddef4ffe8bea1acd44a330","datavalue":{"value":{"entity-type":"item","numeric-id":281161,"id":"Q281161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4745236$E41B2189-A5BA-440D-831F-AC0FDC1FF33A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"299c62a7bb9adc9e73fd7facae1ee9d7ae362535","datavalue":{"value":{"entity-type":"item","numeric-id":2855323,"id":"Q2855323"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4745236$307D63AE-8995-405F-AD16-24DBD4956906","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":"Q4745236$74EBC4FE-D3FF-457B-B8F6-3F2A9E827FA1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4745236$6F856626-5733-4A5F-B7FE-4382F852C6D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4745236$35FABF72-22B2-48D8-B44B-6982DA07962C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4745236$997038CC-61AA-436D-A99F-AD487F9DB527","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"abfd6ba5009159f5f9c3d8c1ae0a62041ad123fb","datavalue":{"value":"3800902","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4745236$104A692D-6858-4605-8942-9C13A0964380","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4745236$BBEB7644-D0FA-4A52-984E-2B6EA38EDD8A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"87994eb840961e5165378eb7f918102952689b42","datavalue":{"value":"formal specification","type":"string"},"datatype":"string"},"type":"statement","id":"Q4745236$80BCE289-8D02-4F7E-BD4B-6435853D9B6A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c6b070c074c5790a6a87500afb11726682284249","datavalue":{"value":"canonical terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4745236$569DD00E-C13A-4068-AF9F-F56EEC7902DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"06c8954512017c7bc687623ab7d878c0b6581738","datavalue":{"value":"rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4745236$EE907E29-4874-4FF3-9318-02EEE962A633","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2b27164c1590f1d4870cf00df26a78579fe5b147","datavalue":{"value":"specification methodology","type":"string"},"datatype":"string"},"type":"statement","id":"Q4745236$F5F30F81-59A9-4FB7-81D5-A71409F9E1FA","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":"Q4745236$1C3F3A90-38B6-4C35-8E61-FF1ED6FB8FC7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"9d94c85e0c1abe18a681843ab773f8f881ef0a56","datavalue":{"value":{"entity-type":"item","numeric-id":1235968,"id":"Q1235968"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4745236$E68325DA-E4A8-4EAC-BAF8-EBB9AB131440","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":"Q4745236$FE65D791-A7C0-400D-8612-F606AB9D021A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f87c691854819eec4f1d4808c08af46178b8c12f","datavalue":{"value":{"entity-type":"item","numeric-id":4168047,"id":"Q4168047"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4745236$B5372D2E-4B2F-48CC-8123-1793F85D5C96","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3e66884a32289d3e378e73547739ed6bd32238e1","datavalue":{"value":{"entity-type":"item","numeric-id":3949956,"id":"Q3949956"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4745236$804DE8B1-B225-4F63-8E8F-8DBA7F9F119F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"feec7adbb84a3c3a6f5a96dd661472dbaac78284","datavalue":{"value":"https://doi.org/10.1007/bf01001954","type":"string"},"datatype":"url"},"type":"statement","id":"Q4745236$FDDE6097-6B81-4243-AF45-1B068835015B","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"a9ced10c469d0c5407fb92452c1904c092b7f1d2","datavalue":{"value":"W2019110552","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4745236$65611A14-85AC-41F5-98BF-EB55D7BEB72A","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4745236","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4745236"}}}}}