{"entities":{"Q3762311":{"pageid":5792217,"ns":120,"title":"Item:Q3762311","lastrevid":51832763,"modified":"2026-01-20T06:38:32Z","type":"item","id":"Q3762311","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4012604"}},"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":"Q3762311$A7EDF10E-691F-4000-8B9A-E614C48C0AF8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"48f3a9d03835b54d507b9c23b512fa87e0472444","datavalue":{"value":"0624.03044","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762311$689115FE-1FE6-4166-8EC9-96803027013D","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"828127614e1e8bf8a1bb479b3284a4822ec68a2f","datavalue":{"value":{"entity-type":"item","numeric-id":636294,"id":"Q636294"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3762311$4987ECAE-600B-42A8-9146-866E9A2E3EB6","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"63df7153432d81fa42019fcabb076c89649b0b5b","datavalue":{"value":{"time":"+1986-00-00T00:00:00Z","timezone":0,"before":0,"after":0,"precision":9,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q3762311$C9AEE60F-74BA-4282-8481-4C6721B59024","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762311$2EB61B8E-DA01-43C2-8E38-DB3ED66454CF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2b0919c48a255b26fcf065230a9a621cd8c579a3","datavalue":{"value":"03E70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762311$62575CBF-4A07-4436-B1E6-FAD19FA4DA5B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"2f1459d5951e049c51abbc0d85c8bd47bc411fa9","datavalue":{"value":"03E25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762311$5A6B0070-4DD3-4D47-9142-15B12C7949B4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"f30902273cf64c52f3474440f1911e4a354b3216","datavalue":{"value":"03E47","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762311$17391B48-DA81-4662-8B21-264EA7B6736E","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"96755faf5537af96c63527fffc648926932e0622","datavalue":{"value":"4012604","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3762311$E62567A4-0A5C-4398-A564-9828A609EB7D","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2480cc2eee94aeef8ebff6aee8d0f5d5b5743bc0","datavalue":{"value":"type theoretic interpretation of constructive set theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762311$51CCB2E8-8BB3-4361-B5D4-83675DB4BF84","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9524ee5ea287de0384370b548ab7fc4bdffdd5ce","datavalue":{"value":"regular extension axiom","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762311$0A36EA0A-FF21-49FA-B8D0-0B72FF97A1B3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f241144e7da92fd2b86dfe162d6dd27a44286bc2","datavalue":{"value":"regular set","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762311$EDF95F73-EC87-47F0-94CD-BD00195F84E1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91e77dd59e56d74e4a65ba5c609dd58604d6ae63","datavalue":{"value":"inductively defined classes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762311$4972B842-A88A-4006-9555-BBB8A936A7A8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"70069efd410315900f2bf16a0133ae36112e66f2","datavalue":{"value":"inductive definitions","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762311$49118EB1-5839-40C1-8544-03C26F795C52","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"30aded0552094ac5716fe4747a6c670c61574792","datavalue":{"value":"choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762311$0DA5436B-9547-42DB-B1BC-BF6562A9ECEF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0f5d5c403c7f175c3df49bd436848c46eef41188","datavalue":{"value":"regular models","type":"string"},"datatype":"string"},"type":"statement","id":"Q3762311$B9FE0EC0-643C-41C9-852D-FD1F40F03F9C","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":"Q3762311$846E9A02-2FA8-4017-B63B-02B9F9998EAB","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fb0c80d5ffcbdb1591d4269ec79f12153c5cc953","datavalue":{"value":{"entity-type":"item","numeric-id":4434505,"id":"Q4434505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"5d1381f6e465d345642aeecc3534eab449c08755","datavalue":{"value":{"amount":"+0.851405680179596","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":"Q3762311$AA05EA56-20B5-4F8C-81AF-190FBFF43007","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"33d89e31a0d5771bc1eb782b61da6c6687dacc9b","datavalue":{"value":{"entity-type":"item","numeric-id":5718561,"id":"Q5718561"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"65c13859a5397f6ae9656ea221cf9fa61deee035","datavalue":{"value":{"amount":"+0.7397852540016174","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":"Q3762311$0976F3A4-AA40-468A-B8F7-F72CDE36F1AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c6e3531ca5baa0e71d970e1f7742f2d4f1bea84d","datavalue":{"value":{"entity-type":"item","numeric-id":2500469,"id":"Q2500469"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cffc3f7b8f18ebc6ee615ce192cbebc7364c8e43","datavalue":{"value":{"amount":"+0.7045471668243408","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":"Q3762311$76526B7B-3073-460B-9A27-9FAFF5810DDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fbd848bc04dd79b349b04c731ea0ea452535ba3","datavalue":{"value":{"entity-type":"item","numeric-id":2878782,"id":"Q2878782"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"11cb7e28ba4579de2b9b73fe69ec9495113e537d","datavalue":{"value":{"amount":"+0.703596293926239","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":"Q3762311$7413E82C-AC3D-4583-AF52-49C78AB028C9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"49df5b352c0cb57e4d10ceb98a4c3dd02a32501a","datavalue":{"value":{"entity-type":"item","numeric-id":5435636,"id":"Q5435636"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"eb3960a70815eb8082ce5159711eeff2650d7b21","datavalue":{"value":{"amount":"+0.701332151889801","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":"Q3762311$CA0FCD94-C94A-4138-8AC5-5A6147C55F36","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3762311","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3762311"}}}}}