{"entities":{"Q3774922":{"pageid":5804828,"ns":120,"title":"Item:Q3774922","lastrevid":87769385,"modified":"2026-06-04T12:38:09Z","type":"item","id":"Q3774922","labels":{"en":{"language":"en","value":"Comparaison et \u00e9quivalence de s\u00e9mantiques pour les sch\u00e9mas de programmes non d\u00e9terministes"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4035106"}},"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":"Q3774922$A95D227B-2B41-4B6E-88FB-E3731178C1CC","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b3f6ccd6c99bc09a609da1d03c810fb413266af1","datavalue":{"value":{"text":"Comparaison et \u00e9quivalence de s\u00e9mantiques pour les sch\u00e9mas de programmes non d\u00e9terministes","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q3774922$A2F661D6-09C8-46E0-A875-C22398DB7587","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"e4ffff5995565d8a14a70b74a9eb8ce482a62f0c","datavalue":{"value":"0635.68005","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774922$75405CFC-F267-4061-B3E7-D0A85BA2BCDF","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"699a131625605b060a2531c42288a5f3e8dea736","datavalue":{"value":{"entity-type":"item","numeric-id":1127310,"id":"Q1127310"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$CD9607FB-D636-4ED5-98D7-E4B79AF0AAC7","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":"Q3774922$FA07DC54-7459-446C-B9B8-517D388799C3","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":"Q3774922$69D0ADD3-A210-4708-8E82-2519C8BE3124","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"a31d69e9304819060ce36f3d04a41cbb55084d29","datavalue":{"value":"https://eudml.org/doc/92279","type":"string"},"datatype":"url"},"type":"statement","id":"Q3774922$D30485C5-B27D-4DDA-86FC-20A2E3C63CC3","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774922$C7938787-47C9-448A-97F5-A5EC7174AE30","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"e24a65382805c44e636c89c125efcaa74930354c","datavalue":{"value":"4035106","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774922$EDE2662B-E4C4-46CC-B0C3-95EF3E63E016","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"4c59ad62909ce604230d92659eb16c31a37b3a25","datavalue":{"value":"deterministic recursive program scheme","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774922$181545B5-2624-4EAB-BDD6-EEAA3EC21543","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"d15a5b88457b15e43f49d0900c124a1c1adc72df","datavalue":{"value":"operational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774922$01F0594D-B323-41ED-8FB6-857D22DC7A6B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"51802126f63d5102d578f2858428d5d0f09da73b","datavalue":{"value":"denotational semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774922$F557088D-9FF1-49B1-9B69-5A35EE358DAE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"abec281b5f1d997842b0ce9e98282ccd39bc96d3","datavalue":{"value":"algebraic semantics","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774922$F6F82403-0545-4BC2-8CC9-0C1D00894AB3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9d4ec0743c41847bba6490f31f246219495abfa7","datavalue":{"value":"equivalence relation on sets of trees","type":"string"},"datatype":"string"},"type":"statement","id":"Q3774922$89B2D4D7-0E4B-4D95-A8F5-A7C783A916DE","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":"Q3774922$0F7C2D9A-8BA6-4E70-A550-27E04D16F0A4","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"bf07c660afe11867498e8ddb9952c3b250200f63","datavalue":{"value":"W2405516143","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774922$C710C2BA-15E8-438F-B363-91FD1C3BE765","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"cde268768cb5a3bbc4a6ccecc6a7bc4da7784515","datavalue":{"value":{"entity-type":"item","numeric-id":3325069,"id":"Q3325069"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$42DB6371-F28B-4E61-B477-A39EBC338D28","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6fe4d0b7f6c7a1d62dc20e3561e5839071e7d404","datavalue":{"value":{"entity-type":"item","numeric-id":4157924,"id":"Q4157924"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$BA8BF508-9238-4E01-840A-87B8595FF64E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f9a62106638b0daa1661fe7e72ad30130dca9f82","datavalue":{"value":{"entity-type":"item","numeric-id":4191570,"id":"Q4191570"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$1D4231CC-49B5-4D3C-B2CD-F49E88263761","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2aee82fecde7143d9d3654744f9e5ca7c21290cc","datavalue":{"value":{"entity-type":"item","numeric-id":4172929,"id":"Q4172929"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$A552BD64-002B-4D02-A973-A2798DC57197","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"6ed20ac2b82505e98bc5c4af30c3293334f3d3a1","datavalue":{"value":{"entity-type":"item","numeric-id":3698292,"id":"Q3698292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$A88E2710-9AAD-4483-B4DA-6EB3EBC6C763","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"55b83c570bc0fa5f34151a69008a196fd7d52f05","datavalue":{"value":{"entity-type":"item","numeric-id":3900995,"id":"Q3900995"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$79A1BE65-00C2-4717-A71D-34EE2DFDD18C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"e242ce755bdf300b1be26a082354c4b41ab41d5e","datavalue":{"value":{"entity-type":"item","numeric-id":3883492,"id":"Q3883492"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$4B76D70B-2D68-4215-AABE-A16D721C0B06","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"13637c329a859369d956f00d5ad44bbfb24c2365","datavalue":{"value":{"entity-type":"item","numeric-id":1136494,"id":"Q1136494"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$073273BE-18FA-461C-82E8-881CD17F2D8F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"99a7d2271103bc419f2e0878c24590bb8c77ed5e","datavalue":{"value":{"entity-type":"item","numeric-id":3945564,"id":"Q3945564"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$46940F95-4C80-4974-8A51-961F97E3796C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"0f029d75d16f28910d4e43fa506b7a97d7a9573b","datavalue":{"value":{"entity-type":"item","numeric-id":3750994,"id":"Q3750994"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$6F6D501B-D215-48D6-98D5-D216E174BA36","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"ad77df366de75a5e0c2b70915c0daf8e3d56ee39","datavalue":{"value":{"entity-type":"item","numeric-id":1158947,"id":"Q1158947"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$1B56D35D-0082-486F-AD72-783C4CFBE432","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"3826e9ebeca6b4dcff39b9397214360a6dbca1b5","datavalue":{"value":{"entity-type":"item","numeric-id":3947096,"id":"Q3947096"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$CEA9634F-838C-4B6C-971E-B1F83716B579","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"10be44b382ceb44eaafeb4044db6f2b193dbf650","datavalue":{"value":{"entity-type":"item","numeric-id":3907039,"id":"Q3907039"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$BAA5CDA6-1C8E-45F3-B843-577BAA418EC5","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5efddf264b4add5d02a6248c28c70add39cefe9","datavalue":{"value":{"entity-type":"item","numeric-id":4116078,"id":"Q4116078"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$68B6F852-A7A7-45C2-9C76-B67D78F5BADB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"62329ea6dfc1bcd7f928f88d3b29f0d4ff3319d4","datavalue":{"value":{"entity-type":"item","numeric-id":3888505,"id":"Q3888505"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$F6B032AA-DB91-4EEB-ABA5-D771E12B5688","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"92a3a46ddc1b2f91150970bf62a5d94befbc24f0","datavalue":{"value":{"entity-type":"item","numeric-id":3719854,"id":"Q3719854"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$3BF79BB6-3EE3-4854-BDEB-6D91995CD937","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1a24bd10a27e1b8e759cf20e25bbc96fc409e8f8","datavalue":{"value":{"entity-type":"item","numeric-id":4127356,"id":"Q4127356"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$25B32089-0914-4175-9193-49AEA113A0E3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"c6d6c3cef05b30d29c06d53d51befd16ef170b5d","datavalue":{"value":{"entity-type":"item","numeric-id":3959403,"id":"Q3959403"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$CD769701-9D14-4AC1-A447-E30754583281","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5017bddf5577ac11bfa76404db664ff9aaa8f358","datavalue":{"value":{"entity-type":"item","numeric-id":3945602,"id":"Q3945602"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$0EFC872F-6F66-4E26-B16F-E099A55AEE23","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9cf91379516875102cbd34cc81bf4325eee6d826","datavalue":{"value":{"entity-type":"item","numeric-id":1251475,"id":"Q1251475"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$6BCD085B-7800-4F53-9F58-D84A274133CD","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60a9df03a59df4dd5bd6b1e9f7f562a6de5d8fe8","datavalue":{"value":{"entity-type":"item","numeric-id":5636307,"id":"Q5636307"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q3774922$8259EECF-D8F1-43A1-9A46-EA0B13AE2B21","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"75c851776a04d43b002c5e5fae337b0b622bd257","datavalue":{"value":"10.1051/ITA/1987210100591","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q3774922$65EF7DA3-6422-4F12-A29A-E3159A15BE1A","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a9f916276d7d5c4793f71fa18d12d927e26b6e6e","datavalue":{"value":{"entity-type":"item","numeric-id":3698292,"id":"Q3698292"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"7baa074fb418b649f5bcd71247b9b039ba301d70","datavalue":{"value":{"amount":"+0.9194430112838744","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":"Q3774922$C694D523-AFAD-4913-BA5B-D8EB76CC00D3","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed80db702e38dd07fcbdb1ffaff7af29ab85cf5","datavalue":{"value":{"entity-type":"item","numeric-id":4729315,"id":"Q4729315"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e92bde89edc086de8a0e1204f0fd2c4a37f241cd","datavalue":{"value":{"amount":"+0.8409436345100403","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":"Q3774922$8583016B-623B-46EF-8692-2279E3D37EAA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"9ed97b49e12e3645c672fa641bd159ca9cbcc4c8","datavalue":{"value":{"entity-type":"item","numeric-id":3723678,"id":"Q3723678"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e108f43c64f1491e57dca783cd185886dc2e0881","datavalue":{"value":{"amount":"+0.8316689729690552","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":"Q3774922$865DE3BA-5B3A-4B0E-A7B6-E52AAEF5B0C7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"fc372ddcd05f1d33bb670f2df9fe27a034e54e01","datavalue":{"value":{"entity-type":"item","numeric-id":1079010,"id":"Q1079010"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"2c70aa9d4739a407d94dc24c64dbba5e132211b9","datavalue":{"value":{"amount":"+0.7814620733261108","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":"Q3774922$7B67B95D-78CE-4CB2-860E-9B69DA7DCDA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"f938c0911d64bcaf966ae4212f81214d5f9a2ffe","datavalue":{"value":{"entity-type":"item","numeric-id":3216137,"id":"Q3216137"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c396f3acaf3aa98744a809645ad0d5c75eb54301","datavalue":{"value":{"amount":"+0.7802385687828064","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":"Q3774922$FFE82271-B769-4790-9353-4EE481C49F9B","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Comparaison et \u00e9quivalence de s\u00e9mantiques pour les sch\u00e9mas de programmes non d\u00e9terministes","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Comparaison_et_%C3%A9quivalence_de_s%C3%A9mantiques_pour_les_sch%C3%A9mas_de_programmes_non_d%C3%A9terministes"}}}}}