{"entities":{"Q5310880":{"pageid":7340454,"ns":120,"title":"Item:Q5310880","lastrevid":50184029,"modified":"2026-01-13T10:38:14Z","type":"item","id":"Q5310880","labels":{"en":{"language":"en","value":"Axiomatic classes of intuitionistic models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 5200715"}},"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":"Q5310880$4ACD3CBC-8316-41E7-AA84-20EDCB612B9E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"c43ccd1f754f322bbd1bcd508e6b1af00b4c43aa","datavalue":{"value":"1120.03008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310880$32721B2D-9C12-4A81-A13B-4167A742EADA","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"da1f2eae718b1a354207c6a7cbca0c2cb2019709","datavalue":{"value":{"entity-type":"item","numeric-id":227763,"id":"Q227763"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q5310880$04B2A076-AE1C-4EC1-91A4-AB43BFF1CD3A","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"51896fa873714969935123455cbe182d69a8f4bd","datavalue":{"value":{"time":"+2007-10-15T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q5310880$8FF62F8B-CA18-4341-BF9A-DB527F1668E7","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"d2b55ded92dbd8a68971970256556150f75ff7de","datavalue":{"value":"http://www.jucs.org/jucs_11_12/axiomaatic_classes_of","type":"string"},"datatype":"url"},"type":"statement","id":"Q5310880$656DD1AC-2BE3-43C9-85AA-AE8BC3013695","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2337f934f367559a8ee0c48540aa4d52d0fa385a","datavalue":{"value":"03B20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310880$BC5C070D-8B8A-4507-91C0-77CB7F67993E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d2785a964739681e8231fee4de8f7d657fb50f4f","datavalue":{"value":"03C20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310880$DE7DD539-155D-4504-BF71-6D814C6117C3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"ed0e9d16aabdfc4de2754948a872b6ceb30bba56","datavalue":{"value":"03C90","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310880$82DE8BC1-FB85-4489-A274-26EE9068DE54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"a148e8a177cd6d346bafc9392b2f03b7fb64d353","datavalue":{"value":"5200715","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q5310880$6AADAC06-55AC-4413-80F8-CCD0DC1EFC0A","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3875c79fa835ac45a1818de05c1bd8b1020c938e","datavalue":{"value":"Kripke model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310880$19D00F31-51DD-4762-BB66-186F73AC985D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f3e04a2b734a1cac93a9ddfefc5a4de51edbfaf1","datavalue":{"value":"bisimulation","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310880$B76B44AD-B07E-4AC0-960E-630123871519","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"daf4028094eff2937eb718f1cad23b3763457cce","datavalue":{"value":"disjoint union","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310880$7C9FDA0D-5EAC-4C2E-B503-BA324A2685EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310880$DE4662F9-2AB2-4CED-B383-885A02559128","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"26dfd749f8a1accfef9f9284811fe1b165a0e4e0","datavalue":{"value":"iterated ultrapower","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310880$EB7A55B8-C9B6-464D-8324-12A12CE47297","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"342c53fa616bf9fbe4984c9fec0fc006ceb723fa","datavalue":{"value":"prime filter","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310880$1B8BE989-E781-4722-8DB6-B867C060A168","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6dcc686482d70eae7146a2aaf2025feae23b1b27","datavalue":{"value":"saturated model","type":"string"},"datatype":"string"},"type":"statement","id":"Q5310880$392CC8A8-B466-4C04-B45A-56CFFAAD71A6","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":"Q5310880$5C772833-61CD-4645-9653-46AD6F9AEC84","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"30b12eb0fb3501952deefc2ba7e19d5d80ee1f0c","datavalue":{"value":{"entity-type":"item","numeric-id":1412839,"id":"Q1412839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b65c4dcaef724aec04baf4801e8371482dfd4364","datavalue":{"value":{"amount":"+0.7952733039855957","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":"Q5310880$3E828653-A105-441F-B517-271511FF7E58","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9463d4fbde65997d6564f8bb0be93c312d8aa097","datavalue":{"value":{"entity-type":"item","numeric-id":3067391,"id":"Q3067391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"a7e381f0736b405210e191b927da8475e5bf3c66","datavalue":{"value":{"amount":"+0.7938940525054932","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":"Q5310880$CEE7E598-828D-4D7A-A084-CED4E9A8F791","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"abe9d92ea9faa7a7c247b83470590b5f7cb48217","datavalue":{"value":{"entity-type":"item","numeric-id":714726,"id":"Q714726"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3fb37d8807d0cdadfce4bfa5f16f2f337945273d","datavalue":{"value":{"amount":"+0.7815665006637573","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":"Q5310880$5DB40A3F-1D9A-4FB6-9708-4AF3352B54F3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"89ba66a2ee9ac35b0e9bed1c531eb349a004ea69","datavalue":{"value":{"entity-type":"item","numeric-id":4857856,"id":"Q4857856"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"99a1bd65291fc790dd78512a5f72ef7eb09adc22","datavalue":{"value":{"amount":"+0.7745804786682129","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":"Q5310880$61BE6B31-EB17-4A3E-8560-F685AE05BFCC","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":"582d503dbbfd9b29fb6b5540584d6d18dd1c7128","datavalue":{"value":{"amount":"+0.7701329588890076","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":"Q5310880$6CE44130-41E4-4BAF-AE3A-868E5F33428D","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:5310880","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:5310880"}}}}}