{"entities":{"Q3647204":{"pageid":5677110,"ns":120,"title":"Item:Q3647204","lastrevid":58224636,"modified":"2026-04-04T07:33:50Z","type":"item","id":"Q3647204","labels":{"en":{"language":"en","value":"Complete types in an extension of the system \\({\\mathcal A}{\\mathcal F}2\\)"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5640486"}},"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":"Q3647204$1E5FA690-0145-4E6D-BD7F-21002979788B","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0dc7c5f22384f9f255051014d7f9bab3822d977e","datavalue":{"value":{"text":"Complete Types in an Extension of the System <i>AF</i>2","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3647204$1F1E7BE5-98DE-4E2B-956D-DE73F61A046F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"6512b20254f07f24157407661f718dc7bae815fd","datavalue":{"value":"1185.03011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647204$21472E08-A14B-4AB6-9C69-CDFBE3024DFE","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"daf6ef6717c5129e3f551d0675f1e3d1672f8665","datavalue":{"value":{"entity-type":"item","numeric-id":2773018,"id":"Q2773018"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$84196C12-D0A9-4B40-AF6D-5AD73B9FD0AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$360B6C8A-74E5-49AD-848A-6E64F5655294","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"932edb623e9fc48fa0c14766bb48b251dc113bb4","datavalue":{"value":{"entity-type":"item","numeric-id":2901187,"id":"Q2901187"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$B7A37290-7208-470F-823C-6188B9603F81","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0282e8a69b73ad7ee83a673994f773268a123e65","datavalue":{"value":{"time":"+2009-11-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":"Q3647204$79516A98-33F5-42F4-81D7-9669DE2D2D2D","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"e0beb9b4179f4b568b7e16e3e8dbac3c966c0f16","datavalue":{"value":"https://arxiv.org/abs/0905.0371","type":"string"},"datatype":"url"},"type":"statement","id":"Q3647204$AF9C1857-221F-4EFC-A468-05FA1EAF6A2B","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647204$1B35A347-976B-4E52-ADFC-F9BA25437349","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a0222e57fceeb2d2d8373ebbf00edc77232df05d","datavalue":{"value":"5640486","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647204$4699D42F-B23C-47BF-B329-9CF1E3C13B47","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1d0be9499513cab99c365386d73b08808150674d","datavalue":{"value":"system \\({\\mathcal A}{\\mathcal F}2\\)","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647204$B83656DB-43E8-4A19-98CC-C933C5059631","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f75bd1c1cb042c87009c03ec4bfde7aefade967a","datavalue":{"value":"type with positive quantifier","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647204$D38A4A0A-5A41-4695-95D5-D288A3484D22","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6c42bafc08a72b737e361d841d2c1c771fe8d34a","datavalue":{"value":"complete type","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647204$02FAEA0D-02CB-48AA-AD00-E76F3D432CDD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fe403560b16acc6be8aae0480f4c9361f09c2f9c","datavalue":{"value":"typed lambda-calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647204$C06D3036-F879-455F-BED9-54AE4F4307BD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1f85919ece7aa48b9b2aee6fecec6d5442587933","datavalue":{"value":"second-order functional arithmetic","type":"string"},"datatype":"string"},"type":"statement","id":"Q3647204$513E0CEF-E6FF-4FE8-BCAE-869035AB25B6","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":"Q3647204$66963992-5049-4ADE-9760-FCF45E591416","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"fd5ab8400ce8cf43f5cd058f5229c00708411fb0","datavalue":{"value":"W1965619950","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647204$EE044D29-842D-493F-B26E-F1DA0E1A571A","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$3496F5F5-4960-4C8E-8590-98041966745C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1463bc9145dde1ffd210d6809ebbc8df1d1a40d3","datavalue":{"value":{"entity-type":"item","numeric-id":1079357,"id":"Q1079357"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$C2EDFEC8-636A-467B-9396-989EEC4791D9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f13839e2eb1c1841ca6e6b07eb6f9393aaa84307","datavalue":{"value":{"entity-type":"item","numeric-id":4389762,"id":"Q4389762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$92840F99-C5CD-458E-87F0-2E54145BDC95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62728de11085b2637852fd5b2e4cd2194b3b9d02","datavalue":{"value":{"entity-type":"item","numeric-id":923069,"id":"Q923069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$0286B5F3-F3B6-4D5A-9787-38093F5EA524","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c1e93b7524b60bb9ab3f8d71fd24ac2451f79309","datavalue":{"value":{"entity-type":"item","numeric-id":1326769,"id":"Q1326769"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$D25D6743-D69D-40B5-90B6-A1DFC6A13407","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1b66940d7b39b59c08a38d642cee7cc824de22a5","datavalue":{"value":{"entity-type":"item","numeric-id":1110312,"id":"Q1110312"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$B38CF503-7D49-46A4-9947-5ABBF1FCD265","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a6675ad1e95dc5c7786d22319f6ffbd9aaf5f5","datavalue":{"value":{"entity-type":"item","numeric-id":4888346,"id":"Q4888346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$DFAD7DEA-8EE6-4C14-8658-84343A0E62AA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a79be20ebfd5ee7d1d0f26c24fdc0c829f69d48","datavalue":{"value":{"entity-type":"item","numeric-id":1382182,"id":"Q1382182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3647204$0593ED55-4251-48A3-8B74-B6725410C941","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"0e9a8aad418c237b7f46ad4f37cd5153cda3f2ca","datavalue":{"value":"10.3166/JANCL.13.73-85","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3647204$7993C9C7-F6D0-458D-8C04-05B1E413477F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14179756e5f5bb4145190af8e32e074a3ab5c623","datavalue":{"value":{"entity-type":"item","numeric-id":4389762,"id":"Q4389762"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"895ff3d0d1ab2ee5bfbb7d12b2348f8fa6a22ccd","datavalue":{"value":{"amount":"+0.8207454681396484","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":"Q3647204$1E0D2D7A-9951-405F-9A3A-EF733376ED39","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"de188b4ce95c982fab8c08a33a4cc033b1b46ece","datavalue":{"value":{"entity-type":"item","numeric-id":4405696,"id":"Q4405696"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f85048ee19df96ac42ff07c0ddae9d2adda1477","datavalue":{"value":{"amount":"+0.7410781383514404","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":"Q3647204$D9BEED41-176B-4403-AA3F-852F59A823B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"aac00bfb186d8dda9d55b5cac0875f10e393feed","datavalue":{"value":{"entity-type":"item","numeric-id":5096246,"id":"Q5096246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4f85048ee19df96ac42ff07c0ddae9d2adda1477","datavalue":{"value":{"amount":"+0.7410781383514404","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":"Q3647204$222851E6-C762-4AC4-BB5F-F8D85DF10E35","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"489a766bb3e64c0bead973707666651809090f16","datavalue":{"value":{"entity-type":"item","numeric-id":2350605,"id":"Q2350605"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7340bf6bd78c031342aa8c39ac6f10f4651c47cc","datavalue":{"value":{"amount":"+0.7330203652381897","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":"Q3647204$07D7A3FB-F9F6-4CF6-9221-86D2E44C3192","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2f882fbb5c093cdbce3a74ef1a413d19bc1c2fc0","datavalue":{"value":{"entity-type":"item","numeric-id":4525290,"id":"Q4525290"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3ecf8b12c242b430da77ccef4c74f5bbaef4df0f","datavalue":{"value":{"amount":"+0.7269561290740967","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":"Q3647204$CF1F15AD-6FDA-428A-843A-DA6400D4544F","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3647204","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3647204"}}}}}