{"entities":{"Q4518868":{"pageid":6548461,"ns":120,"title":"Item:Q4518868","lastrevid":47540773,"modified":"2026-01-02T00:50:55Z","type":"item","id":"Q4518868","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1538013"}},"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":"Q4518868$3D126D3F-8225-40BA-9161-9F83326796BC","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"dcecdca9ab48d61b0a7d2c2101834bc5ae80296a","datavalue":{"value":"0962.68182","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518868$CF3EDA14-86D6-4DA1-B241-9F613A943CFD","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"fc7ec21790103636efca01e6fa4eaad09f809b22","datavalue":{"value":{"entity-type":"item","numeric-id":1853751,"id":"Q1853751"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518868$0701E60A-863C-4FAF-9BBC-E6F35AABC8C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2d621ae714d9ebf86952ba3492185c54e860b09a","datavalue":{"value":{"entity-type":"item","numeric-id":909442,"id":"Q909442"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518868$45429174-E94A-4A56-840F-B59561A24AAC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7adb119921e441e297327ff60c1a7864930c815e","datavalue":{"value":{"time":"+2000-12-03T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4518868$DA00BAC0-276A-4A8D-B3DF-F33C741D0F5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6be78f1bad1f2f19058dbde65eb124c0430a7d27","datavalue":{"value":"68W30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518868$A3F010D3-E66F-49F7-8B59-B10D6BE43F53","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67b8f2bf7ab7e4f6a46231dd13439103d67a8e1e","datavalue":{"value":"1538013","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4518868$8C4925B2-CFB7-4766-AF48-1AEDE53B2AE0","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b5547aae54d9e32e8c72158a72d70b09835211b8","datavalue":{"value":"type system of Aldor","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518868$DC2F891B-43FF-4380-A432-EC50F8BC462B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"314b562a56cc10d1dc90c90f24e72878216dcb61","datavalue":{"value":"axiom library compiler","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518868$5AABF446-C94E-452A-8B2D-392C9B336829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2a1f2afb5ddc8bb89857816167d35eeb53ee5282","datavalue":{"value":"type-checking system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4518868$5A9B1BAF-C0C2-40C5-9E28-FF60AADD92B7","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"9be356095db48eeb87b32ad4a9ed90e1148f3bd8","datavalue":{"value":{"entity-type":"item","numeric-id":13960,"id":"Q13960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4518868$87202E0D-7648-4620-BDF0-673BB513A239","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":"Q4518868$BE9A770A-6AB8-4146-91EF-3522E29C98ED","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"af1beee31534f5fdf3423e30b414cdf96651017f","datavalue":{"value":{"entity-type":"item","numeric-id":2751550,"id":"Q2751550"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1a2611a23ce69d1ec6cd9404f4fc8621bfcf7d31","datavalue":{"value":{"amount":"+0.873604953289032","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":"Q4518868$BFF8FAF9-F65C-4E26-83BF-CDB4FA43F556","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d3d6ed80ac6f0b48ef638c4c563b12afa12c6ec8","datavalue":{"value":{"entity-type":"item","numeric-id":1895394,"id":"Q1895394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ff3ba7bc47025b5133d59e67dee3a590ce88f7e0","datavalue":{"value":{"amount":"+0.7617469429969788","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":"Q4518868$2F55B362-687E-40FE-A555-E668A92D2DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eaec44bd1c91f8b77980442de2aa049a643ee4af","datavalue":{"value":{"entity-type":"item","numeric-id":1895401,"id":"Q1895401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b595dc7bf403e6f599378d486032da635e18caa","datavalue":{"value":{"amount":"+0.7599625587463379","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":"Q4518868$8FE4F147-4BCA-4E83-930F-27023A074348","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"941b1236acbc8e079c1aa9b5b6f37342905adb91","datavalue":{"value":{"entity-type":"item","numeric-id":4282537,"id":"Q4282537"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1dbdf2c3790844ec29118427d70d8c5bb771ffcc","datavalue":{"value":{"amount":"+0.745585560798645","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":"Q4518868$213320F6-4604-42A5-BA68-DC0A45DB50B2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0042015b41786e044dd99deff20f6e3f5bf51d99","datavalue":{"value":{"entity-type":"item","numeric-id":4265397,"id":"Q4265397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a0916803c6ed6023c6249970791bc07c4b2550df","datavalue":{"value":{"amount":"+0.7416873574256897","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":"Q4518868$F5D57D9E-DF80-442B-9E17-C29C78DB39BA","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4518868","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4518868"}}}}}