{"entities":{"Q5900734":{"pageid":8007050,"ns":120,"title":"Item:Q5900734","lastrevid":93573719,"modified":"2026-06-05T04:37:53Z","type":"item","id":"Q5900734","labels":{"en":{"language":"en","value":"Optimizing higher-order pattern unification."}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5695425"}},"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":"Q5900734$5552CD3D-7B0D-4AD2-AA40-9D1E52504A31","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"7e7c3f040a8feb248e6dc29a1def291c92088958","datavalue":{"value":{"text":"Automated Deduction \u2013 CADE-19","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q5900734$8428E8E8-14CA-4508-BC56-7DBF72266F6B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c04b49ede0db14f8d5bd8aedb6c56e4337d14637","datavalue":{"value":"1278.68278","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900734$6FE4AB3C-6FB2-4B9B-AB03-3D03FBEF80FF","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":"Q5900734$AD8526AB-6738-4918-B265-382DF168BAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"1a33736bad804e6a530176061e0a43d6da42cd52","datavalue":{"value":{"entity-type":"item","numeric-id":476188,"id":"Q476188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900734$077B6172-96A1-4E65-AC90-47CAA7F4AF8B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900734$3F50ABFB-93E5-4357-9FF8-2908CC8C66E7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"2c61bb6d282cc95675f5b726985d020f8b0e6f23","datavalue":{"value":{"time":"+2010-04-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5900734$06EA950D-14B7-4212-A7A0-75C33828CB37","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900734$FB1E2CB3-6280-4767-9FB1-5A25B119792E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900734$98930826-82BA-43F6-A61B-0893392E0FBD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"421a39b810d9da41841203ad009b2605f0c173fe","datavalue":{"value":"5695425","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900734$732B687C-499A-4924-8999-18D927D18627","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"e3e00406e30ce785ebbefaf806da7a5b8ebf8458","datavalue":{"value":{"entity-type":"item","numeric-id":33172,"id":"Q33172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5900734$E9534B37-7DC6-4DDB-B9D6-F755EAD45FFD","rank":"normal"},{"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":"Q5900734$591BA116-B658-43E2-A69F-C02332A30301","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":"Q5900734$71ECA648-DD24-4EFE-9B6F-B08727DCF864","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c1c668ddb4fae172b1931ef73496e5bcbc0e7e0c","datavalue":{"value":"https://doi.org/10.1007/b11829","type":"string"},"datatype":"url"},"type":"statement","id":"Q5900734$BD3E7474-5293-4D21-84E2-FC93509D9A91","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5f2de3997ca74820eaa5379240d8d8210d2079dd","datavalue":{"value":"W2483160171","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900734$CB002DEF-3713-4F39-981F-BEABC892B3BB","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"77803cf595c8808153636f8e001b2ddb16a0f0ed","datavalue":{"value":"10.1007/B11829","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5900734$32577BF6-1941-4F90-8CEE-9824DE5BAA33","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"508fa49989c7376f2b506817376494f41654f6ac","datavalue":{"value":{"entity-type":"item","numeric-id":5475791,"id":"Q5475791"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e46630e5e5f047257135e000807bec345f63a29","datavalue":{"value":{"amount":"+0.7753534317016602","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":"Q5900734$B4A4D521-5883-46DE-A10C-58B226630C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ed145bb1bfdf88bf61addf8aabaf438d796501bc","datavalue":{"value":{"entity-type":"item","numeric-id":3613420,"id":"Q3613420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3b28cc985de321552189bc6dfea5064face507b4","datavalue":{"value":{"amount":"+0.7682260274887085","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":"Q5900734$FD6717D0-8C0A-4696-9DB8-33733FEACA87","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":"9d9eb6c1fa2772f46b8a8a522c0cde3bd260c4cc","datavalue":{"value":{"amount":"+0.763283371925354","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":"Q5900734$DC38C116-8D19-4A6A-8429-A7445CFCB0CB","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":"366f31f5038609619c31e17b9f0e648826ac2ec2","datavalue":{"value":{"amount":"+0.7550999522209167","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":"Q5900734$E9F0DE05-01CE-4E2E-A0EA-6BC198A8B27B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6fce87e1e4581922017d2f5560c916cadcfe98fc","datavalue":{"value":{"entity-type":"item","numeric-id":5055872,"id":"Q5055872"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"366f31f5038609619c31e17b9f0e648826ac2ec2","datavalue":{"value":{"amount":"+0.7550999522209167","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":"Q5900734$61B5FEEE-3B9D-4DC6-8A7D-2DDAACBBE3BD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Optimizing higher-order pattern unification.","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Optimizing_higher-order_pattern_unification."}}}}}