{"entities":{"Q3813789":{"pageid":5843695,"ns":120,"title":"Item:Q3813789","lastrevid":81156467,"modified":"2026-05-06T17:51:54Z","type":"item","id":"Q3813789","labels":{"en":{"language":"en","value":"A Theory of Ambiguous Types and Its Axiomatizations"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4083577"}},"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":"Q3813789$B8AE2874-26FE-4F0A-8FA5-9B269C1B492F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"0e82d1e1419f0c31ea7acf89a940c426b56330de","datavalue":{"value":{"text":"A Theory of Ambiguous Types and Its Axiomatizations","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3813789$BFB36AF7-9605-4DA2-89EC-CC5DC025BF63","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"9b0553330193962b205e851d9b88dd909506b079","datavalue":{"value":"0663.03001","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813789$E828439C-8905-4EE9-BC55-95BD845A1496","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"8cfb71f034ea0403cf52e1d52d439974034c21f6","datavalue":{"value":{"entity-type":"item","numeric-id":1069921,"id":"Q1069921"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813789$E4338F51-F8C4-4BA7-95A3-8930F3CC2696","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"313eeae300ef8d00cbcff079ab31c26707d6fe06","datavalue":{"value":{"entity-type":"item","numeric-id":3025780,"id":"Q3025780"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3813789$9A79D26E-B5AD-4DEF-88E5-2E7DD87BA0CF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3813789$42912805-70BF-4C43-9C37-89957A028BA8","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813789$A076BA2C-EDDF-4D9D-9A58-8A435904DC0A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a08cf12682cbf9e0584b7507c52018feef1365fe","datavalue":{"value":"4083577","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813789$90602000-7021-4053-BC25-64893D946B99","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d7c8de23bfa84256fb2bd7d9756b001e50265c85","datavalue":{"value":"theory of ambiguous types","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813789$909D2979-1DEB-4E9D-BB9D-0A5E2C62E4BE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"afe8224e1b9ad44e900004bd42b43f6937365e73","datavalue":{"value":"stratified formulas","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813789$22D9D499-9773-430A-BDB8-F8B324DCACCC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"377db7f72adb005747852b4f3809074c0a007544","datavalue":{"value":"stratified predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813789$E193DB81-1DD8-4C57-A32A-59A894D92A89","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ebfd339d5fdc320cb84ced0319a371d684c705ee","datavalue":{"value":"axiomatizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813789$DAC7FCE9-965A-4758-8C16-5E27BB37EBEC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"626da1e52a5fb8d5f1705fab43cb852228b6d93b","datavalue":{"value":"Specker's theorem on typical ambiguity","type":"string"},"datatype":"string"},"type":"statement","id":"Q3813789$6D12B02F-387B-4FA7-A00F-97C77DF63A79","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":"Q3813789$940A59FE-5B84-48C0-A1A0-2959107C1F4C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"74b90292e0e07f1b14ffdfe91a41add9d0bc2d2e","datavalue":{"value":"https://doi.org/10.1002/malq.19890350605","type":"string"},"datatype":"url"},"type":"statement","id":"Q3813789$1E1FD2E2-ED78-4CAD-B46F-9B9453F62FB6","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bff8d5da91bb6f92ea86ddde04a14392e58f5f12","datavalue":{"value":"W2112650661","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813789$A2E82353-5F7F-4F65-9A40-7FBDA6A65C43","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"49045087f8e9a29c78bb7ad3ba36b98426634db6","datavalue":{"value":"10.1002/MALQ.19890350605","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3813789$EB948245-A8C3-4E3E-9AF3-03917DCAE328","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bded737563bb150b9836ecc594479387f60b77f8","datavalue":{"value":{"entity-type":"item","numeric-id":4304781,"id":"Q4304781"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d493bd0471cabd6175198b130f8439616998b1e1","datavalue":{"value":{"amount":"+0.8210553526878357","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":"Q3813789$0797EDF3-F4D2-41F8-9AF1-0A8B9BC18C10","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a8ab993db6c53f0feb308cdfd41bd022e7d17cfd","datavalue":{"value":{"entity-type":"item","numeric-id":4295242,"id":"Q4295242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"de4022edbcdc4a027e2e390feb1288ec1b5f8089","datavalue":{"value":{"amount":"+0.7817251682281494","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":"Q3813789$7211F9A9-DCB0-4FDC-89B0-0A500C99F864","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"75da2f6cd90c32ea3c71858957bc11d7bb7437a1","datavalue":{"value":{"entity-type":"item","numeric-id":3778016,"id":"Q3778016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9ccfb348073139c0defd0eb721db2071e9466908","datavalue":{"value":{"amount":"+0.7775872945785522","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":"Q3813789$001BA374-13FA-4F7B-BB76-898588EF144F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4634772b265f99c1c9b0c61217d53d50e7896df4","datavalue":{"value":{"entity-type":"item","numeric-id":757362,"id":"Q757362"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"916c6fbd4bea5cdec57532c3155a94b401a18b33","datavalue":{"value":{"amount":"+0.776555597782135","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":"Q3813789$3003F0E1-3ACB-4FB2-AA6D-10A3BE6304EC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"309cc6d9be6f6b34f8929dfd567396cb0cbc4f2f","datavalue":{"value":{"entity-type":"item","numeric-id":5593820,"id":"Q5593820"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8e51ed2524ea11b15a371c6d915253b300961fe5","datavalue":{"value":{"amount":"+0.7752012014389038","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":"Q3813789$1AD68BDF-6572-479E-B768-6E4751CAEB3D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"A Theory of Ambiguous Types and Its Axiomatizations","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/A_Theory_of_Ambiguous_Types_and_Its_Axiomatizations"}}}}}