{"entities":{"Q4954009":{"pageid":6983591,"ns":120,"title":"Item:Q4954009","lastrevid":47475271,"modified":"2026-01-01T20:30:38Z","type":"item","id":"Q4954009","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1447313"}},"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":"Q4954009$8623AAD7-7B43-4C59-9412-A460FAE1F687","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"922770ccde7cd8da7dc0b0f220505d605ca09401","datavalue":{"value":"0940.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4954009$6495C898-BE65-4C6E-B3B3-3124E5365668","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"788ac89b31e2c7aaa535692b5b9e6f1abe572f70","datavalue":{"value":{"entity-type":"item","numeric-id":582072,"id":"Q582072"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4954009$60997708-FDCE-4A41-8333-512C6F2E7897","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"b8fc142a22f1f6784530e2dfe6b860e6fbdb5637","datavalue":{"value":{"time":"+2000-05-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4954009$E737F454-FC0D-47B1-9670-D40EFE0863A7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"ee27088858a9fd560384962ded7410c8e0ed14b1","datavalue":{"value":"https://eudml.org/doc/120383","type":"string"},"datatype":"url"},"type":"statement","id":"Q4954009$E56934E5-3A89-4754-A7C3-8EF4C1DC248E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"a5f0f98ed4496c02ac2290f1d932e4dc2c73b36b","datavalue":{"value":"http://www.emis.de/journals/DMTCS/volumes/abstracts/dm040102.abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4954009$49983DB6-6FFD-4CC0-8FC9-AD1B298C487A","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4954009$150FDEAF-A2DD-4E20-8072-CCB6F28064D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4954009$294131BB-3ED2-402B-874D-EE3C82AA7268","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"3b7750a2155e60ae5dda2798af8def9cc11041e8","datavalue":{"value":"1447313","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4954009$9A050427-3B03-4B57-8C19-0B5091913683","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b9dcfa9d1888a4530bbcff6bf5519a2fffb5c21c","datavalue":{"value":"unification of higher-order patterns","type":"string"},"datatype":"string"},"type":"statement","id":"Q4954009$9587E65D-2D44-429D-9B78-99448D382C80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e31f1c4066be8920a7f065281f6b374ec37a88ee","datavalue":{"value":"syntactic equational theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4954009$4EFBEE1B-CA16-4ACD-AE8B-0978E5263F93","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":"Q4954009$FC244FC0-B493-4870-830F-CC46E21070E7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"61eae7e66c7c93d1c776d21496d3237556e98b2a","datavalue":{"value":{"entity-type":"item","numeric-id":2778871,"id":"Q2778871"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9910d331485f2f26968213eba7903207b9ec3e7c","datavalue":{"value":{"amount":"+0.8690980076789856","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":"Q4954009$6F51DF83-4685-4689-9258-61316FA2ADCD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"364585e4c07db3bfa9ad621ad00a1bff043fc70d","datavalue":{"value":{"entity-type":"item","numeric-id":4885622,"id":"Q4885622"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08dbc085058ab8f5bfd0d531aa2235636bbad54c","datavalue":{"value":{"amount":"+0.8481525778770447","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":"Q4954009$40009FAE-E33F-4557-9A86-6AB026455475","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bd6d9e1a47e9a7e2e6e8cfde0815e7bdfac71a1b","datavalue":{"value":{"entity-type":"item","numeric-id":5139277,"id":"Q5139277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"08dbc085058ab8f5bfd0d531aa2235636bbad54c","datavalue":{"value":{"amount":"+0.8481525778770447","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":"Q4954009$DC8DBD6D-22C6-4F30-82FD-15782C255E87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357040841b6bd18fb9d302a090c8f4eddd701d05","datavalue":{"value":{"entity-type":"item","numeric-id":5044750,"id":"Q5044750"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"030a55dbf9c688f9793ff5c0399a8053f95f15db","datavalue":{"value":{"amount":"+0.839401364326477","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":"Q4954009$A20F8E80-58C7-490D-B99C-854FB8331754","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"91abb487c0341b39785fb7a47f264f7e59e1baa3","datavalue":{"value":{"entity-type":"item","numeric-id":5096303,"id":"Q5096303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f692f20b5ba73c5c7843c77ba310803effabd0fa","datavalue":{"value":{"amount":"+0.832874596118927","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":"Q4954009$09206D37-2AD3-4FD4-B6FB-6AC355165972","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4954009","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4954009"}}}}}