{"entities":{"Q6651948":{"pageid":14263105,"ns":120,"title":"Item:Q6651948","lastrevid":100048817,"modified":"2026-06-05T21:18:50Z","type":"item","id":"Q6651948","labels":{"en":{"language":"en","value":"Categorical models of linear logic with fixed points of formulas"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 7957011"}},"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":"Q6651948$BB893FEE-910F-4C56-B767-71B94A99B557","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"af21d65e114f645256c12a0e8b87b07acceb38d3","datavalue":{"value":{"text":"Categorical models of linear logic with fixed points of formulas","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q6651948$E3B07DF2-1E64-480C-9866-A6955B50AAE8","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d60a6fb77bcf0b394c00a7538f521b004cd04912","datavalue":{"value":{"time":"+2024-12-11T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q6651948$B19766B9-E213-4850-AAE0-A4AA9A1DBA5F","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"f73d157ce9374047ebf746e6996382fc4dfda34d","datavalue":{"value":"03F52","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651948$10D4C8CE-4C7E-4332-A56A-C86C8DA0194C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"afbc7dbae75e8b6912499f8e0b414e65fdd0d9b8","datavalue":{"value":"18M45","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651948$D086AD95-90A1-4807-B374-7FD28D14F6B9","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"b2c4a4fbe784fe8acf4de082ebd59a0b08c1dbd1","datavalue":{"value":"7957011","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651948$5B56A5BA-326D-45AB-9397-30CC77B62D18","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":"Q6651948$F880931E-1D4A-430D-9B7B-349DA64BBA51","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"fc3c91085d8ba98dcd23ee477f08af514bd97555","datavalue":{"value":"10.1109/LICS52264.2021.9470664","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q6651948$B38A6607-3A08-4B1E-8297-B58C415570A5","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"36ce0b9eaaea21dfd61968df0caebd433bfac3ce","datavalue":{"value":{"entity-type":"item","numeric-id":3646423,"id":"Q3646423"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"1127bc0463ac875e02e89eff3b60b023f5933f10","datavalue":{"value":{"amount":"+0.8005411028862","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":"Q6651948$C884FD72-A27B-4E33-AD84-697ED98DA431","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c1301fb52b89ef74f42f456c47fc225033b134c8","datavalue":{"value":{"entity-type":"item","numeric-id":3024825,"id":"Q3024825"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"55fae891948085e9d0e659a4cf41cea897899e22","datavalue":{"value":{"amount":"+0.8001025915145874","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":"Q6651948$183D21F7-7941-41C7-87B7-DDF489154B11","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7be723dc276127637240b81a4dd062cc4f1eace1","datavalue":{"value":{"entity-type":"item","numeric-id":5251192,"id":"Q5251192"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9309462892a274cfbf25ca1ea349e389253fcb52","datavalue":{"value":{"amount":"+0.7929644584655762","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":"Q6651948$745BBC53-237F-46AE-B2F5-2C42B3404262","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e13da0b5ce7f4302cd8c512dd1ba84b41a556861","datavalue":{"value":{"entity-type":"item","numeric-id":5466507,"id":"Q5466507"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"61ebd3c7a1e43a8925a3a08ee73082c2bdb2b212","datavalue":{"value":{"amount":"+0.7903574109077454","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":"Q6651948$AEE4DBC0-EAA1-4407-AFA5-13B5B5BA74CF","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Categorical models of linear logic with fixed points of formulas","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Categorical_models_of_linear_logic_with_fixed_points_of_formulas"}}}}}