{"entities":{"Q3086779":{"pageid":3097494,"ns":120,"title":"Item:Q3086779","lastrevid":45416707,"modified":"2025-12-07T16:07:48Z","type":"item","id":"Q3086779","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872259"}},"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":"Q3086779$4F081CAA-EBD1-4028-A349-DEB8FE1D1BD8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"4be42f25bcd658322206acc3b42a89207ea8e18f","datavalue":{"value":"1226.03025","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086779$486302F5-2435-4E44-A512-AB0F9CE0E805","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"025155ad88f33216a4124a2c377d3f6c78a58a7c","datavalue":{"value":{"entity-type":"item","numeric-id":804556,"id":"Q804556"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086779$9178886B-7CD4-41C7-99F3-8DE3D079015F","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7689f7450ca45c5720e9af63718c2696a88f018d","datavalue":{"value":{"time":"+2011-03-30T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3086779$732ED81E-3C7F-4484-B74B-1BFFE44192A4","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086779$509D7A07-417D-4CAF-8232-820A3FC5F7D5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086779$067B68D2-A360-47E1-BE0C-4E323CADE1C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086779$1092191B-07EA-457F-BA86-3AF16E6EB161","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"6d1ec52031732a7dc8db0752c0fcd99128394879","datavalue":{"value":"01A75","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086779$4FD735AE-7815-4D92-8342-15DA2601138F","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"92e9521d030fab8561292e996e2b8a18a4a785b2","datavalue":{"value":"5872259","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086779$095C37D7-85A6-4508-99C1-6E00C7BCE51C","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9766ea21e04bbb663ab057ef2e9635b0fd3090d5","datavalue":{"value":"connection method","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086779$4F5FD8FE-DDC5-4BA6-AB48-0D7A6E77AD99","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"e61f6e458efbc8d9423292372f8fe500146462dc","datavalue":{"value":"proving theorems in Church's typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086779$4CE3441D-FA9E-49D3-A187-480D26274A9D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"162c8c826152c47bc21e01bdd0a121076fde9007","datavalue":{"value":"expansion trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086779$90D7960A-5D5F-405C-95C7-358FEE9ADC44","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":"Q3086779$9C5B8809-4C9B-4128-89A2-F9CC75C8335D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086779","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086779"}}}}}