{"entities":{"Q3727946":{"pageid":5757852,"ns":120,"title":"Item:Q3727946","lastrevid":50803625,"modified":"2026-01-15T05:57:09Z","type":"item","id":"Q3727946","labels":{},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 3959364"}},"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":"Q3727946$CE4AAE01-8A00-4725-BE58-C25FF5443029","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"1698d8245a4fe9c34536da8e7216b247e38e98b8","datavalue":{"value":"0596.03002","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$96353EAF-72E0-4603-AFC3-E039375327D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"2ab81d74da7d6cf4bb1c0c07253f943d18da01ee","datavalue":{"value":{"entity-type":"item","numeric-id":1123882,"id":"Q1123882"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727946$8A965B94-C483-44E1-B58A-86CB503E9F82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"05de455bccc01699903781162e24418d46351def","datavalue":{"value":{"entity-type":"item","numeric-id":6482386,"id":"Q6482386"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3727946$5E9F744F-54BA-45C8-B687-BCFAA670D1A0","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":"Q3727946$3B01083B-83D8-418E-9ABE-77DE01A0B5FC","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"89663cdc2c9f64b2cd0a104bcac86329d89b9b2d","datavalue":{"value":"03-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$B61FC971-2C44-4971-88B2-11A18825517B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"a4fe5939a453f4aaa455013a55b7fe6097c5eb7f","datavalue":{"value":"18-02","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$69BCA8C9-243A-41AF-98EA-9DE9A85A4BB4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$701A1D75-52AE-4224-AD2A-A1097E409732","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$909012B8-F4AC-443D-A296-D9B119F542CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$1C66238A-7409-4901-88DF-B743DD9F4C05","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"dd8503cb84d44ac2adb520ebbb11872e6dc1ec3b","datavalue":{"value":"03B15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$93C2D022-7744-4304-A31F-AD0BD3CAFAAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"aa2d311bfebadfc58292672011b7418c359f6a26","datavalue":{"value":"18A15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$D5B8146A-DC1E-4B87-99EB-2CC4DB942118","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b28ec93edbc28cf51ca38efd24d859f9e51258c9","datavalue":{"value":"18B25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$9A95490F-B5BC-4531-9F77-220840A72147","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"44bfe90f17a7ad0027a9dbba6d9564554d8f86b7","datavalue":{"value":"18D15","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$C2FDCE31-2DF5-4AE4-8946-C3970A09FA87","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c714806ba1c3df5e76d266db6b36b4b17c14d5dc","datavalue":{"value":"18-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$E9CEA08D-3681-4896-A808-7A1026D99BD9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"5eb59e57cdf22dd229e0d8b292a33dd322f6e9d4","datavalue":{"value":"03-01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$C7F6515B-84E2-4B6F-90B5-DA22D371CD54","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"5a60c39504cc744f5ac877a44629362e9f0ddcdd","datavalue":{"value":"3959364","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3727946$CCA9C43E-49BC-4B8C-94D2-1B7730091EDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01f639a56e1e38a2490c4463ce011c878a3d36ab","datavalue":{"value":"typed lambda calculus","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727946$DCD28CDF-9380-4019-9F21-001ED15862E6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f78c14d383057885878940e36faa5203983410b4","datavalue":{"value":"higher-order intuitionistic type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727946$5D2EFB54-0EFD-450B-A9B0-D0567C0D0470","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"3a645f1ee8946a03309984f61203be8759d9dedf","datavalue":{"value":"cartesian closed categories","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727946$890DBBC2-3F7F-4700-91A3-096FD1E33BFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b0266ed642dbd2c472b03c0ef72daba509611876","datavalue":{"value":"free toposes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3727946$C0D0ED60-CBCD-4351-9B26-5AD6F0378F56","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":"Q3727946$4B5CD063-610B-49A5-874F-7BB9586B4F30","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"eab4e1bd8bcf8704eb458b3fff20f86a2df14100","datavalue":{"value":{"entity-type":"item","numeric-id":3342573,"id":"Q3342573"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"71197a91d28e7873966ee801bd6e2c7e052aaf7d","datavalue":{"value":{"amount":"+0.8762322664260864","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":"Q3727946$776FF9DF-BBD0-42BB-B268-E4B800348ADC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"8a4c87b0c14b080abcdcb2516758f6a0ba60161e","datavalue":{"value":{"entity-type":"item","numeric-id":3768900,"id":"Q3768900"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0ff3ec37a259a6dc7e71c00694c96b71947dad68","datavalue":{"value":{"amount":"+0.8100215792655945","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":"Q3727946$A89FC0FA-2B8E-49C5-A06E-F758C744DD3C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"93acd6d9164ba4996727ad731f37eada803be4bc","datavalue":{"value":{"entity-type":"item","numeric-id":3999603,"id":"Q3999603"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"cd57985a120c37f943e168f9ef5f78d446de67b6","datavalue":{"value":{"amount":"+0.8097859621047974","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":"Q3727946$1174A680-E014-48F3-9E7C-F0226C8932BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"07ba4fc17b65eaf74de8911910d24343efc0560d","datavalue":{"value":{"entity-type":"item","numeric-id":5269006,"id":"Q5269006"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"b9f44bfaa733ded7af9134c31525c4d0d75aaf40","datavalue":{"value":{"amount":"+0.8049604892730713","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":"Q3727946$1B93AF9B-8E79-4523-8634-CEE45B785AF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a07288eaa2636799461e93ebd32f0d8092f103af","datavalue":{"value":{"entity-type":"item","numeric-id":1279608,"id":"Q1279608"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"8601528db8086919121a40be980fb5974593669d","datavalue":{"value":{"amount":"+0.7939741611480713","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":"Q3727946$7270433D-4733-47E2-A7EB-59AC2AFA2E29","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:3727946","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:3727946"}}}}}