{"entities":{"Q4793036":{"pageid":6822616,"ns":120,"title":"Item:Q4793036","lastrevid":74696355,"modified":"2026-04-14T23:56:39Z","type":"item","id":"Q4793036","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1870424"}},"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":"Q4793036$E4EA99CC-3A92-490B-B7C8-7C3E80201B1D","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"539125f3b95f26fe5da0e55f3314f8953a047cdf","datavalue":{"value":"1069.03019","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793036$3CEE0878-CAF4-4597-A9E8-FF91F3BCF71B","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e92b917b4b1f15c6d190a36e7f0ba33b1c478458","datavalue":{"value":{"entity-type":"item","numeric-id":688569,"id":"Q688569"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4793036$FF1D1D82-DB30-4392-8BFA-B0326ACF3F09","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"fd06b85e820d9a6a030d7377f177d55fded7c36b","datavalue":{"value":{"entity-type":"item","numeric-id":862852,"id":"Q862852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4793036$EC75A828-FDE5-4758-AC53-4132CF4C5EBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"6cbfeed17e22be2fe3d5c6a8c998eb54116ca1a5","datavalue":{"value":{"time":"+2003-02-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4793036$505180C9-18BF-4358-997F-4D3ABE35ACE0","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793036$2584459F-0B3D-4C28-8C88-53F648D7D13A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793036$2678C391-E773-4CCD-B692-404B8596CC43","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"136db5bb8708e52501dec32644ab90fd42c4c538","datavalue":{"value":"68N18","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793036$431BAC46-8A16-465F-B4BC-4325213E4FE6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793036$5A1F44BA-CF96-467D-A293-A7E2E5E26F5E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"67ec364522cf238e66b1cd157dd7564e84956956","datavalue":{"value":"1870424","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4793036$E51372EE-51FE-4C37-81C7-700541ECCE06","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"18905cc5e2eca30d07134312e190d49bd9973f3b","datavalue":{"value":"variable type logic of effects","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793036$0E11D247-FBEF-47F0-8684-3058DF290D8E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5b876698d821b50cd7ba02ddb5424ed80f1905d8","datavalue":{"value":"lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793036$7732C42A-88B3-4DA4-9ECF-C74A45C9C154","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac37e15010826a988ea75f944cbeef0ccbc8d4d3","datavalue":{"value":"two-layered theories","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793036$425879B3-9F64-490D-9522-C6E39BD27C23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4dac5de8e537c71cd90df166682399621b2f7fbf","datavalue":{"value":"program equivalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793036$B3D027CC-B77F-4EB6-BF9C-4EAE79AE89EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"136e7e1dfb4d971005725a903c80117f48dddae3","datavalue":{"value":"algebraic abstract data types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793036$5D7EFE22-7CB0-43E8-873D-A90EA14C489A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"672da20668da8afeb7b7261087b1194bfec4fc35","datavalue":{"value":"Feferman-Landin logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793036$94228218-A17C-4431-B494-18FD2C26CE7B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"96dc387a4085925780ab15d7e08bd90df4cad374","datavalue":{"value":"uniform semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4793036$7AD523F3-CC2F-4896-8631-247882DDEEE6","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":"Q4793036$B1F5B70C-3559-4611-8112-A5B01D407848","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"28b86250bcde3e3e79493f2c9f551fbef943de10","datavalue":{"value":{"entity-type":"item","numeric-id":598302,"id":"Q598302"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfcf35ae089994c22373126b773fb6ee97284eef","datavalue":{"value":{"amount":"+0.9110735","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793036$80600442-4B38-483E-9E14-802675980E08","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"96e028a004d49e0a3a9ae4342c363e314e434ed5","datavalue":{"value":{"entity-type":"item","numeric-id":4465171,"id":"Q4465171"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"6004e04b566bdeb8b98314492419d9c031ce3a35","datavalue":{"value":{"amount":"+0.8988172","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793036$FC393118-54D5-4C82-8190-1F51063121E0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c594329f9ce3f0cf648c158c8a8928fdbb975e5","datavalue":{"value":{"entity-type":"item","numeric-id":4011728,"id":"Q4011728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e9f57aaf1dc125db9e2bc521c59985d8c4158526","datavalue":{"value":{"amount":"+0.8979608","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793036$504A3B89-ECB0-4157-BDC2-A54A0FC18836","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0db5a169a9fcf5994a8c82222b9b2cb818408a33","datavalue":{"value":{"entity-type":"item","numeric-id":4532728,"id":"Q4532728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73ccd01c9211f28fc96da700dc367410630b4034","datavalue":{"value":{"amount":"+0.8882573","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793036$F42350E2-ADF8-4FF8-A871-D503944ECEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2f203a1ef10d44a8a95feedee480fc08e6120b3","datavalue":{"value":{"entity-type":"item","numeric-id":5406038,"id":"Q5406038"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"bca28fb76eff94e09455fb85ce9eca09f83377fd","datavalue":{"value":{"amount":"+0.88756377","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793036$CB987DF3-CF5A-4FE1-A415-0F5519865C48","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a96f8716fcdde95b44e2cf039251f221fb0c8e11","datavalue":{"value":{"entity-type":"item","numeric-id":3142555,"id":"Q3142555"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4886cba884474ac84e7c385a080478931a1fb0f8","datavalue":{"value":{"amount":"+0.8833226","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793036$70443FFA-8504-4E54-BEF1-DA1976B9ECF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ef56cbd93e2d7de1b1f0b6644883240a54c3222","datavalue":{"value":{"entity-type":"item","numeric-id":5532530,"id":"Q5532530"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9e26531b451f7bf17c5efb7b25c429250b90f4d4","datavalue":{"value":{"amount":"+0.8826567","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793036$20653906-AF7C-4BB2-9383-572C8865330B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"32926ffd910d3d883ed2b8267b06322a580f7630","datavalue":{"value":{"entity-type":"item","numeric-id":1325777,"id":"Q1325777"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"48dc2b7be5abcf17d46490a2a4a9fe4d6d123619","datavalue":{"value":{"amount":"+0.88076866","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793036$6F871676-44C8-40D9-9D44-2B23D560D590","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a340bbb509c147a01d000cf3d29d150bc07e816","datavalue":{"value":{"entity-type":"item","numeric-id":2220485,"id":"Q2220485"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8532cb18f0978cd161bcd857a742f69f72d18d81","datavalue":{"value":{"amount":"+0.88031274","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793036$0707F105-0C8C-45B0-A46F-3EF8EFA982CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fa8d6d39c36cb55518638244a2b4486d8ac71b3","datavalue":{"value":{"entity-type":"item","numeric-id":4342082,"id":"Q4342082"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"16299a3908114a6ffdfca3f4a9f66d86371280ac","datavalue":{"value":{"amount":"+0.87949294","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ac3c626774dcd0d16f89557f66586245841a01db","datavalue":{"value":{"entity-type":"item","numeric-id":6767936,"id":"Q6767936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4793036$9752C6D9-927F-42FF-9453-688CBBBF9129","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Scientific article; zbMATH DE number 1870424","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Scientific_article;_zbMATH_DE_number_1870424"}}}}}