{"entities":{"Q487231":{"pageid":488998,"ns":120,"title":"Item:Q487231","lastrevid":62262363,"modified":"2026-04-11T04:53:05Z","type":"item","id":"Q487231","labels":{"en":{"language":"en","value":"Very intuitionistic theories and quantifier elimination"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6387873"}},"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":"Q487231$D63708DE-DA6F-4B73-B5B1-71122A9CB3BC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4061c41f71f56f060882c4d848f8d013cd546aec","datavalue":{"value":{"text":"Very intuitionistic theories and quantifier elimination","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q487231$52E1F533-D4E7-4FC9-A5E2-4A5EBEC75279","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"a3fe288ff6a1a05c61240e297bbca1240f5c5908","datavalue":{"value":"1303.03070","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487231$B5E6802B-B01B-497F-B6D9-CBD0CFC51D6C","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"02d955a17ce895bcc975b0ea6d4eead2e64dcf81","datavalue":{"value":{"entity-type":"item","numeric-id":190250,"id":"Q190250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487231$FBA202D9-02AE-44AB-8407-85771EE33DF1","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"29d49a6d1f64ce52c6e7fe0e134befa417a35463","datavalue":{"value":{"entity-type":"item","numeric-id":487213,"id":"Q487213"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q487231$C83EAD67-3380-40D8-8797-47C2FFA1D82D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"23e6ba576eeca2c6f926b5ca32f399afa8cf58c8","datavalue":{"value":{"time":"+2015-01-19T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q487231$1CFACC40-4B86-4418-8DE1-40148D50F6B7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2a00f469dfbe744782671737bd99063101e19aa7","datavalue":{"value":"https://projecteuclid.org/euclid.rml/1203432183","type":"string"},"datatype":"url"},"type":"statement","id":"Q487231$945D57F0-D16A-4499-96AE-FF48F60C3033","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"176e47af9f9e7cf4ebff07fc1f9e4f94a83134c1","datavalue":{"value":"03C10","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487231$B692214F-1BD1-4398-A276-D62443DFFAEE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"3068729a394ad5bf58a1a3e5b5d24254d962e1a7","datavalue":{"value":"03F55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487231$13384E7D-5355-44F7-8BFF-BE690B96312C","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"9eab4445eeb283f87b3f8fceb49f2b3130aaafab","datavalue":{"value":"6387873","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q487231$2429D29F-6E28-44B3-9F1E-26CCF7EEF57D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"7ce94254d44045733e962d2861c33d94e3725cca","datavalue":{"value":"quantifier elimination","type":"string"},"datatype":"string"},"type":"statement","id":"Q487231$C55BA80E-A10F-43BC-A2B8-F9F3EBCC04C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q487231$937457FE-CFFA-4F3B-BDBA-87FBC39B59ED","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q487231$A8EC7442-8C34-4053-931C-53AC78855954","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":"Q487231$CD42F91B-CA5F-430D-83AB-25683E8CAB8B","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f9e0a4ae859c328d0e6efbe356249df24c5d6f32","datavalue":{"value":{"entity-type":"item","numeric-id":948760,"id":"Q948760"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"33478c904d37ec7939aec12e6939a3f3dc1034d7","datavalue":{"value":{"amount":"+0.8984994292259216","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":"Q487231$AD703E01-F4EC-4DEE-9EE9-7AD7527DBA94","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2e2cf4809c433f270014c1fdcfd424b293f573b7","datavalue":{"value":{"entity-type":"item","numeric-id":5393630,"id":"Q5393630"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"63282184eb9eb4ba2c8354d7b4508afcdc2a10a5","datavalue":{"value":{"amount":"+0.8172064423561096","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":"Q487231$7B545055-76FC-4CBB-8C25-017A447AE4C8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fa04e1abdcff11c16e19bb03d7b93d9984dd5262","datavalue":{"value":{"entity-type":"item","numeric-id":5109215,"id":"Q5109215"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24262e1db47fcf14fb073388929e986f72be97a7","datavalue":{"value":{"amount":"+0.7682041525840759","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":"Q487231$A27CA468-DF5F-4235-B4E8-1A0122E70B05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bbb136b35ea81971486ae3a6b66f030aa5b8c08d","datavalue":{"value":{"entity-type":"item","numeric-id":3726115,"id":"Q3726115"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"68ff2422433f1cd99885a71fdc4d520ffd1511ec","datavalue":{"value":{"amount":"+0.7680884599685669","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":"Q487231$89C956C8-B98C-4573-8CF9-B1FC9EE18D5F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7a2f9922d5061b80fae17ab5f2047cc077af168e","datavalue":{"value":{"entity-type":"item","numeric-id":3684111,"id":"Q3684111"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9d11995f6c193dfe71b043137d18bab7de80df6b","datavalue":{"value":{"amount":"+0.7490137219429016","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":"Q487231$CC617EDE-EDD0-4234-A6BB-69682B9A882E","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Very intuitionistic theories and quantifier elimination","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Very_intuitionistic_theories_and_quantifier_elimination"}}}}}