{"entities":{"Q3761687":{"pageid":5791593,"ns":120,"title":"Item:Q3761687","lastrevid":87609098,"modified":"2026-06-04T12:07:50Z","type":"item","id":"Q3761687","labels":{"en":{"language":"en","value":"M\u00e9thode axiomatique sur les propri\u00e9t\u00e9s de fatalit\u00e9 des programmes parall\u00e8les"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4011918"}},"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":"Q3761687$A99FE33A-39D4-44A9-B369-7FF567A9CAA3","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"4a6077bbe6aacaae0fcf239e60e595d25f238172","datavalue":{"value":{"text":"M\u00e9thode axiomatique sur les propri\u00e9t\u00e9s de fatalit\u00e9 des programmes parall\u00e8les","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3761687$772B54C5-D27C-4FAD-B32C-8EAF9366D5DA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"cfdb9fc802f275eebdc752b681bf60981b216297","datavalue":{"value":"0623.68027","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761687$F65BC904-BB2D-4F41-AA82-ABA866C132C7","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"1d2ede521f5fce8fa3298f18b62562b18a8ba12d","datavalue":{"value":{"entity-type":"item","numeric-id":674007,"id":"Q674007"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761687$7A1A6A42-23C1-4674-8936-10D3735AF779","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":"Q3761687$1D9A8245-779B-4B4C-9284-73ACE75BC7C5","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"5ae48c61eed19d1e1e1f33f9255d5b329362d064","datavalue":{"value":{"time":"+1987-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":"Q3761687$9E13B4B4-D0A8-4733-88D2-9B23BCD08F55","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"c4fb1a1d13c2515cdd39a68d7b13a75d2393538a","datavalue":{"value":"https://eudml.org/doc/92288","type":"string"},"datatype":"url"},"type":"statement","id":"Q3761687$003CAD1A-8A1E-4322-A936-E54550DFC137","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"ec3769495799f08479987ac368adf64f125a2b66","datavalue":{"value":"68N25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761687$54EFD3E5-2002-4A72-BED9-C7B8E71C8B86","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"33275d242db543b948d5f672025d649e7c08a7b8","datavalue":{"value":"4011918","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761687$37B88DCC-4895-4092-9CA4-A8E41FF4CDD7","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"ef75b3a94e9ecabb4cdcc9c0564ae0060b17d941","datavalue":{"value":"Eventuality properties under fairness hypothesis","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761687$09D10F5A-9B42-4FE5-81AA-BD108F5AB94E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"c142c0f00193915b5f0fafb4cae05efffde13742","datavalue":{"value":"temporal-based proof system","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761687$9EE04652-4CC9-49DA-BA6E-90E59DCCB881","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"dad978e51657e36c6fdd48bf5090a300cc3f5d7a","datavalue":{"value":"induction rule","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761687$59DB4C09-D62E-456B-83EF-07DA17033ECE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"09b99ae733070d3d1855ae2b169bdb873a71f7e3","datavalue":{"value":"concurrent processes","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761687$409EDA40-1CEE-43DD-8850-647AAFFCBAEA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"a850ee01f9fe6c0e93ae692ac21d7eb4a5f1f68c","datavalue":{"value":"concurrent programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761687$966C68B1-F1C2-4E11-8276-689460813087","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"cb77669d868555263396e96c19fcae8644cbd466","datavalue":{"value":"semaphores","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761687$0C6FBBD8-6871-4702-958A-57C6B8202E3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"f6fd3712392095bd54040486c6c7ff446ce609b6","datavalue":{"value":"synchronization primitives","type":"string"},"datatype":"string"},"type":"statement","id":"Q3761687$8FBAA49F-992F-4DEE-A260-A61AF77FA28C","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":"Q3761687$83AB94AD-D29B-4806-A884-F764D9AD36AC","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"6ad5af7246135bfbb7f156e7219563a673959140","datavalue":{"value":"W2400437305","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761687$15A4370C-9776-4853-9F69-97CF23630919","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d346d8485da0bc889f787fa277d331b616d4df2","datavalue":{"value":{"entity-type":"item","numeric-id":4054648,"id":"Q4054648"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761687$A5C98E9A-E2E2-4E23-BF64-200425B9E006","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6130a72bad290e99b4d30823cf592f64ef05b4a8","datavalue":{"value":{"entity-type":"item","numeric-id":5584402,"id":"Q5584402"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761687$11C004DF-D052-43CF-87FB-13A46282A62E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"323dbd6fd6973b3663055cf97da83be885dd9ec7","datavalue":{"value":{"entity-type":"item","numeric-id":5569944,"id":"Q5569944"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761687$B3516738-8BB9-48BC-9D85-2D5C84B70814","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6e3a418fbaddcafed1884dac6bf4b839b94ad4db","datavalue":{"value":{"entity-type":"item","numeric-id":754637,"id":"Q754637"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761687$C2920764-2C40-41B6-A0B7-A85B1A6F13FA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3261cf7e2174b332e3482b23b1e1c76c1020c488","datavalue":{"value":{"entity-type":"item","numeric-id":3922147,"id":"Q3922147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761687$13A0AE28-8B3E-4942-8AD1-109DDE383DFE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"8f02fe67ccaaf9abc0eda3bf7c9c9df570a40494","datavalue":{"value":{"entity-type":"item","numeric-id":3309037,"id":"Q3309037"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761687$E56B3CE5-27BA-4689-B399-9F8B11EFE8D6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"47a4c5050a494dd7e6d32ff104f203d913557bb7","datavalue":{"value":{"entity-type":"item","numeric-id":795497,"id":"Q795497"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761687$9133D756-B678-41F4-9EE5-2B9CE93424AF","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"68d7877f5c06b692012bb89ac63c690d31fa44f3","datavalue":{"value":{"entity-type":"item","numeric-id":3942371,"id":"Q3942371"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3761687$2D8690A8-0CDC-4FF1-9C79-B94EE5974752","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"bafbcdf9a3cf46a581a2c3c87dae9808ed6356ed","datavalue":{"value":"10.1051/ITA/1987210302871","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3761687$E3D20F84-6C90-4A73-82D6-0F366DAC7D06","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a520d98b7bfb0f78131ddd72e8ce5c30338b299f","datavalue":{"value":{"entity-type":"item","numeric-id":4727421,"id":"Q4727421"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2672aaa508f32fcea234887b61295dbe3a2024e1","datavalue":{"value":{"amount":"+0.8558746576309204","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":"Q3761687$C829587D-3CED-4CDC-BAF0-DF84612ACE3A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c44a3df9962d3ed532c7e098aad58e880c28ae5","datavalue":{"value":{"entity-type":"item","numeric-id":1377299,"id":"Q1377299"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"38bdb44ebc1cded6c63f8f4b2403254b26fd2159","datavalue":{"value":{"amount":"+0.8014087080955505","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":"Q3761687$5FE3F0D8-483D-4176-93A3-45E810B9F3CE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"1c6f994329fed0f753fd3a9073563a9a9b20a737","datavalue":{"value":{"entity-type":"item","numeric-id":3680251,"id":"Q3680251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"f0fa3b5e0104385250db89b1a87c536de842c6e6","datavalue":{"value":{"amount":"+0.7856512665748596","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":"Q3761687$C1226B94-B939-43AE-8D38-1E4CE8E1C053","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"bf95712cd61486cce6e10eae28ff17b416268869","datavalue":{"value":{"entity-type":"item","numeric-id":3685165,"id":"Q3685165"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d78669c69c7966a9bdaf0503427e06f73136442f","datavalue":{"value":{"amount":"+0.7813002467155457","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":"Q3761687$1CE5215B-DA0F-4580-9E9E-F246471BDEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c2aea13c570e05069715b97248394dcbad6b14d7","datavalue":{"value":{"entity-type":"item","numeric-id":1343862,"id":"Q1343862"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"ec82c2cb51ac34636396e18729466647a800c6e4","datavalue":{"value":{"amount":"+0.7783627510070801","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":"Q3761687$29DF28D2-A8C7-41F6-A4AB-94BD07DA0638","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"M\u00e9thode axiomatique sur les propri\u00e9t\u00e9s de fatalit\u00e9 des programmes parall\u00e8les","badges":[]}}}}}