{"entities":{"Q1306715":{"pageid":1317465,"ns":120,"title":"Item:Q1306715","lastrevid":46775130,"modified":"2025-12-25T13:56:16Z","type":"item","id":"Q1306715","labels":{"en":{"language":"en","value":"Extensional \\(\\Sigma\\)-spaces in type theory"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 1347953"}},"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":"Q1306715$B9979B9C-454E-4423-A7B4-546ECB1CA26E","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b6bbe0902512a7f6499761b490f2954a69a6eb8c","datavalue":{"value":{"text":"Extensional \\(\\Sigma\\)-spaces in type theory","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1306715$6FBAD594-3D47-4E12-8A17-A97BBB7EE71B","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"77ba9ab70e580ecc9ba241bcb64d1ec3aba41639","datavalue":{"value":"0933.03030","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306715$4B2D26E6-033C-48A4-8315-D13446CFE1F3","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"da3bc7cac17ab0142613cd48d1f19cb546179222","datavalue":{"value":"10.1023/A:1008600521659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306715$82FECD86-1E65-4378-B8BA-C31120C2FED3","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"cc3e42733fe340979767bce67d5c97029b2e5567","datavalue":{"value":{"entity-type":"item","numeric-id":287262,"id":"Q287262"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306715$34E413EE-055F-4DE8-B324-4CC0D542AE66","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"94b43e925d53c61559a924a3f6e0b9807eaa629d","datavalue":{"value":{"entity-type":"item","numeric-id":171466,"id":"Q171466"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1306715$C231773B-A566-4646-A354-362FD7F4FF73","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"4807edd6e640ad656e01e00a44b61d620e873df6","datavalue":{"value":{"time":"+1999-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":"Q1306715$DF216714-5CBA-4E06-8A05-8940FFA08A5E","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"d53cd5ab715340bbfc507bf5b4aac1b907f4465d","datavalue":{"value":"03B70","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306715$BBB23785-0580-4E74-B3D8-262E42D79478","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"40d293f5d2161e80872b42afb12a3fc45e5d1401","datavalue":{"value":"68Q55","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306715$903D1B47-B3F3-43BC-8F87-20082A02B0AD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"8612eb3fa5372f4e40168b827ed17a01cee8d8f6","datavalue":{"value":"03F50","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306715$48E1D19C-3558-470B-834C-5F76F58C3EF2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306715$A008D82E-8C4B-4B31-80D9-1334BE046912","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"246f7d36f54c084e111a7af2f21af5bf8ae5812c","datavalue":{"value":"1347953","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306715$D773882A-F1E9-433D-AC82-48F8456D2867","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5ea0e35eece84bed33461e424b92d07e45bd0c24","datavalue":{"value":"type theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306715$8CDF4661-4780-4422-8F1D-63D499155CA7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c4a62be59df86ac5656fbe65ad3e6c1589611bfc","datavalue":{"value":"constructive logic","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306715$1F1B13F1-39B6-4DC6-A965-BBF2ADA65774","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306715$D30FCB59-F176-4389-B1A9-B1F2BF8E2BA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43b26cdf9b149b7a2410eb34e2bec2209878b225","datavalue":{"value":"Synthetic Domain Theory","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306715$BD22EBD7-28DF-4E1E-92FB-80CB5A046A17","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"69c73b4dfc0427979554d1aca095ddd271434f90","datavalue":{"value":"admissibility","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306715$A052D748-0FFB-4B3C-8A3B-BF42CE483760","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"b008c6e29dd3d356dec05d57b508f9bf03b17775","datavalue":{"value":"realizability model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1306715$DF246774-92C6-4560-BFC6-6127B6C1A034","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":"Q1306715$0FEBD70B-C946-43A1-AB10-EBEC96F107C9","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"5095c814124278606f87be61d1f6b5a2350661a6","datavalue":{"value":"https://doi.org/10.1023/a:1008600521659","type":"string"},"datatype":"url"},"type":"statement","id":"Q1306715$DCA6A83D-C987-4925-B85B-F7FEB253197A","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"cff0deb6f9a5a7df4974d6a63d8820ddcd27a861","datavalue":{"value":"W1530283198","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1306715$5339AC8A-FA05-4EFA-8DDB-CB5E6A6E783E","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a254204321c500eb1d331918129f8404b200a0f0","datavalue":{"value":{"entity-type":"item","numeric-id":5687242,"id":"Q5687242"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"93caefac26509d819e6ef70839f988751c750919","datavalue":{"value":{"amount":"+0.9227727651596068","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":"Q1306715$CD0C95E7-4ED9-4549-A8B6-62F72BAB6C63","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3f712d4fdb32936fdefb5a269f6c441dd791e2be","datavalue":{"value":{"entity-type":"item","numeric-id":1961922,"id":"Q1961922"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e6c2f0b9fbc0dee70b7d17f2be91324dceab721a","datavalue":{"value":{"amount":"+0.8723906874656677","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":"Q1306715$F789311E-FB28-4F51-8F96-EDE39C2DB9BF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e9d7b66699456ffd7f6f5a99ef6ab6b354036e7a","datavalue":{"value":{"entity-type":"item","numeric-id":4362975,"id":"Q4362975"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c34a5296136440dbaf71d4715b7588a2397563d3","datavalue":{"value":{"amount":"+0.8465334177017212","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":"Q1306715$C269BF33-F2FF-44CE-A4E6-97A0F28D527C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:1306715","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:1306715"}}}}}