{"entities":{"Q4717043":{"pageid":6746620,"ns":120,"title":"Item:Q4717043","lastrevid":46448130,"modified":"2025-12-24T19:35:57Z","type":"item","id":"Q4717043","labels":{"en":{"language":"en","value":"Op\u00e9rateurs de mise en m\u00e9moire et types $\\forall $-positifs"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 951899"}},"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":"Q4717043$9B0F754B-1F18-4D73-A9CE-B730F425DDE9","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"2db4e9899ea68d97967512797430fdc33388d991","datavalue":{"value":{"text":"Op\u00e9rateurs de mise en m\u00e9moire et types $\\forall $-positifs","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q4717043$5F6DB475-1FCB-44E3-B5B8-264512870E6E","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"8c6f914ce361bc33afb484faf17c89830fbf0c99","datavalue":{"value":"0869.03009","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4717043$90F6A3F4-A020-4A53-825A-69B4DD0A97AF","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"cb11a7d64aa2e2ac6f5f0a641dfeb8e0525b889d","datavalue":{"value":{"entity-type":"item","numeric-id":2720405,"id":"Q2720405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$42602B10-72C3-491B-A740-01C9AFAA8481","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"d8f57c2707c7d53eacf4022f5ee5ca93983fdb18","datavalue":{"value":{"time":"+1996-12-01T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q4717043$E0E2E2D1-5144-47B8-918F-D2C5B73C80F6","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"70ef17b1353969b63d90bcd179e78f54c84c5f1b","datavalue":{"value":"https://eudml.org/doc/92537","type":"string"},"datatype":"url"},"type":"statement","id":"Q4717043$E8969AD2-7EE1-48D0-8503-98B88B64E33D","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"25aa969dcca62ee94c95b2a54e4102ee8a17d130","datavalue":{"value":"03B40","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4717043$98F67686-BCEF-4A3A-B6DC-2A453DC3D375","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"2ff1554acc9daf44805d861a74fff4671bf85485","datavalue":{"value":"951899","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4717043$845FFFC7-12A4-46BB-AF28-A154A8124748","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c086c399a69aaa1cc93221592f19846d5c22769","datavalue":{"value":"storage operator","type":"string"},"datatype":"string"},"type":"statement","id":"Q4717043$58196A24-6C4A-4DF0-B071-991655CCA829","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"eae76ca837ce42b47a62c8aab3ef578815d84744","datavalue":{"value":"AF2 type system","type":"string"},"datatype":"string"},"type":"statement","id":"Q4717043$093DD3C1-8E5D-43EE-8CE8-0C2291E4E22F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5cb2ae4af3fd7fdce730f3becddcb6731746e622","datavalue":{"value":"\\(\\forall\\)-positive types","type":"string"},"datatype":"string"},"type":"statement","id":"Q4717043$BA532862-F754-4986-B1D7-4FD504EB831F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"60d0a94cee2e2721c58e00d47b6aebdd84c23732","datavalue":{"value":"G\u00f6del transformations","type":"string"},"datatype":"string"},"type":"statement","id":"Q4717043$EEC729DF-C3B4-46AB-B3C6-84C6CF23017C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5d4221e3ddb0a8a18735f0c9ba8301ab3a063f40","datavalue":{"value":"G\u00f6del translation","type":"string"},"datatype":"string"},"type":"statement","id":"Q4717043$EDD72C78-079E-4F44-9492-92E55A3AAD87","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"03475eec65c2e868e184cfa393bdf90d107cae1e","datavalue":{"value":{"entity-type":"item","numeric-id":636352,"id":"Q636352"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$12D3409D-E9F8-4D56-8B6A-E56C842A5654","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":"Q4717043$C470DCFB-7F1A-42F3-859E-1C1E6766128C","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"9ac49a47f34452126b7c66683986dbf3ff52b107","datavalue":{"value":"W74958493","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4717043$C6B42253-8A37-4191-B365-595D6245B848","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"787e8787fc0800d23d78fddfd9bf35254e758553","datavalue":{"value":{"entity-type":"item","numeric-id":801050,"id":"Q801050"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$F0635166-2327-40CE-A8E0-1AA84565327C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99c6176bcb92cea3bde43c51d54f8875f446d09c","datavalue":{"value":{"entity-type":"item","numeric-id":3994895,"id":"Q3994895"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$DC25A841-CA86-443B-9C0B-08EB1FBAE445","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8496790a8bf966a77336e99f504c74dd8e43fdd6","datavalue":{"value":{"entity-type":"item","numeric-id":3204440,"id":"Q3204440"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$8475920B-0D71-44BA-AC04-93E0E62FFD41","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"16de9a4f8e129e311d9ce09ae9e120dd4a226b8b","datavalue":{"value":{"entity-type":"item","numeric-id":3997016,"id":"Q3997016"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$B1D3BFF2-E034-44A2-8F29-08C8D4BDEE16","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62728de11085b2637852fd5b2e4cd2194b3b9d02","datavalue":{"value":{"entity-type":"item","numeric-id":923069,"id":"Q923069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$45DCE88B-9F30-456A-AB41-B4337BAAE3CC","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"cb97264d257d08268666775875e6606633a032c9","datavalue":{"value":{"entity-type":"item","numeric-id":3142911,"id":"Q3142911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$2D3A9923-3B59-41A3-AC7C-E056F6796680","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"19b81473ee90602b35ea9064e09d04cf4b001ea9","datavalue":{"value":{"entity-type":"item","numeric-id":1805408,"id":"Q1805408"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$0D02BD58-A47A-437E-A081-C90E55F8E298","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"07d34ca02644e050cb9e117473f604d11f657cb8","datavalue":{"value":{"entity-type":"item","numeric-id":4291250,"id":"Q4291250"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$4A67ABA2-0329-4459-9CD0-AE771639BCAB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68bc2d3a5d166929859aa7229f0017120bce6eec","datavalue":{"value":{"entity-type":"item","numeric-id":4876311,"id":"Q4876311"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q4717043$D049ABBA-6F17-4DE8-976D-4FBC3ADC020D","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"880d4e000d5fb7ca87f6c494f04d71892a810194","datavalue":{"value":"10.1051/ITA/1996300302611","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q4717043$0D85DF51-ADED-4222-9A11-954BDE4A8087","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9cdabd9258eca3bba7c4fe1d98621bd1bff4c56d","datavalue":{"value":{"entity-type":"item","numeric-id":4888346,"id":"Q4888346"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ea5cd72eb3be1180d683170e510e10e40fbd6fda","datavalue":{"value":{"amount":"+0.9243841171264648","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":"Q4717043$57E1C69C-BB90-42B8-8D79-DAEDEB018138","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"6d28090dd4585d2fb9fa124ef15da13d4c69e0f9","datavalue":{"value":{"entity-type":"item","numeric-id":4857862,"id":"Q4857862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d5677c3507bd89a42a498f3a3b60f48120ab5b14","datavalue":{"value":{"amount":"+0.923767864704132","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":"Q4717043$90AFAEA7-C3AF-4E35-A621-D8D6BB906158","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"e49f1ced8d0bc003652f3e84c305d6b439ebf23a","datavalue":{"value":{"entity-type":"item","numeric-id":1382182,"id":"Q1382182"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"411189b780411a50b5315e5b60b82fe1a902281e","datavalue":{"value":{"amount":"+0.887929379940033","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":"Q4717043$7AD586B4-4E6C-4F02-8A66-F38739531D57","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"25ccbecfbc626beea6f239547add4cea8fa0c237","datavalue":{"value":{"entity-type":"item","numeric-id":3142911,"id":"Q3142911"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d387de3be7c8980bd619e79bfa3f1441969c5a5f","datavalue":{"value":{"amount":"+0.8794230222702026","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":"Q4717043$DEE7DEA2-39BB-4081-8C1E-AED078AB4DBD","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Publication:4717043","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Publication:4717043"}}}}}