{"entities":{"Q4011724":{"pageid":6041522,"ns":120,"title":"Item:Q4011724","lastrevid":55172017,"modified":"2026-02-04T09:51:06Z","type":"item","id":"Q4011724","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 67036"}},"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":"Q4011724$0C53D033-402E-426E-B3D8-B6B4C7E913D5","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4e2b9899c92c8051fb8230e2faa271ccedec07df","datavalue":{"value":"0749.08004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011724$C2C4789F-42FC-4EE2-A238-48074A01730A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5fd62271fe98c7ff9916cafed51cf35315eeeb31","datavalue":{"value":{"time":"+1992-09-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":"Q4011724$A3E4E6D5-A9A1-43E9-BC51-CBC3994B8416","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"20bb5571a1bc4300de51d23c463eb631840cb343","datavalue":{"value":"08A70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011724$E0E69D1E-9B25-4FE5-839C-32D2F0E165FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011724$6F42B8D0-D2C6-4825-840A-AA3FAAB6E6F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011724$C825036E-2062-4AAC-B17F-E8DF10FE3BC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a81ca5b8726a2034b277ccf6907b245cba0e29b4","datavalue":{"value":"08C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011724$9F55EBF2-E032-489F-8E02-5D59689B96AC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"ac88f099617bddd25955cd4260835994424b373c","datavalue":{"value":"67036","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4011724$3475020E-F0AD-4577-83F1-4CB6BA1E50F4","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5e7170adfc12d4ec9e9729f40a690ec3038d6d04","datavalue":{"value":"many-sorted structure","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011724$AF099D66-1E3E-4CFC-9BEF-E0315273A38F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5d4c78b4580c4eb5646552823e5a0533e1d770b","datavalue":{"value":"axiom system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011724$1720C7EF-2FBF-444B-A9DE-B2E2E0BFD1EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a9b3de026255ded5d38c502bbd9d152d4eb45928","datavalue":{"value":"typed equational logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011724$1424EE4A-959C-43F4-95A1-14F32AC30004","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3e1daee68cedeeadccdf496f924561e3065e4444","datavalue":{"value":"abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011724$0CAEB4A0-6E94-448C-A84E-C456AF5CA630","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c18c574205736600b59eed6948d56477892f601d","datavalue":{"value":"error elements","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011724$128E7AED-49EF-4D04-B66A-23CE7F879B59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f80a6156516df70b37a33b899f76d6c81a899df2","datavalue":{"value":"TEL system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011724$CEC221CB-47AF-46D5-8D1D-55622CD1380F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"558e71566b26b3dda50abda18242cf92360c266a","datavalue":{"value":"typing relation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011724$D565A55D-B636-4BAD-9FA8-220FA45FA622","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76c5a7727c35a9a9a597817654f6d2d73886f3df","datavalue":{"value":"stack algebra","type":"string"},"datatype":"string"},"type":"statement","id":"Q4011724$4B87ADC7-EE19-473A-8C2C-BF510AC1E05D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e6b7374f2a36b6f31d25661dc144b6ff92094e72","datavalue":{"value":{"entity-type":"item","numeric-id":243840,"id":"Q243840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4011724$2E907328-F5CD-48D7-A207-2E3A230276FE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d4e73a6f6ccb7e8687faa022e777bcbb77b1f201","datavalue":{"value":{"entity-type":"item","numeric-id":353353,"id":"Q353353"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4011724$49AD2BF7-91C5-479B-8597-3CA203B4FF0E","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":"Q4011724$3844386B-43C6-4A9E-9DE7-6447A16F7CF0","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e94f076c24613935a2021c8bd5dde0d2cdbc0d5","datavalue":{"value":{"entity-type":"item","numeric-id":3975158,"id":"Q3975158"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c984f236ed2c74bbcb7f0e540b9835ca0ec47f72","datavalue":{"value":{"amount":"+0.8075188398361206","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":"Q4011724$3F22F11B-4B3E-405F-AAFB-14DFEC900267","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1e505749ad60d4adff3755ab6e8607c4dd5cc609","datavalue":{"value":{"entity-type":"item","numeric-id":1185017,"id":"Q1185017"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"da082df31b75724d26eba429525f3a4ff4f19b07","datavalue":{"value":{"amount":"+0.8075186610221863","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":"Q4011724$953CFD15-8E0B-49E6-8A2A-EBAC75C0FE4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cfdd5acbe26388746d2d1645d05b6efb14fe58d2","datavalue":{"value":{"entity-type":"item","numeric-id":1891249,"id":"Q1891249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a5b70864e855718dc30049a418bb08e2eaf7f1aa","datavalue":{"value":{"amount":"+0.7385845184326172","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":"Q4011724$5427A2F7-E922-4812-8463-B0DBA1548CF5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4424c639e43965ee40eae97bba9bb67c453c4691","datavalue":{"value":{"entity-type":"item","numeric-id":752689,"id":"Q752689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d037e2b69b4658ca18a15779f989eb7e37cc73b","datavalue":{"value":{"amount":"+0.7335858345031738","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":"Q4011724$5C7BA2B6-92D4-4A66-B9A3-00B39F03EA57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a7eba7b04dd5f01cda67c9197e6febeb9fa4a63","datavalue":{"value":{"entity-type":"item","numeric-id":3028333,"id":"Q3028333"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0e4ac2b2227febca60f31b1c34b64e3c86533103","datavalue":{"value":{"amount":"+0.7292396426200867","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":"Q4011724$DCC4D360-A1F0-4BE8-A1B8-74EB2CC780A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4011724","badges":[]}}}}}