{"entities":{"Q2233391":{"pageid":2244134,"ns":120,"title":"Item:Q2233391","lastrevid":57686301,"modified":"2026-03-31T22:06:11Z","type":"item","id":"Q2233391","labels":{"en":{"language":"en","value":"Constructing a universe for the setoid model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7410416"}},"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":"Q2233391$F8C4977F-1084-41A9-AC19-D0190316D61F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"bdd815fe8342ef401187b1520fbe4beec4032c60","datavalue":{"value":{"text":"Constructing a universe for the setoid model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q2233391$797F03BF-BFBF-45FB-AB2B-9452086EB0E6","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"915a1b641ee72571e78727a74dd8b4b1b106a4f0","datavalue":{"value":"10.1007/978-3-030-71995-1_1","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233391$E0D187C2-9D8A-49A2-8B3B-883F6AB00283","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"6801a503eb1bea2102d1e59832005afa5cab1cee","datavalue":{"value":{"entity-type":"item","numeric-id":1652991,"id":"Q1652991"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$6BA1E710-3527-457C-980D-6FA83FE1359C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"9cb8671b5b74811c81f29e2d55dce0ba176aa70c","datavalue":{"value":{"entity-type":"item","numeric-id":1791138,"id":"Q1791138"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$D64EBF81-1C2C-4568-8BE3-30FADD85C46F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"a7cbc48b481a6b830ab14eacad20738b43bab2e0","datavalue":{"value":{"entity-type":"item","numeric-id":2176676,"id":"Q2176676"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$411D3152-329E-4FBB-847D-EF44BD7C6429","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc7fdb135258dcfe93ae25455681fbed1804f031","datavalue":{"value":{"entity-type":"item","numeric-id":2013547,"id":"Q2013547"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$30D9DEF6-A18C-4476-9589-5EB622FC65BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"56dca789a51e2cc24b89323a0aad3198446011fe","datavalue":{"value":{"entity-type":"item","numeric-id":2233390,"id":"Q2233390"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$068FF483-A3FF-4375-80BC-F58DB33F4ACA","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"899d672926fe97cd87f3708d91dc74172e4f3b51","datavalue":{"value":{"time":"+2021-10-18T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q2233391$283E1F20-89ED-4D48-A384-5CADF9EFCD15","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"1a86519cb3571ebce07f2774b2a00a0f17e12c3e","datavalue":{"value":"68Nxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233391$1BAB207F-31CE-44FF-BDBA-19378298ED0E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f969879f531643f058f8dd4c87a7dd4eb7b8c4c8","datavalue":{"value":"68Qxx","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233391$BC16D874-68E5-471A-913B-BD363E3286BA","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b77ffce626b91d6b0271cbf6b588f4eb2314a40a","datavalue":{"value":"7410416","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233391$702F4C00-2DA8-4881-87A9-4CBC03396B33","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233391$EA80B3F8-645B-45FB-BAC8-9608639F02E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d8aa514cce6078d9005224c723c2e91bf199efa0","datavalue":{"value":"function extensionality","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233391$DB5F51E4-6EE1-4912-AD4D-B5790B0C6C59","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a8388859765d437448f22dabfcf407925aaddb93","datavalue":{"value":"univalence","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233391$18065C72-D7B5-4D6F-98AC-FE9115BB46F4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"bed8d08c776700b15d9724726c1bc984a66d410f","datavalue":{"value":"setoid model","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233391$FA9043B0-D3E0-4CFD-B2DF-4F9CE04057B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"da9b6b30e75ab6d3d3efff8704b8590355cec6c8","datavalue":{"value":"induction-recursion","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233391$7B1BECE0-0435-4D13-B8F5-91527824C866","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01773f7fa3bae9013080dff115142d79035ecb95","datavalue":{"value":"induction-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q2233391$4E24B538-BA3C-491E-8C74-7471B9DE4C08","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":"Q2233391$92F723B7-29D3-463B-AB43-0E002491D554","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5325fe44425e418eac839ab2f158539b65a54937","datavalue":{"value":"https://doi.org/10.1007/978-3-030-71995-1_1","type":"string"},"datatype":"url"},"type":"statement","id":"Q2233391$2470E49A-B6B6-48F7-8DDE-570F1ADC2CEB","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"83914031d408a8613c180b4e32a27917c1c54518","datavalue":{"value":"W3138716284","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q2233391$AFB12311-5CEE-40D6-BF0A-6224064A14E7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"fc27e487b19f3a885ba7ee44e199514f4729614f","datavalue":{"value":{"entity-type":"item","numeric-id":3300787,"id":"Q3300787"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$F63637DF-590A-4F95-B245-A89B047DA12C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"67e43cd194146fff0fb8e4b0aacca2f4f32e42e3","datavalue":{"value":{"entity-type":"item","numeric-id":3937387,"id":"Q3937387"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$9CA22BFA-8381-4F7D-BCEA-7D7B24BEB39B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1ea3b9dcc765a0506e851fe3e6b94c778ecda1a4","datavalue":{"value":{"entity-type":"item","numeric-id":2176677,"id":"Q2176677"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$9A98E000-A30A-4AA6-8700-CE4858215A2C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"34a544eff9bd65de4592fa7b247517554bcdddd5","datavalue":{"value":{"entity-type":"item","numeric-id":2828239,"id":"Q2828239"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$4E216634-D591-4584-B20A-31A722D44BCB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"db8458337cd3a4cd3d74d2907223943a8275b818","datavalue":{"value":{"entity-type":"item","numeric-id":4993350,"id":"Q4993350"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$3072CA1C-BEC8-4C91-AE4B-BE49D2DB244D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e4d81c05ed4b3bf3734b1acb61ea0d75bceea42b","datavalue":{"value":{"entity-type":"item","numeric-id":2233391,"id":"Q2233391"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$7597BB31-4653-4422-ABFB-740F70673E6D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"468e91b711762444f3218471e1feccac4a79e420","datavalue":{"value":{"entity-type":"item","numeric-id":2968413,"id":"Q2968413"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$2AB05111-6855-41BF-8E69-51A2657A0FC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a4fd098ea4c8653eaec826e6d53d5157343c914f","datavalue":{"value":{"entity-type":"item","numeric-id":4580226,"id":"Q4580226"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$B85000BD-7A09-43B3-BDD7-15EB429D76CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e544e438e6837b40684be8afb567ee872639a802","datavalue":{"value":{"entity-type":"item","numeric-id":4647575,"id":"Q4647575"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$69C84832-FCFB-405E-A833-BA6650809474","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"364525b70d80e5ad032dd4bcb752b39f36195669","datavalue":{"value":{"entity-type":"item","numeric-id":4508246,"id":"Q4508246"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$57829B24-40AA-48D4-80A7-D96271CCDABC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5765b1c70da77537c6e225225ff527afc50bcc4e","datavalue":{"value":{"entity-type":"item","numeric-id":4263867,"id":"Q4263867"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$4F2C0582-D8C6-47B5-B72D-AE56938B379B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d846dce50adc7b6741cb464e66a4207934b87faa","datavalue":{"value":{"entity-type":"item","numeric-id":4647577,"id":"Q4647577"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$171FC9A7-40D6-418E-8EAA-6BF9C70CF3B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0734eca8b44b27cc39aa495faea7cd858d51f4e1","datavalue":{"value":{"entity-type":"item","numeric-id":4247303,"id":"Q4247303"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$75D38828-50E7-4507-B854-DAE9F55D2251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"37af35dc090c6c2687abaac50a4d7bcc03df7884","datavalue":{"value":{"entity-type":"item","numeric-id":6079233,"id":"Q6079233"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$95158B4A-0411-4319-ADAC-4E1A6DC9B1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d883e8a301f9d9a1270f265bcc8f905803e1f963","datavalue":{"value":{"entity-type":"item","numeric-id":5300900,"id":"Q5300900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$69B4C6A4-24EC-41D5-AD32-F70A506D471D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ae94f828af67e50fecbc9e4b645ed6964977b9db","datavalue":{"value":{"entity-type":"item","numeric-id":4099613,"id":"Q4099613"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$D09D6DC2-F556-4327-BB49-F387A8662251","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47b0ec3118c55b6f3ab232f29debefc8c9d383a9","datavalue":{"value":{"entity-type":"item","numeric-id":3688389,"id":"Q3688389"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$55BD8542-E811-48C1-B9FB-375D6E111C6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"615fa71f9ac381c1b1417bf5e79adb133d890653","datavalue":{"value":{"entity-type":"item","numeric-id":2848936,"id":"Q2848936"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$434259D1-49CA-4446-B0C2-E2B92C0C837C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"85eb75282babb0af671593e89da706c05d1d3353","datavalue":{"value":{"entity-type":"item","numeric-id":2921123,"id":"Q2921123"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$0F4ABB3D-6AB6-401E-8D78-C81BE42F05DD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d65ea38725f717a21282826d464ceb89082cf0ee","datavalue":{"value":{"entity-type":"item","numeric-id":5089034,"id":"Q5089034"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$BE4C0CDF-54B1-4C4C-86D3-92B71A7770E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"890522dc4e3ecb3007fccfde8c53acf4163b6c1a","datavalue":{"value":{"entity-type":"item","numeric-id":5420262,"id":"Q5420262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$EB21BE57-83FD-4587-8F63-D03E8F56DFB2","rank":"normal"}],"P163":[{"mainsnak":{"snaktype":"value","property":"P163","hash":"45fcd4163b5f33e6e8c784f5522d7246c0a1a61e","datavalue":{"value":{"entity-type":"item","numeric-id":57056,"id":"Q57056"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q2233391$8A6BE846-BC1D-4EDD-AAEF-DF6015BEB520","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:2233391","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:2233391"}}}}}