{"entities":{"Q1799037":{"pageid":1809779,"ns":120,"title":"Item:Q1799037","lastrevid":73871823,"modified":"2026-04-14T17:34:10Z","type":"item","id":"Q1799037","labels":{"en":{"language":"en","value":"Atomic polymorphism and the existence property"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6958070"}},"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":"Q1799037$B565923F-BD65-4FCF-81C7-88DB514DA248","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"05985cac9ae402c468335c274cd9fbd2133060a4","datavalue":{"value":{"text":"Atomic polymorphism and the existence property","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1799037$7FE60627-50DB-478C-8CBA-0A33078F2148","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"90a8a93423af25d5afe64356faef2868078af676","datavalue":{"value":{"entity-type":"item","numeric-id":424544,"id":"Q424544"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$956F3BC9-E955-4B66-B8B8-01CD185E68EF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"f91a4bcbc93435aed71775d25a4c5cd09e26f12d","datavalue":{"value":{"entity-type":"item","numeric-id":122505,"id":"Q122505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$4B2F25FC-7221-4116-933B-6B55CFA78FF5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"0172cdede3f306f1b36155a82f67164814fd11e5","datavalue":{"value":{"time":"+2018-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1799037$67B5A429-7ED1-4804-AF4A-1DFE1D6020B8","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"08bdc04693b0f5e76abb78ef4de100cb2d5274e7","datavalue":{"value":"http://hdl.handle.net/10400.2/9416","type":"string"},"datatype":"url"},"type":"statement","id":"Q1799037$1FDF8060-0D30-493C-86DC-632005F94BCC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"6e2ae8b1900147d15ddea62ccb5302a15ee19b5d","datavalue":{"value":"03F07","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799037$BBB3AAE1-D707-48B2-B066-F7DCD1728F53","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d971f250f4b60bd91da7e9350568180af141e6af","datavalue":{"value":"03F03","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799037$61CC2CA5-B57D-447B-AC2D-9A65AA609D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799037$6D90ECBC-3A7B-41A7-AAF3-556E62247DAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799037$4B23C052-3ED3-4D7E-A331-B61DB19F7637","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"fbeeb4121d933c14f837e19f5cfcc0c6dcef4fc1","datavalue":{"value":"6958070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799037$8FDD5F75-2EAF-4CAE-9007-54487C5172C5","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2ff9a42c2d448578cdcaf1a17884eaffa4fdfe49","datavalue":{"value":"predicative polymorphism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799037$FF4DE8F4-0A20-486A-8530-64255F1F4C0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7b7fd26f3b9db18e91571135b6e6a63a3f7fa303","datavalue":{"value":"intuitionistic predicate calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799037$BAD9E4B4-0A41-4BD1-B45A-AA4C132FDC73","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"46e827a2f1d9e2ec3bdc3a7ec6d04e64033483bb","datavalue":{"value":"existence property","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799037$A43E2A8A-D443-4E57-8C14-E825829EA24B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a7245057d33d9a959e820bafe53b372c083536e6","datavalue":{"value":"natural deduction","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799037$52446E71-16FE-4D95-9F6B-3203EDAC2A19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4296281254337308ad2c5f734043898466afdb58","datavalue":{"value":"normalization","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799037$17038BBD-9E47-4B8A-8287-1F0EC03C3723","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ad843c6ea4d5b9670896c2bdbfb9c4784edc7cf1","datavalue":{"value":"faithfulness","type":"string"},"datatype":"string"},"type":"statement","id":"Q1799037$0BF9079D-B2C5-4ED5-AFC7-B4350211F63F","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":"Q1799037$52AD0753-C590-4A37-9635-E078B763483C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"b02f03fa8116a2a0efbf9fd058a682d8e1b6cf95","datavalue":{"value":"W2887485123","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799037$880A248B-6146-4747-AAD6-AA9644543CC4","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a51042624209aede36ca68c862a6060dd8e9ded","datavalue":{"value":{"entity-type":"item","numeric-id":2971275,"id":"Q2971275"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$EC7F6900-F719-469A-B242-53AF4C74E807","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"371c320a42b678b06fa6ae731a7aafbce0a3dda6","datavalue":{"value":{"entity-type":"item","numeric-id":2499285,"id":"Q2499285"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$B4C241D3-740B-43E2-B1F7-660CD37EE841","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"716e4d3b48a04539d2a9f1c959b61f267f231ff2","datavalue":{"value":{"entity-type":"item","numeric-id":1037589,"id":"Q1037589"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$DDA7FB1E-9956-481C-AC81-F6622E8D9B57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"80763fc6efa7be9cdfdda78563859b368353a315","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$08326A43-C19B-4BBB-9B9D-C9DB1B57E713","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2b8943a7776890839521c41d303d4b1f3cc9ce64","datavalue":{"value":{"entity-type":"item","numeric-id":897484,"id":"Q897484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$41095E28-A175-43C9-9D49-327B3CD8F69E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f992a9041e22d0874c431db615559a4bbb5c0a3d","datavalue":{"value":{"entity-type":"item","numeric-id":2363508,"id":"Q2363508"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$C0F48A9D-D95F-4649-A6A6-20D455B763DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cce08575a67ba4d97f25cafdaafbc60b3ab6282d","datavalue":{"value":{"entity-type":"item","numeric-id":4644473,"id":"Q4644473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$5E62F230-196E-4D8A-858E-5E9CDEEEEA93","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$65AD03D4-24DE-4390-BC8D-85FDE3DB9C65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b8d95625ec9e5b7c46cee42d87256157d982706a","datavalue":{"value":{"entity-type":"item","numeric-id":5559220,"id":"Q5559220"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$31CC1371-E61C-4E60-AE02-F50B710A8E49","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"91a707f7565046237d79754215ce6024facdf2b7","datavalue":{"value":{"entity-type":"item","numeric-id":4068054,"id":"Q4068054"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1799037$E9B617CE-E08E-4833-9823-420246D59A24","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"22a5094a078610ee4391e2e7439a2745965b0465","datavalue":{"value":"Q129395422","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799037$B2F2440D-2E93-4E81-9D7A-B0615632454B","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1ff5a9e871c61451bdd52547794dc8e5ff2de321","datavalue":{"value":"10.1016/J.APAL.2018.08.004","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1799037$1E2A4350-E2DB-406D-BAD2-666BBE78B784","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3afde209622b91024c7baa2b68f142d4a557d278","datavalue":{"value":{"entity-type":"item","numeric-id":4916559,"id":"Q4916559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0b4a13fd9845f28c698a6ab6eee709168dab147b","datavalue":{"value":{"amount":"+0.8133233189582825","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":"Q1799037$FECA12AB-5144-4280-BF52-885569EF706D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bef442f081c9fc360f125e03e3ac575e7b4fbe05","datavalue":{"value":{"entity-type":"item","numeric-id":2957669,"id":"Q2957669"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7c0c1edeec787be4ac64978168bb17b4ee565178","datavalue":{"value":{"amount":"+0.799101710319519","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":"Q1799037$9C228F9B-79A1-431F-8595-F00E396231F2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"31e2272ff914c60a7165e491e5adf7f7ae297c0a","datavalue":{"value":{"entity-type":"item","numeric-id":897484,"id":"Q897484"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d57197bd81e059c45333539b9c8db9b77cf45a99","datavalue":{"value":{"amount":"+0.7768816947937012","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":"Q1799037$EFE0C0D8-610E-4BF4-96F5-F104BF4F1926","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2bb7ab013ca3e4e259966b816e7f387d6ee572d","datavalue":{"value":{"entity-type":"item","numeric-id":3824410,"id":"Q3824410"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0a388bf76b28a3a27e99f557455c14d16cb05f0b","datavalue":{"value":{"amount":"+0.7657415270805359","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":"Q1799037$F7807596-960A-41B3-B3CD-617D5A7A063F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8fb234f7ca7d1e070263eb9800aec279648345a5","datavalue":{"value":{"entity-type":"item","numeric-id":2186692,"id":"Q2186692"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3db47eab513c1af6b1e8b1a3ddc3f3c91f88efad","datavalue":{"value":{"amount":"+0.7504478096961975","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":"Q1799037$A1FBC2F1-E0E4-4C84-BBEE-638325A809A0","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Atomic polymorphism and the existence property","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Atomic_polymorphism_and_the_existence_property"}}}}}