{"entities":{"Q4457833":{"pageid":6487432,"ns":120,"title":"Item:Q4457833","lastrevid":48259009,"modified":"2026-01-04T03:46:39Z","type":"item","id":"Q4457833","labels":{"en":{"language":"en","value":"Setoids in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 2059563"}},"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":"Q4457833$E862A91F-B163-4181-80F8-BEB331709970","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"9a01eb7a894f5a0047d6becf689958302a6974f3","datavalue":{"value":{"text":"Setoids in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4457833$BA64ACE3-5605-4D2D-AF28-DF4BC3E05A2C","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e67a4184cef23d21f5ad6c398dae138c8eeeba0a","datavalue":{"value":"1060.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457833$0343B8CA-9FF9-456B-82B0-F750A58729B0","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"b18a65cf0d46e7199c7ae5c4f3956759809eda7d","datavalue":{"value":"10.1017/S0956796802004501","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457833$79F76565-9EBD-4CE1-A7C5-2CABF9A6C258","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"df85df02f9f01c867f5b97dc99ba15582bedbdd2","datavalue":{"value":{"entity-type":"item","numeric-id":236461,"id":"Q236461"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457833$4A1B0C32-A158-40FC-8275-BFA9BB45F395","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"58f305346d5b7751261acdf176028ec2b84c015b","datavalue":{"value":{"entity-type":"item","numeric-id":639642,"id":"Q639642"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457833$F19B5A4F-E6C6-4753-A49F-59094DF1F944","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"59f62068e8a2da23dd7ff743c1bb63e81e79c3e4","datavalue":{"value":{"entity-type":"item","numeric-id":2769424,"id":"Q2769424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457833$AAC9B198-EF9F-4546-B2A0-FF9845342A8C","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"c0cefd96801130048cf3f8ae21032b5cf52d744d","datavalue":{"value":{"entity-type":"item","numeric-id":2713363,"id":"Q2713363"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4457833$A8A62A33-F96F-4D1E-B399-F273EB4BAE1E","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"1d75dd69f6961ad93c6a4059106a59e2c8b929b1","datavalue":{"value":{"time":"+2004-03-17T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4457833$5349239E-BE55-4752-BC7C-B6CF0C3694A7","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"10eaeaf8bbf8231bbfc812aab8956e260b5a9f12","datavalue":{"value":"03B35","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457833$E1A84AFA-D66A-426A-9A95-982115AAA84B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457833$16D6F4C9-7627-4CBB-A093-D21EC6ABFFCF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"e6e7c2e9d67f9590a26e18c734f34db53ce5ec87","datavalue":{"value":"68T15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457833$1D57B3C3-8C34-4F8B-B152-5BDA1605F64D","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"f2e94d87bce2123d8f5e480636e462e0770ff21d","datavalue":{"value":"2059563","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457833$DACDD59B-AC79-421A-BBBB-474FE5B61079","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"251f84b2ed3c891971b28737bbc90e61a49e74f9","datavalue":{"value":"representation of sets as setoids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457833$11148ACC-5832-4B5A-B554-80A8E4FB2E46","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"13fd823fa813aa32375d6c4605d9195c2318674c","datavalue":{"value":"dependent type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457833$DA7BA739-DF3B-4862-8A68-32DAE734A9A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"948cfa2888dae2e25a06784650d87573ea0708dd","datavalue":{"value":"total setoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457833$64FBDA77-3568-41F8-8E54-40764942D365","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fc5f237ba742dee8500f2076f8a628ed300e75d9","datavalue":{"value":"partial setoid","type":"string"},"datatype":"string"},"type":"statement","id":"Q4457833$579F1BA1-93F7-4532-87B0-4ACACDBEE2C3","rank":"normal"}],"P12":[{"mainsnak":{"snaktype":"value","property":"P12","hash":"8c6dd10170cd467f6dfd365faa54fa453f3d7d08","datavalue":{"value":"Q56430943","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457833$2CE053BE-6F43-4BCA-86DE-DAA30587DF0C","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":"Q4457833$98DCE348-4211-4D8F-AE35-DC1AC62B13D5","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"f0a8528f18b1a5d71de66393134663edc3c34769","datavalue":{"value":"https://doi.org/10.1017/s0956796802004501","type":"string"},"datatype":"url"},"type":"statement","id":"Q4457833$1AADC5F0-1173-4C19-9535-EE43D4665A26","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bfcdafd4a0eee7d8d49912bf6ffd6cd1b434b85f","datavalue":{"value":"W1988136938","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4457833$E727AAEE-8FB0-4CA8-ADF3-BF3B618978C4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e54aee9dd8f08b492ed4eb36a1803d722c0614fa","datavalue":{"value":{"entity-type":"item","numeric-id":3583021,"id":"Q3583021"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"62cdab29b43431fadfa6733c3b26ea6330855d06","datavalue":{"value":{"amount":"+0.8454614281654358","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":"Q4457833$471F0A58-50C7-4F7B-A4A1-74E35B602F7A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"119fc0bd9b24a50f4879867ef374d75d8eaf4446","datavalue":{"value":{"entity-type":"item","numeric-id":2921123,"id":"Q2921123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2649eb4dc4e5840d8091f447f0ddb7e155da14d1","datavalue":{"value":{"amount":"+0.7821513414382935","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":"Q4457833$3327CE51-4708-4348-838F-1FD36FBF168E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"2051e99841f6b9cec7f566b75fdc0b6d66f9139f","datavalue":{"value":{"entity-type":"item","numeric-id":5155691,"id":"Q5155691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"dcde9e9ec912af22e539c4443cbb3eb13f3dd29e","datavalue":{"value":{"amount":"+0.7763105034828186","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":"Q4457833$CEB2FE07-5C7E-43E9-BC47-12380CBDEBBB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5147f14eab95a96b3d7cee8d953938ae211f36ec","datavalue":{"value":{"entity-type":"item","numeric-id":4435462,"id":"Q4435462"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"23f96214caff539ff1f8260d3b6f9d22d7a278f2","datavalue":{"value":{"amount":"+0.7740660905838013","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":"Q4457833$3F190517-77C2-435B-84D2-27F7865887B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"52ed81439ed83a13718dc68ae40cfbc243d6e92d","datavalue":{"value":{"entity-type":"item","numeric-id":2253183,"id":"Q2253183"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2734ed19ff1b13245e12a67cb13ad7ac57256517","datavalue":{"value":{"amount":"+0.7740366458892822","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":"Q4457833$2C7E3C2F-A8F0-4DBB-B1CC-5B0BD7BC1109","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4457833","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4457833"}}}}}