{"entities":{"Q4483918":{"pageid":6513517,"ns":120,"title":"Item:Q4483918","lastrevid":48105586,"modified":"2026-01-03T16:13:01Z","type":"item","id":"Q4483918","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1919508"}},"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":"Q4483918$80782814-ED92-44E4-AF2C-3008689EAA40","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a376a481ab6f5639a6792280c638fe45b12cb7a5","datavalue":{"value":"1023.68062","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4483918$5CA27A63-32FB-4A1B-BE41-C12BAC0A2246","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"9457c4bbef3634c6c8881365b05e1e1703b0b2ae","datavalue":{"value":{"entity-type":"item","numeric-id":604943,"id":"Q604943"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4483918$7E59C6FD-0388-4145-B8A5-7913F5EC6AB6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a11a25f9f171df2580f6e74b03bcf0f76b0e60e7","datavalue":{"value":{"entity-type":"item","numeric-id":854972,"id":"Q854972"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4483918$3BD269FB-FAAC-4555-B636-57F3FE29994F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2b40c08a2730a883022880979a273ca836a2fb3","datavalue":{"value":{"time":"+2003-05-27T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4483918$5AE8BEFA-1F70-4CD9-8C86-13E494AA42A6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f428030894ca6e41f9ecf03e22a13b0f74b458a0","datavalue":{"value":"https://eudml.org/doc/122987","type":"string"},"datatype":"url"},"type":"statement","id":"Q4483918$1C5662C6-5849-4C79-AFFC-3DF42C2DD156","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P205","hash":"e1c95111edc064b676d9fcab36f868b5fd04276f","datavalue":{"value":"http://www.emis.de/journals/DMTCS/volumes/abstracts/dm050115.abs.html","type":"string"},"datatype":"url"},"type":"statement","id":"Q4483918$BF8AE583-043C-4A18-A34E-73F811397B4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"9b78776a56fc28cdd893baa47605a105412b838a","datavalue":{"value":"68Q45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4483918$9E91D63E-CB67-4DD0-B0D6-8E6E5BB92B5A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4483918$80C7B754-9C96-43B9-B254-14AC20C2D74D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"c9a94fe008ee66519c5bf3fb1b117f00126d4a4b","datavalue":{"value":"1919508","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4483918$5D1F399D-B6A1-4418-9819-160AF6E9A3A7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"33eaebe0f7d23cc25207e226ff2371063645c35d","datavalue":{"value":"tree grammars","type":"string"},"datatype":"string"},"type":"statement","id":"Q4483918$47342CD4-1AE2-482A-81F5-7A675AD1C07D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cc028f491ca3cd6c7521dd6f6f17a35cdad54a6d","datavalue":{"value":"proof systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q4483918$8B358F23-688D-42A9-A1E1-AC573321DC46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2eb569e5a4826a3ff40c3145de1886644e3eb7df","datavalue":{"value":"prolog implementation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4483918$39673645-D156-4A24-AD7C-2A86BE14F3D0","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":"Q4483918$9E67DC59-4673-4508-AB48-1DBB65D40FC9","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"271fcfede552631fc2402c2237d1b3ca329d9f5b","datavalue":{"value":{"entity-type":"item","numeric-id":4938615,"id":"Q4938615"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0f2e34998260a5af6fffa7c5242a6be2476beaf","datavalue":{"value":{"amount":"+0.8238316774368286","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":"Q4483918$C8D502DF-620F-42BF-A5F0-E05D16BE9E8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"09851ebc30bed72c5364044795e1958b04e88a00","datavalue":{"value":{"entity-type":"item","numeric-id":1325832,"id":"Q1325832"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7672733db779e8075b61a7043726b08fc8d0705f","datavalue":{"value":{"amount":"+0.7444220781326294","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":"Q4483918$72DF55CA-A762-4A66-B964-11C9C4E06861","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"51880cdd1d1a8273746517ba39daa5ba39cb0689","datavalue":{"value":{"entity-type":"item","numeric-id":616760,"id":"Q616760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"09b5157f62988decc6fd193c60e34b9436f3a344","datavalue":{"value":{"amount":"+0.7429227828979492","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":"Q4483918$C55FA2EE-B543-4EFC-9A66-54A4E2707EDC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e6eb6ce2081a0d78bbc5bbafd391aacb91cd7d24","datavalue":{"value":{"entity-type":"item","numeric-id":1392278,"id":"Q1392278"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7e49bc4c12c04cfece5f61fcd9dc3634a6673104","datavalue":{"value":{"amount":"+0.7414898872375488","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":"Q4483918$F7C875FD-F006-4C5C-99A3-F874EFCF1C44","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"85532ca3b30a0d409954216006a3d0755932a951","datavalue":{"value":{"entity-type":"item","numeric-id":2947158,"id":"Q2947158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ecc862f6780463538c94f9b9f4788e0961ac2649","datavalue":{"value":{"amount":"+0.721024751663208","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":"Q4483918$5F96E746-16E9-43C7-B987-2FB8C2074DAC","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4483918","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4483918"}}}}}