{"entities":{"Q3086780":{"pageid":3097495,"ns":120,"title":"Item:Q3086780","lastrevid":58105155,"modified":"2026-04-03T20:02:29Z","type":"item","id":"Q3086780","labels":{"en":{"language":"en","value":"Andrews' type theory with undefinedness"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5872260"}},"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":"Q3086780$13ACB0FC-9C15-470A-9416-64CE2DC2F4FD","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"bccf6916116e38f35051d6b9926e5c3edde43bdc","datavalue":{"value":"1226.03017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086780$23536EA5-2CC1-4DCD-96E2-59836A6BEC5D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"596956d13d65318c3063740527340bc624646ab6","datavalue":{"value":{"entity-type":"item","numeric-id":174773,"id":"Q174773"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3086780$616406D3-EEE4-433E-8B4B-D4954B4EDB25","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":"Q3086780$FD97F151-5A95-4FD2-B231-870402D6C958","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"b7c6138bf19bf82556376632a5345925609d48d8","datavalue":{"value":"https://arxiv.org/abs/1406.7492","type":"string"},"datatype":"url"},"type":"statement","id":"Q3086780$547ECB09-22CE-49E4-9DD7-CB828DD32DD1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086780$25721426-3659-43DD-BD83-07DE7C496523","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086780$57E9AB73-5D28-4CC4-86B5-59C002723B6E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"d7f9c46ae21db1a0a382b74f99405ed540ee6211","datavalue":{"value":"5872260","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3086780$7A225469-5FF8-4A99-BCFB-D3AF17D355AE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"83ec546827372f5afbd4cd5bc7d537ff18f9fb48","datavalue":{"value":"Church's type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086780$1071CD0A-D8E6-4F03-9A38-359B2E7014EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c996370c0387428a853f39eeb89fc349f339f572","datavalue":{"value":"undefinedness","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086780$AC34718B-3AA9-4B56-A56C-94739D4343CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"267ac4b520b92d38fa7738b971032d21f377aac6","datavalue":{"value":"Andrews' type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3086780$EAC43D5F-4E3D-4078-B21F-D3FD1DDE76B0","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":"Q3086780$22B7B83E-4346-448B-94EE-9121FB8FD6D7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"056d99038d1d8ddb4ba7029279836f5f7c947374","datavalue":{"value":{"entity-type":"item","numeric-id":5753924,"id":"Q5753924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b908a372669188c8af71d2754934d2cbff42a0f9","datavalue":{"value":{"amount":"+0.7018639445304871","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":"Q3086780$8E469197-D867-4588-9C14-8FC3A3324F4D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a093ed16f06aa5234c7de14f87d109dc8958a012","datavalue":{"value":{"entity-type":"item","numeric-id":5307081,"id":"Q5307081"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f5805551b5b13097b7e9c1f4e8b1f7fc50ee888","datavalue":{"value":{"amount":"+0.7007346749305725","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":"Q3086780$F931D3D2-3B93-49BF-A321-DC79F1639DBD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"357b53b89a79b04debc98fd060dcba4afcc2ec7b","datavalue":{"value":{"entity-type":"item","numeric-id":2364672,"id":"Q2364672"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a297c4287c127a871e8608563c9ce372099939a6","datavalue":{"value":{"amount":"+0.6998164653778076","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":"Q3086780$A257CB11-2C5E-4B44-AC18-0F8999618EFC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d7e5e3808e7147f254b2d76f2a12248f97fba27f","datavalue":{"value":{"entity-type":"item","numeric-id":5240896,"id":"Q5240896"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c464117211b5688b8f5786f60bd7fee415d52834","datavalue":{"value":{"amount":"+0.6964834928512573","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":"Q3086780$2B765B27-2B0A-46AE-B718-6CC1A1DB36F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5e4aceb89ded0586b4466107863cec1384fd4019","datavalue":{"value":{"entity-type":"item","numeric-id":1314643,"id":"Q1314643"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2ee4f6476dd5731d079f0df8ab827891a08a90ab","datavalue":{"value":{"amount":"+0.6948655843734741","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":"Q3086780$FC0FB46D-976A-4289-9D31-B54AE6E7B6AF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3086780","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3086780"}}}}}