{"entities":{"Q4808705":{"pageid":6838285,"ns":120,"title":"Item:Q4808705","lastrevid":48324628,"modified":"2026-01-04T09:06:25Z","type":"item","id":"Q4808705","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2090037"}},"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":"Q4808705$934773FD-B4BF-47E7-89D6-5F2573DB78D2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4a8b987631018892d35d02be5d02601ceda6ec4f","datavalue":{"value":"1072.68536","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808705$DBE69BCA-D859-420C-A210-06739BB51F03","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"086e12049a4f65f0db8f7826b3d43f2cf3b6be32","datavalue":{"value":{"entity-type":"item","numeric-id":359892,"id":"Q359892"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808705$DEF53647-0F9C-49C3-A0D1-ED3C866E3007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"927e7ef26546a36b97a5cd00cbfb7b5016fcef79","datavalue":{"value":{"entity-type":"item","numeric-id":2642462,"id":"Q2642462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808705$2D0E658C-47EA-4C6C-BEA8-D1FB074FD47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f8c40e2cd3207dd1d19085f0b79e8fee7be86ced","datavalue":{"value":{"entity-type":"item","numeric-id":1624591,"id":"Q1624591"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4808705$F136EB63-19F0-41FA-8107-CFA4A122B2FC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ecbb3420f48001697e43edc0b6a7cf0adaddf1ef","datavalue":{"value":{"time":"+2004-08-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4808705$2487A181-73EE-4F84-B981-E6F606F65969","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"02f18320479c1caa141f9be816ee0bec496cf7e0","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2385/23850051.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4808705$803CC057-BF3E-4DAB-A26A-DA5A854693C5","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808705$1F0190B3-E3C5-4288-BB23-592A9B54CAC6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808705$9378CB95-9D11-4F83-BDE2-6AF636A5D786","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808705$F64843EE-91D5-4061-A37C-3724D4DEDDD1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3a600ab5875e3c5007a73176e58405f6ddfcf335","datavalue":{"value":"2090037","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4808705$6E810224-FA1B-4302-B675-0329C80F04A5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3b508d1c668c3f2ebe0545e823f48d2d5ecfb07","datavalue":{"value":"formal system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808705$A0D34820-66D6-4F61-A8BF-104E6374BC63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d68793dcec6cd2ba912519bfbb6c8f79d252d9a6","datavalue":{"value":"semi-commutation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808705$2B78FB9B-BFBF-4854-A36F-F5525C9F3DE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe4bcafda6f4df0f931e8012348533dbbf334e21","datavalue":{"value":"abstract rewrite tree","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808705$93139848-6379-49D4-88B9-2ACF8E102C36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e2d5d1132736c4dca98dfc208162e5fb8aa40ec2","datavalue":{"value":"abstract convertibility relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808705$B4B9C140-BBE2-4F86-BFA7-B88F03CA2C83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"305f396544750615b8805407cb26020e34d8a8c3","datavalue":{"value":"logicality","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808705$4D860C4C-A3D2-4E04-B1E1-DC36C8A49BD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808705$36FD7E60-8DB5-4A57-AED2-4F56EB047579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1e58ff443b0559d178d0ff5bde80eea9d8c89dc4","datavalue":{"value":"integration of logical reasoning and computer algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4808705$1A09C52D-945F-49D2-98A5-868CE18E263D","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":"Q4808705$EB610315-4100-42F1-B4EC-303E8BBEF5B2","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b68f3b5721bd1b25ff3d62063374bb9e7db91374","datavalue":{"value":{"entity-type":"item","numeric-id":1978646,"id":"Q1978646"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9b5c55ffbe9dcc1bfacfc99298862f010d9d2b3b","datavalue":{"value":{"amount":"+0.7609506845474243","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4808705$8622B1E9-401D-4E46-A1C4-180B20230DB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3b72706268ef01804c3b6cd4c5cbd1f1db7e8915","datavalue":{"value":{"entity-type":"item","numeric-id":4222989,"id":"Q4222989"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"128738fe77332a964c8c5601fc1bc859e0bd4882","datavalue":{"value":{"amount":"+0.7403159141540527","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4808705$BD20895F-3970-4C80-BA0F-37ED694220C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ecdeee46e504a55acd7bccfff46c1219fa96e652","datavalue":{"value":{"entity-type":"item","numeric-id":4842538,"id":"Q4842538"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3aaf221aa886254c1ecd166ffc098f7ea8da8e42","datavalue":{"value":{"amount":"+0.7356513142585754","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4808705$D95ED3B0-EFB3-4B96-84F3-059CFEF83CB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"11657cab5da6ccda3d74863e31abdc7ede599c07","datavalue":{"value":{"entity-type":"item","numeric-id":3820053,"id":"Q3820053"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ce375ff982a2bbeac8f6317705b3a0022e5b29d","datavalue":{"value":{"amount":"+0.7346028089523315","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4808705$85CAE33D-958F-4676-8620-251A16FEAD2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c258e25f3203eb7e6bfcfe9c250e699bd064464","datavalue":{"value":{"entity-type":"item","numeric-id":4263840,"id":"Q4263840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0f463bf6347423f003923bfc4edafd7ec19886e","datavalue":{"value":{"amount":"+0.7279082536697388","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"a327a09ea0305e98d5cf33bd4036320e19f2aed0","datavalue":{"value":{"entity-type":"item","numeric-id":6821328,"id":"Q6821328"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4808705$ECB7360D-5202-4F6B-A684-73BD82BFA380","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4808705","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4808705"}}}}}