{"entities":{"Q3880272":{"pageid":5910177,"ns":120,"title":"Item:Q3880272","lastrevid":54591518,"modified":"2026-01-29T02:04:14Z","type":"item","id":"Q3880272","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3684886"}},"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":"Q3880272$21FD749B-400C-4193-A059-DCCD1303312E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"afa635951d4fef651b639acee0e119acb6538c66","datavalue":{"value":"0438.68004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880272$D05F0444-004B-4782-9C80-AD726B6674DE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4316d16b8c4c05c1311d673b279dc0b53e17691","datavalue":{"value":{"entity-type":"item","numeric-id":3854656,"id":"Q3854656"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880272$164D370C-55C3-490E-A5E3-1DB574CB4337","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":"Q3880272$2A02B2EB-EAA2-474A-9653-C4D69036E56F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880272$0AD2D15A-7A79-48B3-9C81-2FE094F719CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880272$41513DE6-6F3C-448C-AB96-23E1C47A221D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880272$1190DC56-AD81-4ED1-B23B-6BE7F962715B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c2c1bc14cfdc7229fee5c71b5c4e5c4888c771b2","datavalue":{"value":"08A50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880272$26EDBD83-5D17-4FD3-938C-97C4214E0374","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b7c154f45d64e742f5ec5b3216190757208015a0","datavalue":{"value":"3684886","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880272$15398BAF-4959-4B2B-8BCA-912C577F29FD","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"670df0e12c962ce36e0506bcb0f6579afbf52d1f","datavalue":{"value":"termination of rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880272$ADBA5267-F79C-4B49-9F50-69F84D76659F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d78cf82a099afd0e1199553e3a99f0d562d4b78","datavalue":{"value":"axiomatic specifications of abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880272$905978C2-F2CE-46DD-B9DC-50ACE148A661","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880272$07A43FBA-1ACA-454A-AD79-9953820700D5","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":"Q3880272$DA250907-50F8-44E4-ADFC-EA3D9B2B6F0E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3880272","badges":[]}}}}}