{"entities":{"Q4006239":{"pageid":6036054,"ns":120,"title":"Item:Q4006239","lastrevid":55162978,"modified":"2026-02-04T07:17:48Z","type":"item","id":"Q4006239","labels":{"en":{"language":"en","value":"Girard quantaloids"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 55596"}},"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":"Q4006239$C248F35C-392D-4F35-BD28-03F80B24B68F","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3aa149653e69bb700122fd42970bd7b4c3cde2f4","datavalue":{"value":{"text":"Girard quantaloids","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4006239$25B39A01-F962-4140-BE74-39CA1F7D5EC8","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"7beafe1524d2f4e828498e667b0f789e0bef7c4c","datavalue":{"value":"0761.18008","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006239$E58D7C46-8371-401F-8390-13D3BEA9AEC2","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fa9effc0de74f03fc13be22f5db448d06418061d","datavalue":{"value":"10.1017/S0960129500001146","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006239$8231BF02-BFFF-4DF6-9922-19CF1DB0F3D3","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a53527e88e2413966f3c8ce14c92b878c452756d","datavalue":{"value":{"entity-type":"item","numeric-id":2709784,"id":"Q2709784"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$1169FDA7-A781-407F-A354-1BBC2B00B6CC","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d9b40ce89936be2de8343a01d1ced7ff59f76b3e","datavalue":{"value":{"time":"+1992-09-26T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4006239$57C60576-F555-43E8-88EF-0BF190BC9DE9","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5cefd0e10bad22754a568358b5238ae65a89a75b","datavalue":{"value":"18D20","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006239$77626353-B3D9-4126-BD10-3B81383A633D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"957970e11422fbdef7ba9db5e2b00bc9584e024a","datavalue":{"value":"03G30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006239$B0E222DB-99C8-4781-A622-53FE7AB43AC0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"c37a2ebd177ad7250da57d7e7c99a314ea8d697c","datavalue":{"value":"06F05","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006239$EB944484-239F-450E-929B-AD0952571A2A","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"694e98d63337e1132d21cd7f57bfb1dff1e6bb2f","datavalue":{"value":"55596","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006239$5FFC281E-B99C-477B-A139-8129B5FE0E62","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0d1f517b5e2c7ac578748deede85858a95063777","datavalue":{"value":"Girard quantales","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006239$9EFD38B9-9313-4680-B880-266ED842EAB1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"685cb1823a6fd266f737ed00314221dc509c4615","datavalue":{"value":"quantaloids","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006239$57BBD25A-292D-4E7A-8F1A-DB89E8FD31A3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"94f75eeafd3f3ccebb4ad51a01c4c36336ca5f23","datavalue":{"value":"categories enriched in the closed monoidal category of sup-lattices","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006239$4A965E6B-7173-4FC6-9EA2-4671F699C664","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c198eff30f9bd5d3b2c0b33363b076551994c814","datavalue":{"value":"cyclic dualizing element","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006239$849F3631-D932-4A57-B710-67ED948AEAAD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"db365748a8bf29fe4382ccea8d5c2463756d335f","datavalue":{"value":"Girard's linear negation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4006239$0503F865-5BAB-4858-9EFB-25ACA30C1C51","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"84c92b693bfa2825526c9b00cc869dd95b688677","datavalue":{"value":{"entity-type":"item","numeric-id":1057893,"id":"Q1057893"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$A916AD53-3F1A-4C4C-B7F9-F27514D5E287","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":"Q4006239$AD59C978-AE2C-45DE-BF96-F8BAE30DC7C7","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"6794d3d4f176929ccf1102c31809132328ef54f2","datavalue":{"value":{"entity-type":"item","numeric-id":1820858,"id":"Q1820858"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$65467F9E-FE79-4ABD-A82A-DEE2C4427148","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"35ac53e96e2af344c4747d359a3fa3cb372e6046","datavalue":{"value":{"entity-type":"item","numeric-id":1058586,"id":"Q1058586"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$43CE1075-C74E-480E-9BDC-E2A13D9B5AFB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16eee42b31f6860ae37e25fda7a1f7544c5a1fb4","datavalue":{"value":{"entity-type":"item","numeric-id":1061829,"id":"Q1061829"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$C34531EE-682D-4D2C-8EB0-4FADE4C9EBF0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"a6a9f8cc0d3535e9b48fe3f96e2beced526d6be6","datavalue":{"value":{"entity-type":"item","numeric-id":3755631,"id":"Q3755631"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$4CB6B650-34E2-4694-A7B4-F94602C63ED0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"51b66726964d3d433ff18e1b52294538dcbb75fa","datavalue":{"value":{"entity-type":"item","numeric-id":4108488,"id":"Q4108488"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$D40AFF89-2D2C-42ED-B54E-B86204DF711E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d82b227295c10b6c3c9289b01dc8016d6c611441","datavalue":{"value":{"entity-type":"item","numeric-id":3727946,"id":"Q3727946"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$DCCDACAC-1773-4D4D-842A-1CA0CA6B4DB7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4df405bfb6346fd9a4bedf060b47dec4f4e3cea9","datavalue":{"value":{"entity-type":"item","numeric-id":3934579,"id":"Q3934579"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$46B69887-4D72-4C7D-B490-91DFB8ED5B60","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3422cef0c9a9929cf6babf24e2aeeba55fa17104","datavalue":{"value":{"entity-type":"item","numeric-id":3478401,"id":"Q3478401"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$D9425A88-7F83-411A-8625-93E02698127A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19f86d9f5cfa728eaec66298b011d7269fca9cac","datavalue":{"value":{"entity-type":"item","numeric-id":3827993,"id":"Q3827993"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$62C835C5-447F-4D22-A313-4D41CA84D54B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"baefea3dd7497c52a399f9b225bc0c6fedf83407","datavalue":{"value":{"entity-type":"item","numeric-id":805732,"id":"Q805732"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$1CF6CD5E-7587-4D83-ACA0-13CE7D147745","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8820f1b321cfbef69924230a297198d883cd6da1","datavalue":{"value":{"entity-type":"item","numeric-id":3996704,"id":"Q3996704"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$2169E0CC-2164-4094-858A-F197948617D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9aed7831a70add7bcf12768da28495fb8aecf502","datavalue":{"value":{"entity-type":"item","numeric-id":3807268,"id":"Q3807268"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$E02EE8FC-9DD1-490F-ADA0-CCBE5E08298A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4a2b2a8cf71a298beb3d5742fd0312db85012cf7","datavalue":{"value":{"entity-type":"item","numeric-id":579249,"id":"Q579249"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4006239$34640FE1-1864-45B4-8D3E-5FE99E7C6698","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"2ccf8ecf28956a4767e009f650612c5fe9419e35","datavalue":{"value":"https://doi.org/10.1017/s0960129500001146","type":"string"},"datatype":"url"},"type":"statement","id":"Q4006239$31B93EA3-FB18-4F66-B3AC-010B185546FD","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"5834c8e28d9352c890b700bd20f90b629ba6986a","datavalue":{"value":"W4248272788","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4006239$99DF5CCD-D2A1-4F19-A9CC-55C46D8BCE9C","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"3befb1f54c3895679108012ff84c9e71223baee3","datavalue":{"value":{"entity-type":"item","numeric-id":5432904,"id":"Q5432904"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9dcd6d937f4bf49cee71ea011be046271580676d","datavalue":{"value":{"amount":"+0.87229943","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006239$8E831F40-BB4E-4CC3-9C5C-1BACB23328D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13ba8ff320513da7ea01aaaefaeac2417af03b91","datavalue":{"value":{"entity-type":"item","numeric-id":969691,"id":"Q969691"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"571990d1742e421beee35f63d352da1b98da3cef","datavalue":{"value":{"amount":"+0.84991163","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006239$21F76861-F84C-4073-A6D4-8093DD39E1F6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ffadbe5c409e6c230a0991a432e398642ff6c34","datavalue":{"value":{"entity-type":"item","numeric-id":4508558,"id":"Q4508558"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec102e2091237c2cd3f5ffca1de7273c6ba13854","datavalue":{"value":{"amount":"+0.8352691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006239$5CE73ADD-AA01-41D9-AFEB-F1FB468E1984","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"727c8f777b406ef913ccdbc37e3377c1c5cda48c","datavalue":{"value":{"entity-type":"item","numeric-id":4884543,"id":"Q4884543"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4fe23c252e7aa5bd2bba9ac1546594f0d310c0a3","datavalue":{"value":{"amount":"+0.82856894","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006239$732E86BA-CED2-4F21-A151-CCDD598DC47D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"d1ea2ae336dfe506bbe20e36d907fcc5cfbc8fcc","datavalue":{"value":{"entity-type":"item","numeric-id":3197878,"id":"Q3197878"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f8a37532ee138fc0531d5f98bfcf3614210896c5","datavalue":{"value":{"amount":"+0.823691","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006239$00044CA1-283A-4513-8ADC-DA5C3B5434DA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bb1fb9eaca88f7d6cb2e57c924c646952e98f866","datavalue":{"value":{"entity-type":"item","numeric-id":5708895,"id":"Q5708895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"64ae3a8cb5e5b2657aa07d76cf081b8b407400f3","datavalue":{"value":{"amount":"+0.80957997","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006239$3CFDD6DD-9507-4101-A8A3-FA34391F1374","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5ab7212fc42d948e8b9fd1fb20698df1a33ab685","datavalue":{"value":{"entity-type":"item","numeric-id":1107514,"id":"Q1107514"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c7c80cc5ee68162bce81eaead599efe4dbed692d","datavalue":{"value":{"amount":"+0.8087672","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006239$5D67DB47-057D-4CD0-BCBF-DC8854FEE322","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"56768d7493bc948857f40591c2a60fcbe2a9f7bf","datavalue":{"value":{"entity-type":"item","numeric-id":3501137,"id":"Q3501137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"73a1ff551a26d1bb77637fb533db59c9d26137d6","datavalue":{"value":{"amount":"+0.8067304","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006239$FF32262A-AF8B-47A7-93C6-C33622A956DF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"505203103d2107ac1356b886e16910090339b3ee","datavalue":{"value":{"entity-type":"item","numeric-id":4285801,"id":"Q4285801"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c1d3612d30a410e5b47d98c84ed2e30fb6d49bf5","datavalue":{"value":{"amount":"+0.80670977","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006239$6A1AC179-4037-45EF-851E-27709A75F666","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"389f76d8754dd725eec91aaef8767cf57fb3fd63","datavalue":{"value":{"entity-type":"item","numeric-id":3080424,"id":"Q3080424"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"420bdd5519c4a141412a73f382846cb6c1440665","datavalue":{"value":{"amount":"+0.8058009","unit":"1"},"type":"quantity"},"datatype":"quantity"}],"P1660":[{"snaktype":"value","property":"P1660","hash":"ba354e87a58191d58d132c60481c945a3234ce85","datavalue":{"value":{"entity-type":"item","numeric-id":6534273,"id":"Q6534273"},"type":"wikibase-entityid"},"datatype":"wikibase-item"}]},"qualifiers-order":["P1659","P1660"],"id":"Q4006239$BAE2AD67-5F39-464D-9B26-01B3FA7DE89C","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4006239","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4006239"}}}}}