{"entities":{"Q5111311":{"pageid":7140885,"ns":120,"title":"Item:Q5111311","lastrevid":46185319,"modified":"2025-12-24T00:10:43Z","type":"item","id":"Q5111311","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7204434"}},"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":"Q5111311$399DF007-ADAD-4D8A-8CF7-4453B47B49F6","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"0056bea2cb2515acb43d4c5af834df91ad0d1140","datavalue":{"value":"1434.03050","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111311$5186B52C-0CCC-456D-809A-B6D9D11559D0","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"b5ce65c56afa1906ba893a540ec6c1d1df610eeb","datavalue":{"value":{"entity-type":"item","numeric-id":4637690,"id":"Q4637690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$84896775-7CA0-4D82-91C3-6118973B610B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"6cc3e39d72e1956b65012dbfcf84931423e35849","datavalue":{"value":{"entity-type":"item","numeric-id":1351997,"id":"Q1351997"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$1A1CD8A0-51F4-48B7-AEE6-A0319AA2C70C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"600d3a19753cf6cba81b7e42b63413a76fa78ab3","datavalue":{"value":{"time":"+2020-05-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5111311$A852A93E-2B74-4901-877F-E96902644A92","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111311$1E320A80-9371-465B-86EF-9BBD286B1B4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111311$98C1D878-16BA-49EE-968F-449460C9BC6C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"13311067e53efc13c2d7ae02df8a2b237475e769","datavalue":{"value":"7204434","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111311$0AF69ADF-83B3-4994-9A9F-5FC4C950264D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111311$E0D979CA-B208-4D41-B63C-F5A7BEF897FD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111311$1F845F89-1D7D-4ABE-B114-B365A1F28A06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d033aa5da80632e6cc21e548be4e712e81eb947f","datavalue":{"value":"simple types","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111311$DE2FB170-9005-46BC-B354-7B731949B248","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"12355c9b78ede2442581ca549fff86d783aecc48","datavalue":{"value":"inhabitation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111311$670BAE23-E33C-4E3D-B458-899A66B163D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7c794b97674b80b55d60ffda9fe8fe517f3e53f7","datavalue":{"value":"principal type","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111311$37EECA8B-3415-4EF3-87E7-912346CD9DD1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c5f8382ba04f9f05f645b4d0e4b9ea28f0619583","datavalue":{"value":"complexity","type":"string"},"datatype":"string"},"type":"statement","id":"Q5111311$B199056D-704A-42DE-A0C8-F281B39FE870","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":"Q5111311$45CE2EA4-20B9-4297-8FD3-17D7C7967D21","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8e1a0744dec9ef7f798033ea055c0df4ae885ff5","datavalue":{"value":{"entity-type":"item","numeric-id":3077958,"id":"Q3077958"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$8D97E5F2-B435-4227-8385-E8B5CF918C4B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5a35112b399e830d5c9cb07782fb4fe05a2e53a1","datavalue":{"value":{"entity-type":"item","numeric-id":4263863,"id":"Q4263863"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$2C5D3CA7-63D6-4E21-88AE-EBA38B884EEB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8d5d83fb5c1896876351d51b19033684002cdbe8","datavalue":{"value":{"entity-type":"item","numeric-id":3025341,"id":"Q3025341"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$94340C9E-5606-4A9E-8BEF-6D041D655F83","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47e4460a2b3d11036bcd264fbfa33e42bd591375","datavalue":{"value":{"entity-type":"item","numeric-id":5410694,"id":"Q5410694"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$98B0D7D3-D591-4094-A3F3-69B86B17A906","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dd43ac4986854b99097e8636775d035d68a195f7","datavalue":{"value":{"entity-type":"item","numeric-id":5370899,"id":"Q5370899"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$9509C4DF-631A-4B5D-8327-352CB026A61C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8803c9db4e8423ee7f977ad70e00b4dfff6ef4b0","datavalue":{"value":{"entity-type":"item","numeric-id":5442833,"id":"Q5442833"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$CF5D3143-ED84-4367-985D-427DB5822FCE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f28e3d3816e3f63dfa17debe55cd75c19026c156","datavalue":{"value":{"entity-type":"item","numeric-id":4993851,"id":"Q4993851"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$CFEF8289-283B-43DA-86F6-BC6A657455FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e5c65c1f0644e24566ab5222413e6f73b0c327de","datavalue":{"value":{"entity-type":"item","numeric-id":3188334,"id":"Q3188334"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$EFB75A82-D228-409E-A26A-1D1F2E823616","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cea085d8c059c5f81ccc8c6d0a2a9f9fb30e1313","datavalue":{"value":{"entity-type":"item","numeric-id":1259589,"id":"Q1259589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$AFE61C96-8A94-4D7F-A503-334F598009D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85b88abe23b0f79d4b8ff90e19704ca5e6b2329f","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5111311$7B42F827-B6EE-4C5D-AC9F-157EAAD6D895","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"8007c228204345182816a91f165dd1b1ed119979","datavalue":{"value":"10.4230/LIPICS.FSCD.2017.15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5111311$C054FBB8-7ED3-432E-830C-CCBB62E141BC","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4bf9b23cbce427d5113fd50005e86a2535ab2b30","datavalue":{"value":{"entity-type":"item","numeric-id":3024919,"id":"Q3024919"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e74689ff54556028146ae3ca6f563fed14df7b7","datavalue":{"value":{"amount":"+0.8417304158210754","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":"Q5111311$00CB1E2C-2FEB-458B-B70E-7564992861E4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f6753be00154def372d1205039c03b3a9387227","datavalue":{"value":{"entity-type":"item","numeric-id":3988840,"id":"Q3988840"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cbf573c0b470e5c9ccae4bd86f987d35cc7ea544","datavalue":{"value":{"amount":"+0.7970201969146729","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":"Q5111311$D5E8782B-CAB6-4A78-9793-C4305876F872","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f3fe5ce14ffaac8cd2880325c6706fc2175f085","datavalue":{"value":{"entity-type":"item","numeric-id":2708317,"id":"Q2708317"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5609264edf8e2e5e09f563c2cbd6464256b38ef2","datavalue":{"value":{"amount":"+0.780015766620636","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":"Q5111311$34A43657-DE8C-4CE1-9B27-DB6A972469A1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5111311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5111311"}}}}}