{"entities":{"Q2946592":{"pageid":2957312,"ns":120,"title":"Item:Q2946592","lastrevid":79591772,"modified":"2026-05-06T14:16:43Z","type":"item","id":"Q2946592","labels":{"en":{"language":"en","value":"Higher-order term indexing using substitution trees"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6483102"}},"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":"Q2946592$71D58457-2158-4B58-81EA-CAD0DBB66B80","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"a56576bc45247490e8a42a93dde31d9d0f8e474f","datavalue":{"value":{"text":"Higher-order term indexing using substitution trees","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2946592$8FC70EA2-3F3C-4BB0-B2C5-28E59D96829F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"29c2df8e5f65ab736dfd3c93aa7fc12fd7b6ed38","datavalue":{"value":"1351.68064","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946592$5BCB67A1-0217-4602-97C5-BD8AB5F7991E","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"730830e85858c220a152d67ea317c9495ca665b8","datavalue":{"value":"10.1145/1614431.1614437","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946592$D4B31D69-C151-43AD-AEDF-95C54CBC782D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8825a5f48e59e5b1e1510e59d52fce48da47c37b","datavalue":{"value":{"entity-type":"item","numeric-id":229739,"id":"Q229739"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946592$B5642E74-6A18-4D4C-B5C6-DDDC8F5ADA51","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"ae5381e7211b64f5f54296c18dfaf60be613ba86","datavalue":{"value":{"entity-type":"item","numeric-id":2946565,"id":"Q2946565"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946592$A7F83E78-D4B0-4C56-A8A1-159E08579BEC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"ce093f9954be490f07dc8f1174896bb5ed4d11b0","datavalue":{"value":{"time":"+2015-09-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2946592$7B73D421-2856-4DB8-A0A3-10A5D40A8C74","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946592$E297E880-4C88-48CD-B6AE-BC9C9746EE73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946592$FF1AEE33-AD68-4F76-A135-7B5594581EC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3affb2aa66be15f2a63c60d2aaa92bd143e6d46","datavalue":{"value":"68N20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946592$4A569129-CF18-41D7-9743-833311807F1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946592$DC2BBACF-CB90-4F5F-8A8E-7F40B7A38055","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"209dd64d87cff3b32997fd5f0b4a8e94967f1b63","datavalue":{"value":"6483102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946592$B1B70F95-F860-4F1C-A347-9ECBE46F9855","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a3d1ede154af145f32d96fd914e8671c42a5ea8e","datavalue":{"value":"indexing","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946592$D02EE165-2BD3-4892-9215-ACE674DCFFA3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"66040eec798fa7d182443c16b59531175d83cf5e","datavalue":{"value":"logical frameworks","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946592$052F8941-DF0E-4E87-B488-67E0CF4C02AC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2946592$6EFE0072-A423-457E-956D-201C07082C4A","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"040fe209bf9959da562393c0e37eb31592733af3","datavalue":{"value":{"entity-type":"item","numeric-id":18957,"id":"Q18957"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2946592$59614B36-18A5-4E5B-BA1D-9B4A37E92550","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":"Q2946592$3F650EBE-DA19-4639-97CF-4813713617B9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"8b44d1db759591d99beffd5b0b5b688d019a32d3","datavalue":{"value":"https://doi.org/10.1145/1614431.1614437","type":"string"},"datatype":"url"},"type":"statement","id":"Q2946592$BA88ADA4-9278-40AE-B674-515E87B9B263","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6d964f2508748f9e00954dde879d870a42fe7225","datavalue":{"value":"W2105146990","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2946592$A5E5BC8B-6926-459A-ABE1-A405290931C1","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a48829934ffe88982a7c25fc927ae7128256c38f","datavalue":{"value":{"entity-type":"item","numeric-id":5191491,"id":"Q5191491"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe41093b78d43be0213857c6f78556d82f6a49b","datavalue":{"value":{"amount":"+0.946862518787384","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":"Q2946592$3BA9D2DA-BF2E-47CA-8CC2-14D532FE624D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cfba51e8cf11ec8a5bcae61702fc471c80fd7e1","datavalue":{"value":{"entity-type":"item","numeric-id":2751378,"id":"Q2751378"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd3dd89a61c091a9e11cf0376378e1dc8550dac4","datavalue":{"value":{"amount":"+0.8008195161819458","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":"Q2946592$023B3BA4-ED39-4766-935D-B1106CF1C163","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33b4b215b3eb8653f97a6eae9c3c8cdca09ad22a","datavalue":{"value":{"entity-type":"item","numeric-id":5055823,"id":"Q5055823"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"758ef19c4498e512c395f26064fe58b6f391a55a","datavalue":{"value":{"amount":"+0.7939249873161316","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":"Q2946592$8B1DBE66-AAF7-41E7-A654-22243E85A190","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9e7cb502bbb0ef8a19cd5b5e6f20b14fcf8aadd6","datavalue":{"value":{"entity-type":"item","numeric-id":4524770,"id":"Q4524770"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"012284ed833ef1eba4dec3ecf5cdf8b698fd1902","datavalue":{"value":{"amount":"+0.7685953974723816","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":"Q2946592$ED4806FD-BB4B-426E-BABB-17F467CB734C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6e950ef837bdf8d3836c8d59ca29ccc7318026f7","datavalue":{"value":{"entity-type":"item","numeric-id":4647547,"id":"Q4647547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0165790344574bb5d1c038fd51a838cb88a14307","datavalue":{"value":{"amount":"+0.7679876685142517","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":"Q2946592$524EE47B-BC7B-46BD-98A9-0010AB00951B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Higher-order term indexing using substitution trees","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Higher-order_term_indexing_using_substitution_trees"}}}}}