{"entities":{"Q3668832":{"pageid":5698738,"ns":120,"title":"Item:Q3668832","lastrevid":49974061,"modified":"2026-01-12T09:50:09Z","type":"item","id":"Q3668832","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3823108"}},"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":"Q3668832$4D2072B9-4963-4D0A-82A8-EC1EDA7A90B1","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9a44e94f46588e26475dd89d2c01043aba3babf7","datavalue":{"value":"0519.68022","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668832$BA71EA0B-F613-4B41-876A-6F501D05B864","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8d3dec6aadce844ad9d80f0e82c1b793e84236b8","datavalue":{"value":{"entity-type":"item","numeric-id":759475,"id":"Q759475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668832$3F1D8E1E-795A-4373-9986-80BD951B0A21","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e332e0a8c50da33de9aed3b5c72149985b0f0c32","datavalue":{"value":{"entity-type":"item","numeric-id":1315518,"id":"Q1315518"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668832$85F272E4-EAA2-48A4-8FDC-3E045437855D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"5fbd8c7da17d66c54bce7bc84ca4e59a6cd43774","datavalue":{"value":{"entity-type":"item","numeric-id":1054462,"id":"Q1054462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668832$4EB5631D-C0BE-4844-B6AA-76563F0B6E77","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"dd7ac892781478f70f1c8a7c718d3968755db59d","datavalue":{"value":{"entity-type":"item","numeric-id":915440,"id":"Q915440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3668832$C1497DBE-79DF-4C0F-822C-F0190D456FAC","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":"Q3668832$484BC34D-B0C2-4A35-BD1E-BFDD192E6A38","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668832$0004CD20-474C-46CF-B14D-32DA07B116C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"474de7448e74518dbd873d11e05481f35ccf96c8","datavalue":{"value":"3823108","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3668832$75B926A7-A49A-4424-B1D0-4CBBBF6083E9","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668832$66B61BA7-70C9-4CB0-8BC1-19535123DA23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"891506b790fcfb2265bba17b1f3a4b1846bd472d","datavalue":{"value":"conditional algebraic specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668832$2579F81C-46AF-4E1F-81EF-DA7E93D7A0B8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668832$11FA2A0A-6732-4869-9C7E-E8AFD63CE215","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668832$FA4C320A-327E-4CAE-AA4C-4C393FBA576F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fed6dc5fae383c64697e865923528f6de27c77a9","datavalue":{"value":"Curch-Rosser property","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668832$B17272DF-9B5A-4401-97B4-62ADB6B48C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12ac1d90ce0f859da20ae55064a02b136bbc6bbc","datavalue":{"value":"reduction strategies","type":"string"},"datatype":"string"},"type":"statement","id":"Q3668832$43D81737-806D-44E9-9952-96FA281F787F","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":"Q3668832$07DEA6B2-E648-41A6-81CE-473030FDF997","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3668832","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3668832"}}}}}