{"entities":{"Q3142164":{"pageid":3152880,"ns":120,"title":"Item:Q3142164","lastrevid":47204929,"modified":"2026-01-01T00:16:01Z","type":"item","id":"Q3142164","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 445157"}},"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":"Q3142164$AA90AD99-990E-4821-AFB0-1DA3AE19C57E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"12c4d0681db8dd5c90e5b8f2e13a264fe294e3a6","datavalue":{"value":"0797.68026","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142164$3304F566-30AA-4385-AD10-031E059EB3F1","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"f2f45b23775d9b9e11912244a38aea5f4e1129af","datavalue":{"value":{"entity-type":"item","numeric-id":235604,"id":"Q235604"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142164$D610F421-8AFE-425A-8313-3F6C1A942B36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"ffcbaae663fdd44dde18d8343056deb33f781162","datavalue":{"value":{"entity-type":"item","numeric-id":688568,"id":"Q688568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142164$9322A222-C2CD-49C4-9EED-F70F65D90CD4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"c5548a7b3c7ed4d552de9e4afd56242ea9f22139","datavalue":{"value":{"entity-type":"item","numeric-id":1198660,"id":"Q1198660"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3142164$E032D38E-8CAE-48BA-B801-AAF8E6BFECBA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"c7749606556d7f0cc2f0d99e82d171059b0e62df","datavalue":{"value":{"time":"+1993-12-05T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3142164$8028B590-CF76-40C0-8738-0404ADB736DB","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142164$8D4E6F7C-1F87-4529-989B-B1AD18B71489","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142164$EFAA67DF-05F1-47F8-BDED-7C56D3033196","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2dadc98705f8cd14b4c8bbaddf8f4cfdb537c1b8","datavalue":{"value":"445157","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3142164$79A8993C-3FE2-48E1-B4ED-DB42E24A7950","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"48fe5da30f2000a910dd1a06f280ea2b3174328d","datavalue":{"value":"decidability","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142164$B3EA71C1-C13D-404A-B064-C94D2C126D8C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"07672cd9efb7a614e96dc9a58bd5b5685cbf3a1d","datavalue":{"value":"type inference","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142164$A109DCEB-BB2E-49B6-9F3E-C2FBDBA6350D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"8eca44589a0aac974222e28940942fe788a09838","datavalue":{"value":"type assignment systems","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142164$8455441D-9365-40EA-AB56-D8750CA03C4E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"14d84a39f7d277d59bd9e0565999aa9a6eed7d1c","datavalue":{"value":"\\(\\lambda\\) calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142164$6409F177-E0C9-4634-983D-DBB36EECDEE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ac0086f482dc0b62f859c14a0c4ebace3e23acdb","datavalue":{"value":"semi-unification","type":"string"},"datatype":"string"},"type":"statement","id":"Q3142164$4167ED47-BB56-40B6-A2C2-60A56FBA0A7C","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":"Q3142164$03C71FB0-5E3B-4F4E-A264-FE48D6F3320F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7d50b0fc0789bf37d6680a8284fff3dfac089653","datavalue":{"value":{"entity-type":"item","numeric-id":3976029,"id":"Q3976029"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728ecd7bb675ccdcda62c9a6e4d8bc4acdc5fc16","datavalue":{"value":{"amount":"+0.8597511649131775","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":"Q3142164$5BFE121E-696C-4CEE-A6D8-646B6DC6F7A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"ce3a08a6d629c133ffc12dc11354926d33a92305","datavalue":{"value":{"entity-type":"item","numeric-id":1322480,"id":"Q1322480"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"728ecd7bb675ccdcda62c9a6e4d8bc4acdc5fc16","datavalue":{"value":{"amount":"+0.8597511649131775","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":"Q3142164$C7992DCA-D71F-41FE-A5CF-992EB9813CEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b4ddf68208fec3d1423a51d071151463ca40b4ae","datavalue":{"value":{"entity-type":"item","numeric-id":4764610,"id":"Q4764610"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1b62964e7b6dc4745ceea42b74d4d4936296764d","datavalue":{"value":{"amount":"+0.8481512665748596","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":"Q3142164$CBC88278-C7A0-417E-A182-E5A108FDF8B5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de130555eb69cf97ad1ff27332a93c8b10c7601d","datavalue":{"value":{"entity-type":"item","numeric-id":2851085,"id":"Q2851085"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"854e6d214422ed9b32b696d838b697d0f5dfeb70","datavalue":{"value":{"amount":"+0.8431780338287354","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":"Q3142164$C1C74320-7E85-457D-8E43-896148AF6283","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"653be8663f5a7e6d0c4c6a727275cb039cfeda99","datavalue":{"value":{"entity-type":"item","numeric-id":4281489,"id":"Q4281489"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"afa749e0d0ca78a0177edf8116eb5dd1cb4065b0","datavalue":{"value":{"amount":"+0.8283363580703735","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":"Q3142164$EF016791-FF98-4D89-A8F2-DD0177A5FAEF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3142164","badges":[]}}}}}