{"entities":{"Q3757892":{"pageid":5787798,"ns":120,"title":"Item:Q3757892","lastrevid":51774893,"modified":"2026-01-19T23:29:43Z","type":"item","id":"Q3757892","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4006231"}},"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":"Q3757892$52AFF1CC-9D58-4636-8E18-74DE81AF6C44","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c86cbdff82906ea37dcb70704f9d8e7cfa37c97a","datavalue":{"value":"0621.03005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757892$4388A186-AD05-458D-BB07-F02D25FC3674","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e5b8f10bfa71ad09a3b4f89f9b45cf95b09bba60","datavalue":{"value":{"entity-type":"item","numeric-id":3347283,"id":"Q3347283"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3757892$08AF4375-9131-4747-95E0-2C45DB9FD950","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-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":"Q3757892$CDB2CB4A-7F9B-430C-B100-8A7B02360087","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757892$4799EE8E-1F43-4D44-A16D-A158499940DF","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"0c9ba38242f311891f752ffc9e97d625b92fcf4a","datavalue":{"value":"4006231","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3757892$0F3ABE7A-C67C-4193-B1A7-E6100DF34698","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48db56a0cbe58d41eb8f436c60fdcdeacb74ada2","datavalue":{"value":"Production rules","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757892$3065CF15-AEF9-424E-A1E2-BF6982DE79EB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3ca9ac4485e3a23f401e55c7a35a4f662db20df8","datavalue":{"value":"term schemes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757892$837B5308-F197-4215-86C3-A0936E3A85D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ac708066b077a4cbf2f59c943781969d75d6d03","datavalue":{"value":"equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757892$87E4AFA6-4650-411D-B236-330AC3BCF0EF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"057a98acbff007880a1e977b5937bac91a445c70","datavalue":{"value":"unifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757892$BCCD574A-5CA4-47B0-B563-E00BD8FB4528","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"58acf4952d5f9adc27bc95a2037859c88d48f9a6","datavalue":{"value":"term rewriting systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3757892$D76E6315-EBDA-4380-8FE5-E1BBDFAB4964","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":"Q3757892$5E92B854-250E-47A1-978E-DDEBA8956FD3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"516dd297a14393600224b343aca8705e81d0953a","datavalue":{"value":{"entity-type":"item","numeric-id":3347284,"id":"Q3347284"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44429e838a913b2a2502bba4d77a3a839e9127bd","datavalue":{"value":{"amount":"+0.8778358697891235","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":"Q3757892$083BE718-D1F8-4565-9819-38BA5EFA004E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f72d4116d823a59d64e156820479bb3d14da773d","datavalue":{"value":{"entity-type":"item","numeric-id":3484358,"id":"Q3484358"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e253842b29b159561faa5372acd286f6c0e7886d","datavalue":{"value":{"amount":"+0.8157131671905518","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":"Q3757892$481C3CE7-4149-4AB0-9AA7-88DD27F31861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a9ef0c0a23baebfb6aff4039a40956035a32b8e","datavalue":{"value":{"entity-type":"item","numeric-id":5308463,"id":"Q5308463"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"84a01584c07420146cd14381f1df6d1b33436582","datavalue":{"value":{"amount":"+0.8010745644569397","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":"Q3757892$58490E07-3C47-460F-BB96-2E9F037567AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e109b9f11344699638ca9094255f165a26ccefe1","datavalue":{"value":{"entity-type":"item","numeric-id":1187660,"id":"Q1187660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5aa7408cc11eff03a62c879b6357f65ff965726e","datavalue":{"value":{"amount":"+0.7914262413978577","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":"Q3757892$2E624929-C49A-449A-B010-F887E5D2F6DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"83cc65cdf2044d1a4d927398a719f7ab76181f0a","datavalue":{"value":{"entity-type":"item","numeric-id":1077161,"id":"Q1077161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4deed7e35c30819d525e3e7b2fb9a46cc6a2a419","datavalue":{"value":{"amount":"+0.7897137999534607","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":"Q3757892$0369D478-B6D6-489C-91C9-5241A688F3C7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3757892","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3757892"}}}}}