{"entities":{"Q3838762":{"pageid":5868667,"ns":120,"title":"Item:Q3838762","lastrevid":54495824,"modified":"2026-01-27T10:24:24Z","type":"item","id":"Q3838762","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1189060"}},"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":"Q3838762$0C3E42E3-28EB-4AA3-AD10-B682DE85504D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"19ea8f4fbf5032586130c1dc68210aed804a921f","datavalue":{"value":"0903.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838762$62108460-39F9-4D2C-9CA1-F1DEC5ED1D79","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"3920c2ee987eac94563e155e27382f1dec3b4ac7","datavalue":{"value":{"entity-type":"item","numeric-id":420847,"id":"Q420847"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838762$A86124C8-6C68-4313-BDE1-2B94703AB6CB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"990cd6918337a772d1b1155f9f93a8f7134d5130","datavalue":{"value":{"entity-type":"item","numeric-id":3838761,"id":"Q3838761"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838762$74E62ADE-7F33-40F1-952B-5A2F8AEB10C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"e858e644a5f8f9e799cff3da307c11b687abc60c","datavalue":{"value":{"entity-type":"item","numeric-id":831914,"id":"Q831914"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3838762$C0F696F3-FEF1-414D-81B2-C273A1F3777D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"aa1149445dbfd9f2ca7dd0bddef406ecc8c892dc","datavalue":{"value":{"time":"+1998-08-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3838762$0C1DC0F5-5591-495D-85BC-6632CDE4FCF4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"407654cf92f0702e03297e7fe541e25fa3f13c2d","datavalue":{"value":"03B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838762$FA8BA25F-3DFE-4EDC-AD6A-7629CF33FC0A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838762$C577536E-550D-4EC1-B018-A446CB134420","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"94388a169abc39c93a8117bbbff823cf6bb4f005","datavalue":{"value":"1189060","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3838762$EAD7F6B7-36F3-4BC8-B9B5-FAB8A8FD6624","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c3922eb0b8235fb2b824bcb3eaa0c8d395dbd512","datavalue":{"value":"unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838762$EBC08255-8A41-457C-AFFB-09ED719662F8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4534fb11d152f3d07afff716686fcf8df859c160","datavalue":{"value":"extensions of shallow equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838762$10911F8E-27F8-47B9-BD0E-94B633A81464","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838762$F084141C-477C-4391-9902-A330E597E241","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b8f384098e8f2ae4ef2ba4576b8d375f29034500","datavalue":{"value":"Horn clause","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838762$7FED6D95-0A72-4A65-8F19-4F500571E2AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7fe2f2415709197ca17d2732570ef76c1e4f0b0","datavalue":{"value":"tree automata","type":"string"},"datatype":"string"},"type":"statement","id":"Q3838762$E905384C-7A1B-4B11-A22E-FAD04D368BDB","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":"Q3838762$41AE76C9-8E32-4710-8989-78F4965B2A0E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c40c723c03d7607a80cc713931834d6b0ba3b2a","datavalue":{"value":{"entity-type":"item","numeric-id":1327397,"id":"Q1327397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"fadcf46af5c1397ec24edbbb9a8c33c5d0b2b343","datavalue":{"value":{"amount":"+0.8161174654960632","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":"Q3838762$47673872-B9BA-465C-A18B-2149BB0E7D9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"924c1e9166e3a3eee9cfe0755f37b4f78a7e7e6c","datavalue":{"value":{"entity-type":"item","numeric-id":3786020,"id":"Q3786020"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e1cae3784c64436a947c56711a9806a291a232e8","datavalue":{"value":{"amount":"+0.8068058490753174","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":"Q3838762$F07AF449-3F4F-4190-8BC8-868A5D5001B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05f1fd738e3772ede0f0ba17ed7ff0132ee75c57","datavalue":{"value":{"entity-type":"item","numeric-id":4647533,"id":"Q4647533"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7a9a1b01da72a03b2821b01e7b32513a4cc11ae1","datavalue":{"value":{"amount":"+0.7942160367965698","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":"Q3838762$148F60AC-53A6-4EE7-9E2B-48E817A20D56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a4418d767974e8ca885177c917f2c693a11f413d","datavalue":{"value":{"entity-type":"item","numeric-id":1281494,"id":"Q1281494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bfe7c4a640e17e77420f2eaaf170a418ed8ca50a","datavalue":{"value":{"amount":"+0.7934666275978088","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":"Q3838762$8EC003EF-247C-4F96-AED9-C5A635BC7762","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3838762","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3838762"}}}}}