{"entities":{"Q764013":{"pageid":765862,"ns":120,"title":"Item:Q764013","lastrevid":64198533,"modified":"2026-04-11T18:17:30Z","type":"item","id":"Q764013","labels":{"en":{"language":"en","value":"Finite axiomatizability of local set theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013928"}},"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":"Q764013$28FE2E7C-0B13-4F0C-87E9-D2B85A2945F7","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"25787fe79de7d8008638321e89b1ae709dccb8f9","datavalue":{"value":{"text":"Finite axiomatizability of local set theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q764013$0D38B5CA-FC76-497D-BDEF-14074A82BFE3","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"292f8ee5c576cf6963ab7b1f701259ebb573fdc0","datavalue":{"value":"1258.03076","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764013$E6415918-9C83-4D8D-B5A4-27537373F8FE","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"55e2980743f706e49886322777d37c2ed1d3724c","datavalue":{"value":"10.1134/S000143461107008X","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764013$5E15EBCE-6237-4665-B35C-A83E798635B7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ee5015171e2f57a73921a54f50bb5ecad403c04d","datavalue":{"value":{"entity-type":"item","numeric-id":721380,"id":"Q721380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$6ADC988C-48DB-4A03-8A3E-5A740B8D77FB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05c4899da0caf9feb026dcac328aad49dac22833","datavalue":{"value":{"entity-type":"item","numeric-id":1684499,"id":"Q1684499"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$FD100582-AE24-479C-873E-CAF0BE4382BB","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"00de3e6b6cfff0576fe0e1d6bc63c05579d2cb43","datavalue":{"value":{"entity-type":"item","numeric-id":173953,"id":"Q173953"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$28177FE4-96C7-4024-9759-0947EF566A85","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"a2d208db1103a8eff5ee81c748238cac793871fb","datavalue":{"value":{"time":"+2012-03-13T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q764013$A913632C-3CF1-43EF-B143-3DDF7FB96A85","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764013$7CF1A841-A8C6-4F54-AB2B-F3064610F706","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764013$BF258D31-27A5-405B-9C8A-471C7A9E71CC","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"833074ee46d05afe6901a624420bafab026c3dc2","datavalue":{"value":"6013928","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q764013$9701E869-EBEC-4F22-807B-7E78714917F1","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"6ab7b3234914dd3a4ac1bc8180c65c1956e71a47","datavalue":{"value":"local set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q764013$C8F08E8F-BDD2-40B6-A8CA-1C12CF50EEF3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9c2fd83991d195b87578ecb7cb9d3110a1b6ba38","datavalue":{"value":"local-minimal set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q764013$DEEFA39A-C19C-427B-83B0-06E28BC3AFA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1d58a992e8c6e111350bba2e54c1b8132cc84a","datavalue":{"value":"NBG","type":"string"},"datatype":"string"},"type":"statement","id":"Q764013$21F20B10-260C-4A69-B2E8-0F09464CB6FC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"27053093570a92fff4e919f3d76d6d1ef93b0691","datavalue":{"value":"ZF","type":"string"},"datatype":"string"},"type":"statement","id":"Q764013$ADF43334-41F9-42CA-A143-A4EBDB9D333B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2c4ee8e87703dbcc739a4f399cbc4fa97a3dde2b","datavalue":{"value":"axiom of universality","type":"string"},"datatype":"string"},"type":"statement","id":"Q764013$B3BCB8DF-0489-446B-AF6C-55BA13011B76","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d26bf8038b95cecfa8b591673672eb2eefb182af","datavalue":{"value":"model of category theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q764013$3554DAA1-3479-4CAC-B63A-948B46C1AED4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"500e450443ae18a05a00c5f0176a8adbab0babe9","datavalue":{"value":"finite axiomatizability","type":"string"},"datatype":"string"},"type":"statement","id":"Q764013$E2E9C1E6-3466-4333-8DE7-4E80643E6A56","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"97afa1741079db9668b24cfe4f3a768ccc3824fc","datavalue":{"value":"derivability","type":"string"},"datatype":"string"},"type":"statement","id":"Q764013$2B2FF9C0-8D63-4B28-9D3B-547DE8BC80A0","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":"Q764013$DA616967-AD7F-4230-B98D-E86AC90C89C1","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"52b946fb2f63c0dda27fa5ba25a5cecdec9a1c9a","datavalue":{"value":{"entity-type":"item","numeric-id":4229041,"id":"Q4229041"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$E4E3D7C5-821B-4E76-8D8E-D29FC7F49147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"075b36e5a836598c374b28438bd65ca78c07e703","datavalue":{"value":{"entity-type":"item","numeric-id":5838520,"id":"Q5838520"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$3809A9F9-DBB7-43A3-A2C9-D368DE6F105E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a8db9ae4ad5f5613d62b4ff5e2b7d7fad52ded15","datavalue":{"value":{"entity-type":"item","numeric-id":5724789,"id":"Q5724789"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$696C4660-5A06-42DD-828A-62A355D618AE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"dc70ab2f983e4d414dabc178f82f9ec13a35f25f","datavalue":{"value":{"entity-type":"item","numeric-id":773503,"id":"Q773503"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$0C3F8466-26AE-4C20-A24E-D18FC3305246","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2adcc3b822f41a37806c2f95dc83bd4f1ad83169","datavalue":{"value":{"entity-type":"item","numeric-id":1130907,"id":"Q1130907"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$7A84B310-A50F-455D-B916-C8785C4F0423","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62ab2bab14c28b9e49d4543ad7d033ef5afe7c08","datavalue":{"value":{"entity-type":"item","numeric-id":5599221,"id":"Q5599221"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$F7549956-5C9F-4A52-8AC6-D99E31E241D4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1e7279a34fad6c51bfd488f2794b41b0c3ff128c","datavalue":{"value":{"entity-type":"item","numeric-id":2462035,"id":"Q2462035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$3C305848-F9D1-43D3-A2E0-8D130828784D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"031d849c829a4837476d14153b38397f3c513c8a","datavalue":{"value":{"entity-type":"item","numeric-id":3718676,"id":"Q3718676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q764013$A09F8E2E-1C30-42C4-94FB-198041EBD59F","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8831f1a701c8bfb404fb136916bcbf77db9da15d","datavalue":{"value":{"entity-type":"item","numeric-id":2462035,"id":"Q2462035"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4ca4932e385b003e8b1cb6f08ab8029707bca4d3","datavalue":{"value":{"amount":"+0.7879049777984619","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":"Q764013$FC6E9D11-DCB0-4C72-9C0C-2CE09F5A5886","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5d8f0375908ee02c17faccb0bcb4b8bfd0d4b385","datavalue":{"value":{"entity-type":"item","numeric-id":2387839,"id":"Q2387839"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"78eeb17be1e517974a8e3a14b8166f857f39fb53","datavalue":{"value":{"amount":"+0.7814406752586365","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":"Q764013$20925565-C717-416A-8C27-82D73B2CA555","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"4f870f9304006eb9c3644d7d0459b5cc53a2079e","datavalue":{"value":{"entity-type":"item","numeric-id":1780370,"id":"Q1780370"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7f05ce0a73483544e67665149013f49b2e2d6ab9","datavalue":{"value":{"amount":"+0.7491973042488098","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":"Q764013$8AA66E7F-246B-4C24-9569-B1F2616B59A7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8c7507ffded3ce8433437559d4dd543284bc27dd","datavalue":{"value":{"entity-type":"item","numeric-id":982186,"id":"Q982186"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d1f7c0f05b9bcee5966b77925a5e9720736f7670","datavalue":{"value":{"amount":"+0.7143517136573792","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":"Q764013$6D0ACBB0-F48B-4802-AF9F-413BCB14DD4A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2cc6cc66d53956ef74f5f07d79ebe15e4ffb1ebc","datavalue":{"value":{"entity-type":"item","numeric-id":1400874,"id":"Q1400874"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cfda0b5212758e674ba3c86c2bc46ca4ccd98044","datavalue":{"value":{"amount":"+0.7101254463195801","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":"Q764013$B67E9CC1-53F6-4DC8-8259-11DD91C1AFDE","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Finite axiomatizability of local set theory","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Finite_axiomatizability_of_local_set_theory"}}}}}