{"entities":{"Q3667939":{"pageid":5697845,"ns":120,"title":"Item:Q3667939","lastrevid":49957498,"modified":"2026-01-12T07:19:50Z","type":"item","id":"Q3667939","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3821100"}},"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":"Q3667939$D3E41B8F-1AA4-4DFD-B21F-A5828E642F49","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"d44072a1314f80798337fb757a3eb83eb856c60a","datavalue":{"value":"0518.68025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3667939$397F92C5-7F74-4460-A5C9-DD63C80004C3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f5fd864542907a2da8db322de1436438bd84c826","datavalue":{"value":{"entity-type":"item","numeric-id":579929,"id":"Q579929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$D5403473-4627-4A24-B16B-C37434E9D85B","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":"Q3667939$121E207D-EA72-4CEC-A93F-07AB8282976F","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"4277ee1a6e5bd1771774c9276a5ecf0b22614cea","datavalue":{"value":"https://eudml.org/doc/92169","type":"string"},"datatype":"url"},"type":"statement","id":"Q3667939$1B43CFAF-19FD-4C2E-A392-E8A420E73233","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3667939$E907B5DF-3B54-43C3-B386-AE060C444AFD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"74287531639ce8f6777f644e1b628a923268e5ae","datavalue":{"value":"3821100","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3667939$158B8369-57A4-4CB0-ACAC-BE3BF74108CB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667939$EA6E20DC-A989-41E7-B383-A0F53288C88E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667939$8578AC8A-D923-462C-8F9E-31DBF9B54BEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"556d07078d8a489ce76b0137cf03ab1710ae0223","datavalue":{"value":"recursive path ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667939$A83CD82C-DB61-4CA7-B1AA-C16742300D3F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0cf8348ec0c4659fa004b62766f571d5f71cec33","datavalue":{"value":"decomposition ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667939$E161C450-4F96-4BF1-B382-1054FB7BCA2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4befa4ca20f2beabcfa09e8a92ae13c21cb4934a","datavalue":{"value":"termination","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667939$D114B3A5-56A3-40E8-A9DE-6D5118F3C77E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4722b4564f40f0888f86babc6abbf0b5fcb6de21","datavalue":{"value":"left-weighted terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667939$EC53359A-745A-4B55-A36D-256CA9EF8BD3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"42e5d9644f34ab0e0df5cf2c289a3a44d22c6c26","datavalue":{"value":"recursive lexicographic ordering","type":"string"},"datatype":"string"},"type":"statement","id":"Q3667939$6C153A38-5936-4BFF-BD15-21234E9EEFCD","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":"Q3667939$0CCB9306-7415-4B4B-884F-02AB58F803A1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"378088a63ec20245823db74d6a8845609e39ce21","datavalue":{"value":{"entity-type":"item","numeric-id":593789,"id":"Q593789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$BBB04EFF-8ED6-421F-934B-3CA14D27CE2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e0f4147474a7e5a4baf84f193c7501316743b5b5","datavalue":{"value":{"entity-type":"item","numeric-id":1139374,"id":"Q1139374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$C42A5E4C-4039-4DB7-BCDB-B637694CDA7C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a7dd076536f3668f703f8f8e17b2cfee8106654e","datavalue":{"value":{"entity-type":"item","numeric-id":1154801,"id":"Q1154801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$0FB91EBE-D30E-4A5D-B437-4BCC07FB2348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"fdeb57f4e5d37efa40bca3185df7185c3f2accb6","datavalue":{"value":{"entity-type":"item","numeric-id":789177,"id":"Q789177"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$38AB3C39-2F08-4C45-BD64-B097DECA760D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc6482fda869c7df0ed32fd6ade8f790a1ff04cc","datavalue":{"value":{"entity-type":"item","numeric-id":5585020,"id":"Q5585020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$74027053-FDE5-4D16-9102-9BF23BF66B29","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a1e0b4fc54e8c62a86959e50d4b1b27d9d9a092c","datavalue":{"value":{"entity-type":"item","numeric-id":5581665,"id":"Q5581665"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$3104EF1F-A61F-49AF-B9CD-1C4DBE999575","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"11e5b43c5f0e711ef91c4f8e7255199d25558fbd","datavalue":{"value":{"entity-type":"item","numeric-id":5541375,"id":"Q5541375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$331791FF-5182-48A2-B4E4-20006A85A721","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8b953cb2cd1a42b9069e57d498e21a22c77afbe","datavalue":{"value":{"entity-type":"item","numeric-id":3868738,"id":"Q3868738"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$C8DC1C27-F667-4143-A213-C9E88F9203D7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0ed0853d5d25943754f0b88d3bc5a4e688b584cb","datavalue":{"value":{"entity-type":"item","numeric-id":5734436,"id":"Q5734436"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$773FAF2C-335C-4A9F-915B-9C8C6DB9D914","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2eca81f9fdd20e2c49645c4efb07abd9a2d842cc","datavalue":{"value":{"entity-type":"item","numeric-id":1165004,"id":"Q1165004"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$6D41F27D-0CC7-4A78-A5F8-C2DCD500B69C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"89e6b612eb3cb0e65ff83e8cd8762940dc520785","datavalue":{"value":{"entity-type":"item","numeric-id":3659124,"id":"Q3659124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3667939$11A7185C-01DB-45F5-B597-2D63257066DB","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3667939","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3667939"}}}}}