{"entities":{"Q3703897":{"pageid":5733803,"ns":120,"title":"Item:Q3703897","lastrevid":50422475,"modified":"2026-01-14T00:42:03Z","type":"item","id":"Q3703897","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3928997"}},"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":"Q3703897$EFB4738D-CE78-4D14-A79F-6D2AA4DFB72C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2cf3d1df00f791bac41c808a2e1303be80f1fc98","datavalue":{"value":"0581.03048","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703897$11F6D8D1-FF1B-4429-AECE-BE497E8DBE5E","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cb313c50586523a1a82ffb573c59952e4111e32","datavalue":{"value":{"entity-type":"item","numeric-id":418199,"id":"Q418199"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3703897$8097E773-DEA4-446F-922F-3CBA2EA54C51","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"3c94df5c9af0ede578c52141befd29044de13172","datavalue":{"value":{"time":"+1985-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3703897$72A86B25-9B1A-4D0A-9104-87903BB03233","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703897$4478D842-29A9-45BC-A2D2-019199457E2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703897$2EB2D715-5C88-43E2-88EF-663B1726010E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"092d9a7dfbbaaa84ba458f8d83190fce94c9aa54","datavalue":{"value":"68Q65","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703897$E35A42C7-6BD3-4266-BF3D-4837E06EF264","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703897$7481983E-D463-4D21-8197-940DE68ECB5E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed4ac44229a63771ae4ded31038fe93f434bffb7","datavalue":{"value":"03C05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703897$B1F2FE3E-31D7-443C-90AF-DEEA43889F33","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"bf33f10e8993dca8529b938a71f44e19cb61c0b1","datavalue":{"value":"3928997","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3703897$E4B45C42-A7F1-43BF-9509-E85209B5FD85","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703897$59004DE3-2456-4FAA-A1EC-76F703C19990","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f1c2d8eb818134502d3ea01ad69cbed86490a59d","datavalue":{"value":"semantic equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703897$D32FC1AA-B0AC-4D56-B2BA-5D03815D2F93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c3eaf347cdd669da99e733f0d3f84efd2a417dd","datavalue":{"value":"many-sorted equational presentations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703897$D9CD2177-3A6C-4F23-8E08-E0F4AEBBAE26","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a885ab2f6bc362c78510c74e224875b78fb64b2a","datavalue":{"value":"categories of models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703897$C5F809D8-5A27-4A74-AF73-5ED11CBC30DE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a645f1ee8946a03309984f61203be8759d9dedf","datavalue":{"value":"cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703897$0F3D27C7-8D49-4643-A9B4-26BFF3FD6240","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d3d574d0bb33016cd219cd15d5849f3a8c6a0516","datavalue":{"value":"syntactic equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q3703897$EFC7CE88-0019-40C2-BCF5-4CCF9871F670","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":"Q3703897$AF9B54D6-E93E-41BB-BC1A-94423CA16041","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1a64f9fd6f1e5409551a26ee49cd56f091134dfb","datavalue":{"value":{"entity-type":"item","numeric-id":3714050,"id":"Q3714050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"83482a953ee8da8ea676a331650e08894c4aa56e","datavalue":{"value":{"amount":"+0.8092057108879089","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":"Q3703897$3BEA3AD5-5D7E-4415-A53C-09F51E69C41C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"cd61c7dca6f04275027a1d1efbc76ff2ff8e33fe","datavalue":{"value":{"entity-type":"item","numeric-id":3714049,"id":"Q3714049"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c20920bbbb2cdfa6d82d55c7ac3a4d79bfb5163","datavalue":{"value":{"amount":"+0.7922289967536926","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":"Q3703897$5D37FF16-CD5C-4C36-9B87-F54390B4A8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ba734823adc944777046576f863268cf0a8a7f78","datavalue":{"value":{"entity-type":"item","numeric-id":3749213,"id":"Q3749213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f95af610df63351df4e4bf5887e543fda025e085","datavalue":{"value":{"amount":"+0.7919729948043823","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":"Q3703897$F72ECCBB-4A41-44C4-9B9E-81F750E25D91","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b921691b4d2505e7a5c5ded47c65c86ae05c09a3","datavalue":{"value":{"entity-type":"item","numeric-id":3760508,"id":"Q3760508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a722cb71478a833c912b6d4962102da4a840ca00","datavalue":{"value":{"amount":"+0.7789780497550964","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":"Q3703897$CB7BF719-3BA4-43C3-A442-E5173DA268D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9c561b53db804a457c959caf979b5f4184a83145","datavalue":{"value":{"entity-type":"item","numeric-id":3827990,"id":"Q3827990"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4375c035ea4daca7f0a5e17e1bf3f6e6f0d05627","datavalue":{"value":{"amount":"+0.7770466804504395","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":"Q3703897$75A3AA11-9335-4D7C-A3A6-6E64A6502D6F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3703897","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3703897"}}}}}