{"entities":{"Q6544113":{"pageid":14155257,"ns":120,"title":"Item:Q6544113","lastrevid":55668529,"modified":"2026-02-17T20:43:00Z","type":"item","id":"Q6544113","labels":{"en":{"language":"en","value":"Solvability for generalized applications"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7853724"}},"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":"Q6544113$72B53547-EF98-4CFA-B2C0-566EDF2485B2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"63be9346718f681c1a931a4b6bfa7e172dad1c38","datavalue":{"value":{"text":"Solvability for generalized applications","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6544113$63CEE2BD-BA84-47CE-BE79-57D3CC7CC30E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"df48354d45aca8cc3c54f7e13226fecbe336c2c0","datavalue":{"value":"1541.68086","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544113$92CBB415-4D98-4E15-8C3C-E3128588BA81","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f1dca62213c403be08a72765d5013cff559684e6","datavalue":{"value":{"entity-type":"item","numeric-id":654905,"id":"Q654905"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544113$076AFC54-2913-4D68-9890-EE4FF86246E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"0a5181150d5684e2b4f8d1de754638231dd9b1bf","datavalue":{"value":{"entity-type":"item","numeric-id":2233420,"id":"Q2233420"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q6544113$4E065533-1A0F-4092-B2A9-614328504982","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"eb446d46e1c3c1f4c9c481337a64fd2c7b9ecce2","datavalue":{"value":{"time":"+2024-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":"Q6544113$A9428CAF-DD99-48FA-8D38-18E67B324B4D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544113$1CB20ED9-732A-412D-9ED9-872D9E3043F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544113$7A052ED2-928C-4AD3-BA6C-4DC4EDD2A252","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c636094cc8b933189eabd7c009d327f829bc6ac4","datavalue":{"value":"68Q42","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544113$FB10E590-BFB2-4F71-8C0B-99DF093FF597","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a3eb211c180381c0ae5a4a62b551bb8f56859569","datavalue":{"value":"7853724","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544113$86E7BC9B-259B-4E1A-AEB1-2F4740F5FAEB","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96125518bbd73c679654439d2a0c9178b4d2695c","datavalue":{"value":"\\(\\lambda\\)-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544113$4DC420D9-155F-4B2F-8853-826EB2691327","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6f6d445e36d9a5a976ab3db2d676f545e60e0c5c","datavalue":{"value":"generalized applications","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544113$FEB228DD-3C98-487B-8042-37B0AFD5D2B6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d08be6f7ad8da62ec6e1cfb385e8cc060cd14529","datavalue":{"value":"solvability","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544113$072409EB-4895-4EEC-BE76-76A2512B6DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6a847bc19c2f415d08c3f03b641b2e3f4753a644","datavalue":{"value":"CBN/CBV","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544113$331671D3-8EF2-4748-A1DA-07BEE5D3A30A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ff0c42d08166ed1e0da2c69a606b133f8bdb136","datavalue":{"value":"quantitative types","type":"string"},"datatype":"string"},"type":"statement","id":"Q6544113$C9EF36E0-77DE-4190-AFA1-16A923C896EF","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":"Q6544113$7162CDE3-69F0-4958-979C-ECF1AF92002D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c7f7886c6947f1eec96211e38093534446e03fcd","datavalue":{"value":"10.4230/LIPICS.FSCD.2022.18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6544113$CB55CDCE-CA05-4942-AEC0-774343B05F4D","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8dd486debe120183a427f389e05aa28ef4e8b0c3","datavalue":{"value":{"entity-type":"item","numeric-id":4953339,"id":"Q4953339"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"446710f0d68bbe035317581eb379a07190ae9407","datavalue":{"value":{"amount":"+0.8318725824356079","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":"Q6544113$6B68914D-EDE3-429E-8C9B-34322A50AA0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b12692beb3302c9ef86135b2604f9a32fe0b17c1","datavalue":{"value":{"entity-type":"item","numeric-id":5410667,"id":"Q5410667"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f095dd139d8f29939260362621dd05abd642632","datavalue":{"value":{"amount":"+0.7921581864356995","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":"Q6544113$A22F1792-7545-48C5-B9BD-E02104B0FA8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"42ab787a90ccfd54f428542a5e92f5d43984db2e","datavalue":{"value":{"entity-type":"item","numeric-id":2900255,"id":"Q2900255"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e0ed6f0beabd440d97c76c5c0d45d65f5b93fe14","datavalue":{"value":{"amount":"+0.7917724847793579","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":"Q6544113$3717B6DC-26FD-438F-A933-670F05C07E22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cf4ffae6f3566de2132b572b8cb1a809631e056","datavalue":{"value":{"entity-type":"item","numeric-id":5739897,"id":"Q5739897"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10e7bbf70e0f3d08c6f1d2fa03516fd538d5abf6","datavalue":{"value":{"amount":"+0.7869688868522644","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":"Q6544113$92325FDC-45AF-4701-8B5B-C6B576EFE2D8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c56ce5f5bf93bdc994251d2810fee66f8f426f5f","datavalue":{"value":{"entity-type":"item","numeric-id":5277841,"id":"Q5277841"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"34c292ead0d1a4019f682b321ea0ce9b4aecbbfe","datavalue":{"value":{"amount":"+0.7461273074150085","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":"Q6544113$1E1CBBF1-0345-4273-83E3-9ECCBB5484DE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:6544113","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:6544113"}}}}}