{"entities":{"Q3880309":{"pageid":5910214,"ns":120,"title":"Item:Q3880309","lastrevid":54591611,"modified":"2026-01-29T02:05:42Z","type":"item","id":"Q3880309","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3684925"}},"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":"Q3880309$4CE72497-0F79-4DF6-871B-0E46AD8935D9","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"203e034cca71ef57d212d68dcbcaa64acb6facee","datavalue":{"value":"0438.68043","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880309$D90966C0-66B7-432C-A2E5-9621CEC8C83A","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d158e95d9652c2d0191af4ccea1d07838d2e8021","datavalue":{"value":{"entity-type":"item","numeric-id":241052,"id":"Q241052"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3880309$1841C099-A22A-4258-B5B6-70AEAA245322","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":"Q3880309$27CBB916-B720-4CAC-9E10-C69676226358","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880309$117D6F1A-B103-41E1-994E-2C35C32FE25D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"14cf74de25853c940589b125137b792dfb2d092b","datavalue":{"value":"68P05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880309$3B3364CB-742A-46E9-B010-FC6C88830E26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880309$3FD400FD-7B5E-4EB1-BF2B-5C379DD803E8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6ed618702b057009a2070ae378cd09839bebae6c","datavalue":{"value":"08A99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880309$5D23AEC8-F20F-4C63-8CCE-CBD471C4927E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880309$11E48695-C688-45F3-8ABE-5837EE38570E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8108fcb9abf2207a3c0f8e0385f675e0708a7540","datavalue":{"value":"3684925","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3880309$EAA97E33-AE2C-4035-AE54-5AE22D403A16","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42c7e9efeef02598d432e3a1e502ec0b0702c47b","datavalue":{"value":"correctness of data type implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880309$1B4CBF1E-84A1-493F-A6DA-C69239BB594E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a1b39bd0bb43db306702a59cf407f412f81c1a8","datavalue":{"value":"deciding the equivalence of expressions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880309$D3803D5E-192A-49B1-99B9-02ED4C424249","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9168a78ecc72716f6c4bac412ea5f930139f49bf","datavalue":{"value":"rewrite rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880309$53E51ED5-94A4-4349-B55E-A5190EB8A18B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ffc261566f7da0c82594315c95015231b9da783","datavalue":{"value":"inductive equational hypotheses","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880309$EB59B5A8-9D70-42F4-8E36-F9479D9B8453","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f17ea1aaf292843045de6c8e0fba1afa1d6af9c","datavalue":{"value":"initial algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880309$F138276B-BC14-4F74-B828-43E1F0C624A5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"03f55bf1df682210d59e19393fa36519cec337e7","datavalue":{"value":"structural induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880309$2D06343A-DFA2-4D08-84A0-CB03351E3433","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ab1893e1116844067419d466ded01050a1d2510","datavalue":{"value":"Knuth-Bendix algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q3880309$B8C1B576-B9A3-46B5-9544-8643AF0E72E1","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":"Q3880309$2BBF7969-3702-4CBA-85E0-278DF2175324","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3880309","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3880309"}}}}}