{"entities":{"Q4340496":{"pageid":6370096,"ns":120,"title":"Item:Q4340496","lastrevid":46553820,"modified":"2025-12-25T00:43:19Z","type":"item","id":"Q4340496","labels":{"en":{"language":"en","value":"A theory of classes: proofs and models"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1019517"}},"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":"Q4340496$3A84A79D-1FD7-4175-AB55-B59863B331D8","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"1db5e4aae111a81d1515e0d5a91fc02ce04969b5","datavalue":{"value":{"text":"A theory of classes: proofs and models","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4340496$018DAC3D-BEE3-4DA9-8F89-AF9EA6C2C770","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"2834b9627fb3e810409a27f83768c56c1c6b14b2","datavalue":{"value":"0882.03051","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340496$C6FCA8B8-6002-48DF-8A8D-8C795FE8DC88","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"1e50de861adcf5d97b42ea19daf372aa3ddd7d66","datavalue":{"value":"10.1017/S0960129596002125","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340496$AD4D224B-C22A-4315-8DA2-B872CB030728","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"e17216e2f8bcac48f5ab3214aaa298d15159914b","datavalue":{"value":{"entity-type":"item","numeric-id":672059,"id":"Q672059"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340496$3947EACD-E34B-48A2-8F84-9A89BD2DEEFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d426517d35f74127ac2700eb0061f4b10ecaa56c","datavalue":{"value":{"entity-type":"item","numeric-id":684394,"id":"Q684394"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340496$C50A7523-66BC-446D-95C3-4D109F2B2E35","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4340496$0ED69BBD-A84A-4785-A3F1-8EC4C32B092C","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"f90b4e4f8d3c91bc0cb00b95b47a240b3f524981","datavalue":{"value":{"time":"+1998-03-12T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4340496$55A9C62C-7A27-4D1E-84F6-D44C36C06E17","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"beee3648fc78215bd3297256b1ada8fd8f08734e","datavalue":{"value":"03F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340496$6A3FC56E-C898-47BC-AD7A-A1CE3F39B294","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340496$9B5BFE42-A5A1-4F4E-B0EC-5A085799DD95","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f3a45d3b9170142354a54e44062b715a09cdd0db","datavalue":{"value":"68N15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340496$CC93A7E1-FED7-4635-9FB9-ED5F0566B134","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340496$DE7E468F-85DF-44DA-8414-351C3F349912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"6d7a1f46576f0019bdac9e61c77a6a2411006e88","datavalue":{"value":"1019517","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340496$AE82119D-F34C-40E6-89A0-8C6CE65F1461","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d450f4b3083fe34d24db452ee74b92106c27a96e","datavalue":{"value":"intuitionistic logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340496$5E6A764F-5D15-48E6-B509-04FA1E4F18A1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0d152e6a9af6c905fdfdb33f1c35fcddd9b7faa","datavalue":{"value":"deductive system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340496$B9BBD36C-79E3-4D97-A45E-600CF4D8FAE7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01be3fbdae9d8f08c54ff4679a21e4eef52bd89c","datavalue":{"value":"calculus of realizations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340496$E9A76467-DAFC-4809-8FDA-0094DFF52D06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"353fc28853d194e2420a22f67aa54845b2afb4ca","datavalue":{"value":"\\(\\beta\\eta\\)-normal forms of terms","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340496$6DA54BD3-DA32-4E0F-89A1-BF4C1A1B427D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d5351fb1a7887475eb8ae40ea89720dcb4157cf3","datavalue":{"value":"categorical semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340496$901867F5-33F0-4964-90D0-A29FC4BA924C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ff33796796e98480bd831c12f8abdaa6ed1568ba","datavalue":{"value":"type classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340496$0DAA2F9D-FADD-4FC4-A92C-442C3178486C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"489560b9b00c44572ad1e0eebe89cce928d6d1f3","datavalue":{"value":"programming languages","type":"string"},"datatype":"string"},"type":"statement","id":"Q4340496$5E058D17-1D9B-4641-8609-70FEC29F9352","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":"Q4340496$630D173B-BE43-47D0-AC22-5058CA95654C","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"26866186305cefb3eb9082ae965aad64a4c7e2dd","datavalue":{"value":"https://doi.org/10.1017/s0960129596002125","type":"string"},"datatype":"url"},"type":"statement","id":"Q4340496$BC590241-1DA8-4B92-B757-1B9A36451E25","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5177b528203a776dd995873370eabf7f5bf175a5","datavalue":{"value":"W2165718795","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4340496$D95BB75B-0F04-4B0C-9B69-4446653EBCD7","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"0d7d746dd1c0d94473a10fef0e8cb6d8c93ce4b2","datavalue":{"value":{"entity-type":"item","numeric-id":4283243,"id":"Q4283243"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3f7504f12f308cdc2576dcf42bbc40e00c117180","datavalue":{"value":{"amount":"+0.7624754905700684","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":"Q4340496$1426046F-CE96-4679-B327-70E50365A11D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e2c322a72692e3ab7ea2300d0bbd7209dcdcae30","datavalue":{"value":{"entity-type":"item","numeric-id":4018064,"id":"Q4018064"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b828aff95b76137c2f1f735eb82bd2928593115","datavalue":{"value":{"amount":"+0.7601134777069092","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":"Q4340496$DC4B954D-1E6D-44C3-9120-BC58EA6E7C5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9b5400338068785dd15b79002a48f316d3ca8a8f","datavalue":{"value":{"entity-type":"item","numeric-id":4035240,"id":"Q4035240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8bb8cf8e324b3e608683bb18e54ca27d831ff72e","datavalue":{"value":{"amount":"+0.7568833827972412","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":"Q4340496$E78B340A-E1DA-40DE-A1C4-65EFE63BCACC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"acbd36df9a97bd100338aed48371df5cfa5b301a","datavalue":{"value":{"entity-type":"item","numeric-id":2500813,"id":"Q2500813"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"97532ff0a4a73f04b06dfaec8ae548d209618ee5","datavalue":{"value":{"amount":"+0.7563989758491516","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":"Q4340496$43BA0CAD-F978-4534-B0D7-8C57121D1159","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4340496","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4340496"}}}}}