{"entities":{"Q985006":{"pageid":986854,"ns":120,"title":"Item:Q985006","lastrevid":65916021,"modified":"2026-04-12T06:15:00Z","type":"item","id":"Q985006","labels":{"en":{"language":"en","value":"Syntactic preservation theorems for intuitionistic predicate logic"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5758439"}},"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":"Q985006$3628FF99-F495-4C1D-B230-971AFE10F435","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"fb13291935810e8c29a8fe0e63f6bb8621b32189","datavalue":{"value":{"text":"Syntactic preservation theorems for intuitionistic predicate logic","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q985006$B8F4A585-6E50-458A-9329-E554BDAC77A8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"222f1844882c4070a706fbe307eadedbd92d2330","datavalue":{"value":"1254.03016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985006$D760C757-5CC1-4E67-A326-DAA111472E31","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"93300bfc49333224dbf78c7420cccd841796a7a2","datavalue":{"value":"10.1215/00294527-2010-014","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985006$1A0BA851-9C98-4723-A4E8-88A6DADF7F86","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"032d7a0be61b75c74aa24a1bfcdf87c4dc2440df","datavalue":{"value":{"entity-type":"item","numeric-id":948758,"id":"Q948758"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q985006$26D81318-86F6-4E76-BDC9-6D26C323287A","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"6325d9f59cde8ebbdb24a9f950cab3fcef3decf6","datavalue":{"value":{"entity-type":"item","numeric-id":190248,"id":"Q190248"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q985006$B9B0394D-2BC8-4516-A9CD-C7B651DBCA5D","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"49725197d5403193e6793b874c212de8a1d5fa7b","datavalue":{"value":{"time":"+2010-07-20T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q985006$F0F0D1D7-0780-4FAD-A937-3F7E579AD4FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985006$FB3B7B8F-0809-49F9-9D45-7D30B7BE39DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c1d2d83da0d870574277144fdd1db9abaae162ec","datavalue":{"value":"03C40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985006$6C55C524-AE9E-44DB-83E9-6FE2C108B290","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985006$6B31F38E-ADB7-4194-9C2A-C810F3B6D4C8","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"39fc73aa7f6ca168a4f0d19e9811438417486c93","datavalue":{"value":"5758439","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985006$930772DD-235B-4A97-8AC8-5BDB60E589F6","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5c4078614c737f77e34731be764c56affada452b","datavalue":{"value":"Kripke models","type":"string"},"datatype":"string"},"type":"statement","id":"Q985006$B85E8C7B-8122-4038-B576-35AB4866379B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4ecf22179de14910d76d13274acccfe5262c428a","datavalue":{"value":"intuitionistic predicate logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q985006$CB065819-8132-4969-A594-EF34A77FCA65","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c098f20c3abfab10c3f7cf95d9c12b29a9e16dec","datavalue":{"value":"preservation theorems","type":"string"},"datatype":"string"},"type":"statement","id":"Q985006$35AA1629-6F52-408F-8459-91551A7D6212","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"198d2167c38166326141c6b30577c3c395754e5b","datavalue":{"value":"formula hierarchies","type":"string"},"datatype":"string"},"type":"statement","id":"Q985006$CA98C1E6-F7C0-4E75-9BAB-D92B7C0A5F36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f4757fb057402eb335e48340b21fe467e18a42dd","datavalue":{"value":"Keisler sandwich theorem","type":"string"},"datatype":"string"},"type":"statement","id":"Q985006$0A921826-2EC3-44AF-8B5C-1E4602866A92","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":"Q985006$CE0E0AF9-FF03-43D0-A63E-1C203B40BA11","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"690e48d858deda65ecae95267288e2386e390e9a","datavalue":{"value":"https://doi.org/10.1215/00294527-2010-014","type":"string"},"datatype":"url"},"type":"statement","id":"Q985006$233575D6-1C8D-4B28-BB96-95637A8A04C8","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"4643f394c5b2e3cd4c020b65b0af3dd36e59aae3","datavalue":{"value":"W2009637102","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q985006$7E678CB0-0467-4532-B370-0FC2FCDF31D8","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7b936941dec843fab46298dc6a4f983f50cf6cb6","datavalue":{"value":{"entity-type":"item","numeric-id":535159,"id":"Q535159"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"10a67696545708352eba948d022db31d923af4ce","datavalue":{"value":{"amount":"+0.8314904570579529","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":"Q985006$89C9AE3D-ABCA-4089-8D18-43498A7757D1","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":"1697cdadc0abb18e0b4b190e45577bf110236145","datavalue":{"value":{"amount":"+0.8106287717819214","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":"Q985006$2F0697B6-BD7D-461A-9EF5-60CE70668834","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"82af895f7d2dc27b0f45d46fd0c983c1c830a6af","datavalue":{"value":{"entity-type":"item","numeric-id":5293202,"id":"Q5293202"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"69b31dc0512482938e78a675798a3c097c3a9fb3","datavalue":{"value":{"amount":"+0.8062372207641602","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":"Q985006$7FCED7DF-0CB2-441D-B1AE-888764A1F1CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bac627fd61feb27abab3e105a1012c225337c635","datavalue":{"value":{"entity-type":"item","numeric-id":3619870,"id":"Q3619870"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"24346c1948c29e9d99884b34df37950fcc911d51","datavalue":{"value":{"amount":"+0.7989293932914734","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":"Q985006$8F5069E8-0DEB-4FA9-A6FD-20D40B40E1FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b0a07a71ff9e10e437d24c22e2b7b6202a14824c","datavalue":{"value":{"entity-type":"item","numeric-id":4434503,"id":"Q4434503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1f470297100a98015e81cf8229e9f2d797070755","datavalue":{"value":{"amount":"+0.7893294095993042","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":"Q985006$D055D735-6F84-4FF7-A3EF-D74D8DF8A540","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Syntactic preservation theorems for intuitionistic predicate logic","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Syntactic_preservation_theorems_for_intuitionistic_predicate_logic"}}}}}