{"entities":{"Q4390387":{"pageid":6419986,"ns":120,"title":"Item:Q4390387","lastrevid":46522011,"modified":"2025-12-24T23:21:12Z","type":"item","id":"Q4390387","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1156046"}},"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":"Q4390387$856ECE7D-73CB-4B6E-82B2-2732C22BF31B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"b638f89d78039c4974dfbb64924e13de50934c14","datavalue":{"value":"0903.68121","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390387$69617CA3-2722-42D4-B691-E049C26E6BF4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"eeb592013cf86fbad105dd187737207a0942bd3e","datavalue":{"value":{"entity-type":"item","numeric-id":520232,"id":"Q520232"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4390387$C4D4209D-63D0-4F93-98BE-025A7F2A62F5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"06d25b49ebf67c4a2ee03b64e6e4d55517ef70b3","datavalue":{"value":{"time":"+1998-05-25T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4390387$F7812317-3B63-440F-BCF1-F862AA1DCE58","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390387$EA4C99D7-A6B7-43E1-85A6-7D4E4A7C3BE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"98c5206e338942c77451c20a9a5ffe8ae1a4cf18","datavalue":{"value":"68-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390387$3C5D83A2-1FC3-4747-AD9F-6B043E5E6DAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390387$A5650F7A-5626-4425-93E0-DF9B380108F1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"62724ed6219a668ec689e118c2a954f87e961b31","datavalue":{"value":"1156046","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4390387$AA7A19A7-4984-4E6A-BD03-58A77FD3EE83","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7ac263324871a44dcbba67d80bbe91e299cc16","datavalue":{"value":"formal specifications","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$AB9E4E19-B00E-4AA8-9D32-E38BDD2D2477","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"19de6affdb1ba772c772b8d14fa3ed4bab919573","datavalue":{"value":"integers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$CA8EF3D2-7704-473D-9762-28246104B7BA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f186f84fc0bcf92275538169b3c853a0201a220f","datavalue":{"value":"booleans","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$D4DD7EA7-07D0-4C96-BF4B-B2E60EC09C79","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d1b1b57278dbfe0191664931a2598a7540b5af04","datavalue":{"value":"lists","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$D8648D19-F824-4FD7-B229-962A2C52E317","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0429ee50e2d52b97211c82b6623249a62ba21adb","datavalue":{"value":"sets","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$52BE0AA2-42E0-49EC-86D4-E21E8FDBE2D2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b1b637ce835cb863da2bc2f21dc990737c370b6e","datavalue":{"value":"bags","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$E8E5B661-C3D7-4DA1-8BFF-81F2477A1CDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5a664fc87eb2216b1fad976387dcf6ff589b12b5","datavalue":{"value":"term rewriting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$291030FC-9555-4B84-BB2B-CD3E97684DA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f796ed2b460346bbba92264dac0da22a5120d5d","datavalue":{"value":"recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$A3D5FFE8-0A7E-4C03-94FB-CEAA9435B1FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3c6e6f13e308e7e28c37554ecc0101d13c6c9cb0","datavalue":{"value":"quantifiers","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$81A44F03-122A-476A-892E-DBC7E2E96576","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f9ac4ef6ef6c5f8856ee80195276e724e0b6225a","datavalue":{"value":"correctness","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$725AFFF3-1226-4EAE-A791-AC2742455573","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a4e32a11601988ddd24993ebae4107593fdc118","datavalue":{"value":"structural splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$5ED8BB86-B88E-4418-B49B-B4E2B647DC86","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"711d19e8f4bec45cd36a1fadea485602dd3c1c8d","datavalue":{"value":"predicate splitting","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$3ED2499E-69F3-4108-A0F1-8E506DCD68C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a6ac4b750ccb5249d2f74b6d7c34c917396f145","datavalue":{"value":"PDL","type":"string"},"datatype":"string"},"type":"statement","id":"Q4390387$F76F9CD4-CCD5-4507-AB6A-45D56F26A3E6","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":"Q4390387$7F4DA924-A0F5-498C-B1C6-4015D156FDDC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a012828af28715095621720ac7318dde4d8f552d","datavalue":{"value":{"entity-type":"item","numeric-id":3157875,"id":"Q3157875"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"aba66e4f5cfb5e775816c70841764d34cc9f892b","datavalue":{"value":{"amount":"+0.838092029094696","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":"Q4390387$4188A300-4031-4D3A-8619-47CE9816256A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0eedb96580d97485b232bd5e4c5676595c138adc","datavalue":{"value":{"entity-type":"item","numeric-id":5388976,"id":"Q5388976"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4cf59184dc0fe669fec95459a727ff39a6ceb453","datavalue":{"value":{"amount":"+0.7824268341064453","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":"Q4390387$1DB824FB-544E-4F66-9743-9CF01E025CE1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6b03667700a933ce52cb3a50d828d4220df0e227","datavalue":{"value":{"entity-type":"item","numeric-id":3339261,"id":"Q3339261"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d6a55e85ddab2a40d6c5b4a2869cd440e4a207c9","datavalue":{"value":{"amount":"+0.7797313928604126","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":"Q4390387$D1D2DDBA-894A-48DF-8B6B-A96C1415AE0D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4390387","badges":[]}}}}}