{"entities":{"Q2481241":{"pageid":2491984,"ns":120,"title":"Item:Q2481241","lastrevid":78856781,"modified":"2026-05-06T12:35:47Z","type":"item","id":"Q2481241","labels":{"en":{"language":"en","value":"Abstraction in algorithmic logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5261556"}},"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":"Q2481241$B470C515-3AD8-4D3C-9151-60816800BC3F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2d410225492ebd835898094a6b80ece54ad88c75","datavalue":{"value":{"text":"Abstraction in algorithmic logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2481241$EF29B300-DA29-48FA-9E0D-57C6B74D19C2","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"5022a14eabce8776ff99e65f8e0b46825a62d659","datavalue":{"value":"1142.03018","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481241$E1139CB4-FED7-40A7-8C68-0593ED5E1E97","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"a754f8321459a35dac94016a7d4a7c05640703c0","datavalue":{"value":{"entity-type":"item","numeric-id":704042,"id":"Q704042"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481241$12FDC94C-96A2-4061-93A5-6C2122EDAF05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fbbccabaf67c575ebb6b2634da56420ae4c40b07","datavalue":{"value":{"entity-type":"item","numeric-id":484991,"id":"Q484991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481241$20DF8FDE-F79E-40F8-BAF7-2E14FEB92588","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"e692f569038e7bcb7d3e72ba14d8d8e224046270","datavalue":{"value":{"entity-type":"item","numeric-id":169434,"id":"Q169434"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481241$99A47FF7-6038-4CE6-BEAA-1B35764FC972","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"edcb7406af4ccdd87408073788784b63fbc742a2","datavalue":{"value":{"time":"+2008-04-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2481241$DFFE8A68-F75B-4A6C-B267-7CFDBC1DE742","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481241$9ED126C9-C8E9-430A-AAA1-231DAA8B9DC2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481241$3380A223-BFBC-4962-8291-FB2CB04E2E95","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"71d62245af90bff80abd70d0d111f901041a86a8","datavalue":{"value":"5261556","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481241$7CA23FE6-603E-4F54-B520-E937D95A6BA1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fcd5bb285f2e0e9583606a45804b3a855066c821","datavalue":{"value":"Curry paradox","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481241$258E6B84-F584-4463-9267-F844FD445768","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cf7044b8d9cfb06d186451eefcef4c8aa390e155","datavalue":{"value":"functional abstraction principle","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481241$2E51A0FC-0CB4-412E-BB4E-9A46DC56CFC8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0e2c39b5b2071483b14adc3afebae10da5da0a0e","datavalue":{"value":"type-free algorithmic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481241$3904AFB8-8694-4BB8-920A-F619A4904648","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"751fca04f012e1690ecff5f485020074ed10830b","datavalue":{"value":"Curry fixed point","type":"string"},"datatype":"string"},"type":"statement","id":"Q2481241$FDB7B17F-31A4-4984-A6D9-957FCF0036E2","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":"Q2481241$AB8E0079-AE4E-43E3-BD7A-8901D3CC56DA","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d54141e0c8db828d9aa80e90cc039f012fa8b4eb","datavalue":{"value":"https://doi.org/10.1007/s10992-007-9051-5","type":"string"},"datatype":"url"},"type":"statement","id":"Q2481241$ECD60563-C603-44AF-B5D9-83FA758270EC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5da50bda77d015dbcf544f252986952a53db5138","datavalue":{"value":"W1988686825","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481241$76D1AE7B-9CBD-405B-AC8E-DE85339BF7BF","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"41c67c595e3fb47c4c8a403b67665e392ce21a00","datavalue":{"value":{"entity-type":"item","numeric-id":704044,"id":"Q704044"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481241$71E3B906-FC01-49C3-B2A0-0CDBD3D810FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"41d338c8012200830d6512bb0ac0e923701d139a","datavalue":{"value":{"entity-type":"item","numeric-id":861519,"id":"Q861519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481241$5F3A7F1F-BD6A-4459-A2CE-B78D273BEC2E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b2e1ab8d6c4a6ea4362f203e5137d4541ef80eb","datavalue":{"value":{"entity-type":"item","numeric-id":3679172,"id":"Q3679172"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481241$404310D0-31EF-41F6-959C-01ECABAA5B8B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f23417d0146cdc8808662ea4f0b0496e878f3547","datavalue":{"value":{"entity-type":"item","numeric-id":4722037,"id":"Q4722037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2481241$5D7B5AF8-C8A6-4A84-9119-017C7B45D011","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"5a7d593827af6ccb8d4003f475b81297f39110ed","datavalue":{"value":"10.1007/S10992-007-9051-5","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2481241$56E672F8-59F9-4D33-9366-AD7307E1A68E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"671c1edd08fcd3cfece842b8db8da4e9af3c1fc5","datavalue":{"value":{"entity-type":"item","numeric-id":861519,"id":"Q861519"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93882fbfb9d0273560d508a15aec55019f10d455","datavalue":{"value":{"amount":"+0.7984981536865234","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":"Q2481241$4BD1019A-2E72-459B-B0F1-676A9CBCF8C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0a2fb0c2fb7a485530955f52245cbc51ee065a9d","datavalue":{"value":{"entity-type":"item","numeric-id":1914375,"id":"Q1914375"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7540e85b6702a7346101bd3c95adafe6e5104ec","datavalue":{"value":{"amount":"+0.7212186455726624","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":"Q2481241$9AE5CA61-877D-4E18-BCC7-F55114405FA1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"50af0a0a74dab26ab63c70322d9685125b56f1c2","datavalue":{"value":{"entity-type":"item","numeric-id":4372904,"id":"Q4372904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7540e85b6702a7346101bd3c95adafe6e5104ec","datavalue":{"value":{"amount":"+0.7212186455726624","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":"Q2481241$2CC2601D-6BCA-45E4-B036-1BD105B4137D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"05d60419fc26a7927aef2b3757cefef27f7f65e2","datavalue":{"value":{"entity-type":"item","numeric-id":3413071,"id":"Q3413071"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0f31de6df50045f3dd2264ca2a496669a333c938","datavalue":{"value":{"amount":"+0.7200493216514587","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":"Q2481241$ACCF6219-48CC-4A1B-93E5-4BB000AA1813","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b19f1b266d7ab77b9d620513f0f4421ac0ab927f","datavalue":{"value":{"entity-type":"item","numeric-id":1577364,"id":"Q1577364"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8872e4c84e20e0fbf17066428ad34478b6217894","datavalue":{"value":{"amount":"+0.7057353258132935","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":"Q2481241$F80438AE-E495-4A5F-823F-C99C39EC0AC7","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Abstraction in algorithmic logic","badges":[]}}}}}