{"entities":{"Q3453127":{"pageid":5232527,"ns":120,"title":"Item:Q3453127","lastrevid":58181646,"modified":"2026-04-04T03:29:23Z","type":"item","id":"Q3453127","labels":{"en":{"language":"en","value":"Towards the formalization of fractional calculus in higher-order logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6512427"}},"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":"Q3453127$5369BC67-9B46-4FA8-B168-F6A34A266D4C","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"de2517c4a0d829fe668cf64bededf9ac8c4d1342","datavalue":{"value":{"text":"Towards the Formalization of Fractional Calculus in Higher-Order Logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3453127$EE7B3C6B-A2C9-4858-85C3-1DC3A174B1C8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"373b4fbfc2e771df9e853c7a48b76c5b2337e530","datavalue":{"value":"1417.68194","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453127$6ECFE3BE-1861-4CAE-8E0A-A159282491EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"6864315ff79197d2de8fb5d662fc4ec4fa283d0f","datavalue":{"value":"10.1007/978-3-319-20615-8_21","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453127$96319C59-989B-40F4-ACC1-E17CEAC467C9","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"21f80ae8d71f9783cdb2f9f83e88055ccf7296d6","datavalue":{"value":{"entity-type":"item","numeric-id":315312,"id":"Q315312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$B9CCD2B1-F7FE-4AF4-9669-8D44239556B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"393ef07e7673f4510d0e5689d2d44001b3ecc236","datavalue":{"value":{"entity-type":"item","numeric-id":246140,"id":"Q246140"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$2A6FDB20-45EA-441C-84B7-092109088473","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"f0d2c11253a443ddc53e205509995096ef6b865e","datavalue":{"value":{"entity-type":"item","numeric-id":246141,"id":"Q246141"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$44CD4474-8808-49D1-8D98-C10A88E86E9A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"85c07c7737819bff773f78e2590a3bb761fe677b","datavalue":{"value":{"entity-type":"item","numeric-id":162374,"id":"Q162374"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$373E9113-B87D-4E1B-948D-2242C085A674","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7bc62645abb22752583f6909ba0e58feb505ce9c","datavalue":{"value":{"time":"+2015-11-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3453127$DFD72A89-FA03-4C80-B69B-63E44C12F757","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"1c5abff28f6c62800523e2a3d04ce22b1e0471d0","datavalue":{"value":"https://arxiv.org/abs/1505.02140","type":"string"},"datatype":"url"},"type":"statement","id":"Q3453127$8F24E271-3E55-4239-826C-C2892ADFDC06","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453127$2AE4E6A9-7401-45CC-8ACA-BE1992C4FD46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3b32184511ebe8367d6433c9688358d66dd5f24b","datavalue":{"value":"26A33","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453127$E9CD2E0C-C217-4BCB-8178-48CA3BD157BD","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fef979751dce0b0eae0145385802a0e93ea221d3","datavalue":{"value":"6512427","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453127$3644EFD0-EAFB-44B2-90B3-3EA4A01E0FA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8ca7a4fc42000aeb07760f6f6890d6a8a0211f7c","datavalue":{"value":"fractional calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453127$89CDDF53-8320-4368-88F8-1C55EA077281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"39810ec381ba48fb5861c168391fa7d328efd8b1","datavalue":{"value":"higher-order logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453127$FFD102CC-DE15-41CD-8BE4-D5DBE7069112","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"22498cf86e242a38d9fe355523225aa55193233b","datavalue":{"value":"theorem proving","type":"string"},"datatype":"string"},"type":"statement","id":"Q3453127$091260C8-CD71-4658-8B1A-44F5F2483D06","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"ee80fa482e8c030191fc3263e069d0dc0cdf7815","datavalue":{"value":{"entity-type":"item","numeric-id":18672,"id":"Q18672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$A2452CC7-4DB4-4716-8CF4-B3A58C5CB24A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"66eb045e037081b6f6e8499f9fef44d8fbb7e0b0","datavalue":{"value":{"entity-type":"item","numeric-id":22240,"id":"Q22240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$40591B10-7E4D-40FB-BE5F-E4D890776A4B","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":"Q3453127$9B461ABD-0EAC-4906-8E4A-D8B23DF3E375","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"34e83bdd3e87b9b1c35b6880200089ab8b57715e","datavalue":{"value":"W1722539034","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3453127$75C864FD-AEB0-48FB-8088-F249384C146F","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"8a57fb4a5cbbbd481bdcad0240c35fcd41227e65","datavalue":{"value":{"entity-type":"item","numeric-id":716609,"id":"Q716609"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$6989AB50-AC36-45AF-B023-D487AE5C6023","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e34b8c44e244e41df1e6a71d401fe96dcb5008fa","datavalue":{"value":{"entity-type":"item","numeric-id":475384,"id":"Q475384"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$25202F45-D70E-42AC-B7F9-BFCF836E2C95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0df8b57aad01ff894f3e1a2fa0af8c2cda2bbd72","datavalue":{"value":{"entity-type":"item","numeric-id":3617586,"id":"Q3617586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$46A55D58-137E-4DEA-ADF5-B167192E797C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a4c1dc01337f1e4a0e1d984309c9112a8cd7c4e","datavalue":{"value":{"entity-type":"item","numeric-id":3577391,"id":"Q3577391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$18544202-4298-49AB-ADC9-A8A7B9F6FC40","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8b0d854fed83103869ff8ec6df6a9f42b13bb8d1","datavalue":{"value":{"entity-type":"item","numeric-id":4679023,"id":"Q4679023"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$6C432EF6-2C0F-4743-8697-0448174B5672","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"7dac16af6cf1adb18d0516e2c8db27f45fc424e6","datavalue":{"value":{"entity-type":"item","numeric-id":5327343,"id":"Q5327343"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$6B965237-F78D-44B8-87A7-3E54CABA68BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8166132535da90ab9fbb739817f1efb1d11c79f2","datavalue":{"value":{"entity-type":"item","numeric-id":5899450,"id":"Q5899450"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$2C85AF93-B460-471A-8976-B5A076611151","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8483350ee38da59bfa8de337d4632f93c3c19e19","datavalue":{"value":{"entity-type":"item","numeric-id":980138,"id":"Q980138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$DBAFF641-ACD9-4DA2-81C6-1311C0E25BA0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e62f79cac4f7463c46c39e45726d0d02afa1122f","datavalue":{"value":{"entity-type":"item","numeric-id":842161,"id":"Q842161"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$0636CB69-EDAF-4885-9863-E6BDCD7CD8E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9081a1d2809372a02d5701c117c377b3a0487f3","datavalue":{"value":{"entity-type":"item","numeric-id":3141902,"id":"Q3141902"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$E6BA819D-8EB0-4E71-BC70-44C430C9AD70","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"865c08315029ce56b657c49ca7102fe1d09d55d6","datavalue":{"value":{"entity-type":"item","numeric-id":4003780,"id":"Q4003780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$5B055FB3-E255-460E-B265-05F3F9ED4C4F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f3adf254760bdc6a67fe0e238941bea13207062f","datavalue":{"value":{"entity-type":"item","numeric-id":1211602,"id":"Q1211602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$55439DDA-485D-4903-A052-211B763A0CD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3723964af3c3ee06fda49ae1e964d47b991f3427","datavalue":{"value":{"entity-type":"item","numeric-id":5955188,"id":"Q5955188"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$F0AED770-7DE0-4EE8-A0D7-604FC605F3C1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9089bc37539a17ed2a78784a6b3bd99c3b55ade7","datavalue":{"value":{"entity-type":"item","numeric-id":948291,"id":"Q948291"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$CB3F38E9-EB0A-443F-972F-69DDD5BF5BDF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b3da78080b78dc01e0fe1a8c8984836da559f0f","datavalue":{"value":{"entity-type":"item","numeric-id":1297590,"id":"Q1297590"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$3A42E60C-2066-476E-A29D-1B17C5D70B0D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b4c04d0392844436187e776640bfe92367091e4f","datavalue":{"value":{"entity-type":"item","numeric-id":4059124,"id":"Q4059124"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$87F6FF8F-643F-4B29-B609-8737C58DE42C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0cdb160e9881a78f9c4385d9ddd2550f98b6ba5e","datavalue":{"value":{"entity-type":"item","numeric-id":2352499,"id":"Q2352499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$F6C3BA86-7672-4ABB-BE83-89762EBA431C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3d49eb451a0aa7cf50ddefb651ea8beb466724dd","datavalue":{"value":{"entity-type":"item","numeric-id":2879271,"id":"Q2879271"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$4C8C7A8D-BB6C-4867-ADF5-17CE742A7DA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"abadec2431bcb9018790b12c6085bfcbacdaffff","datavalue":{"value":{"entity-type":"item","numeric-id":2870169,"id":"Q2870169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$09084C7A-B7E6-4E9A-8919-A3672AEF7D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"111d530250f6424e47a42286e862e980ea9c7232","datavalue":{"value":{"entity-type":"item","numeric-id":948277,"id":"Q948277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$4D11916B-470D-4903-9EBF-5B8B42BF29EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c74d08b9a5573612ec5d367df53070b9980341df","datavalue":{"value":{"entity-type":"item","numeric-id":4897706,"id":"Q4897706"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3453127$8D565463-883B-4D77-BEFB-67F344E99F15","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"98aab7489954d6fb2238bffd2863f14033521193","datavalue":{"value":{"entity-type":"item","numeric-id":1680557,"id":"Q1680557"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73662ac8a0838fe05810876899b19d5b5d35b128","datavalue":{"value":{"amount":"+0.7798974514007568","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":"Q3453127$3F1A4B15-E175-4FD9-A6EC-9ECB5E07B4E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"26337fe6e19eaec81bf52689f04e37229dc4725a","datavalue":{"value":{"entity-type":"item","numeric-id":2352499,"id":"Q2352499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1d88971db2e20923deef121b0cf93350c766f60e","datavalue":{"value":{"amount":"+0.7480331063270569","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":"Q3453127$40AF1445-31FE-48E4-A20F-1C882C1ECA3B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"40a358107e0aa52d0d1913166ea142904824186e","datavalue":{"value":{"entity-type":"item","numeric-id":2364690,"id":"Q2364690"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3eee55c74696d18c289bcd793711f68e0b92038e","datavalue":{"value":{"amount":"+0.7472239136695862","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":"Q3453127$73AD137B-6688-40F9-93C3-9A1EC5D2FF34","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b5e8f8950192242021036f7a946566d5cbb1d1a6","datavalue":{"value":{"entity-type":"item","numeric-id":2294128,"id":"Q2294128"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"285e8d7282a2724d70c08e2af47853af01676426","datavalue":{"value":{"amount":"+0.7239257097244263","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":"Q3453127$BFC8C2F7-8127-4450-B978-F4E576C8AA85","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2749cb4c58b08c7fa045dd9e814a924984f324c","datavalue":{"value":{"entity-type":"item","numeric-id":2870169,"id":"Q2870169"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b79078bb3d4506e5d8c365553d02f200ead30645","datavalue":{"value":{"amount":"+0.7165514826774597","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":"Q3453127$2380AF88-6CF3-4FCF-8610-B2D187517107","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3453127","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3453127"}}}}}