{"entities":{"Q4411824":{"pageid":6441423,"ns":120,"title":"Item:Q4411824","lastrevid":48133843,"modified":"2026-01-03T18:08:16Z","type":"item","id":"Q4411824","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1948163"}},"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":"Q4411824$C95761A7-320B-48C0-851E-F2F301F0C7A7","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3aeb1c4d75b2b864674853fc59f34327fd9eaeff","datavalue":{"value":"1020.68059","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411824$C7FFB4C9-7C83-4965-9C14-8D02648682AB","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ea5b809448139b88cb2a62f30c2c15ff853490da","datavalue":{"value":{"entity-type":"item","numeric-id":1685025,"id":"Q1685025"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4411824$071E055E-84E2-4E8E-BCA7-1EAFED35ECF7","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a1ace7b5fa5cb53a6c5a725daaeb2e05de89fdd6","datavalue":{"value":{"time":"+2003-07-10T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4411824$0BC07B6B-1A33-40A5-B123-AAF29E0F9FF7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f30ec8a83eb2d26fa6b96c35f0c0e1b780f3772f","datavalue":{"value":"http://link.springer.de/link/service/series/0558/bibs/2471/24710200.htm","type":"string"},"datatype":"url"},"type":"statement","id":"Q4411824$5FAEF20A-3261-473B-89BE-F1214C170431","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8f412c62952107f7ff74e77578c2ab25d3e121a","datavalue":{"value":"68Q85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411824$5A7ACDB5-D83A-4367-9E4C-75AADFA1000F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411824$5EA4BA43-A3C8-4832-BBC8-C5BECF751788","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411824$BEAD7339-681F-40FC-B1E6-F3C24AB03A9E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411824$8BCE72AF-002C-472E-9138-6D2883228DD8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"629c1d7052369873e5bb6d886b68c97c70385bce","datavalue":{"value":"1948163","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4411824$136D628D-654C-4F56-B905-778F9E2E3841","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d7bfc11de8cab95fd6af201970bd9d16d39bbd0","datavalue":{"value":"semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411824$D3907AD0-AD03-48CE-816A-A38714DFA363","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"445a4fbc6b6bbba6e3c2169de8e334950d4f0826","datavalue":{"value":"concurrency","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411824$4E803645-CD50-4A9B-9E49-BD32F2CE8B4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1064434c11181964d4d4434a05bc80852e403235","datavalue":{"value":"configuration structures","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411824$74AE4A88-6781-4B2C-95A6-CAA9947D5B93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c7d4aa0d3cf1745112ae7d594a2a5578f4e767f","datavalue":{"value":"sequent calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411824$BF6F98A0-17D8-4E02-AD0C-74C093A7C1A6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dceec2f8de237c6d4edbef59a2cfbef768952749","datavalue":{"value":"Java","type":"string"},"datatype":"string"},"type":"statement","id":"Q4411824$32730BDC-4EDF-4001-91D5-F5F67E2F3BB9","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":"Q4411824$D19ACA9E-8FA5-4EDB-B03D-E919524DB8D3","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc215a8977e850398378ef9e4bc20d5d72587749","datavalue":{"value":{"entity-type":"item","numeric-id":2864526,"id":"Q2864526"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"94e648de41ca456ddb2f7f8fba2d146414740ada","datavalue":{"value":{"amount":"+0.805709183216095","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":"Q4411824$421AFA9A-779F-4B92-A607-A7E1B775FAB2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c25ca5e49a67ba513c8a109b68de4de70a616fa","datavalue":{"value":{"entity-type":"item","numeric-id":5756503,"id":"Q5756503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1750ee372d35b6c1a15d54f463995fcc5c073821","datavalue":{"value":{"amount":"+0.7347484230995178","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":"Q4411824$1AC04A45-C609-44A6-8CBB-14338498B55C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3709436caebdb389c9afab90636fadf4b733f94","datavalue":{"value":{"entity-type":"item","numeric-id":3725529,"id":"Q3725529"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"029573517523095a26709a77ce8152804f676c23","datavalue":{"value":{"amount":"+0.7285014390945435","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":"Q4411824$F43FCC9D-0BAF-477E-B373-4E069D4EA923","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6440663ebf22baab6a381fcc9e68730d33f948f2","datavalue":{"value":{"amount":"+0.7236711978912354","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":"Q4411824$113FAA50-C79E-47F6-83FB-D8C63BE36A0F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4007e753c01fa09429006922105a510e4a4e3674","datavalue":{"value":{"entity-type":"item","numeric-id":5463960,"id":"Q5463960"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a14b5718ef4703f1acb715ea11b2bca8c896b434","datavalue":{"value":{"amount":"+0.721505880355835","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":"Q4411824$5B5514E3-D122-451C-ACF8-BC6BB689C93C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4411824","badges":[]}}}}}