{"entities":{"Q763238":{"pageid":765087,"ns":120,"title":"Item:Q763238","lastrevid":64192887,"modified":"2026-04-11T18:15:13Z","type":"item","id":"Q763238","labels":{"en":{"language":"en","value":"Automatic analysis of DMA races using model checking and \\(k\\)-induction"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 6013417"}},"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":"Q763238$338630FD-BB26-4CE1-B352-9E6BFAABDFF5","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"3d2398fbc6d6c930e8d01e5b058d75001ef83e81","datavalue":{"value":{"text":"Automatic analysis of DMA races using model checking and \\(k\\)-induction","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q763238$0589AFBA-B81D-4331-AE69-D34E705B504F","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"521c59807c0812a61a88452080bcf1ec31e0c060","datavalue":{"value":"1233.68124","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763238$14A9624C-C403-4D1F-8211-F793E266DD50","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"db903008d5ee39538aa38bf45d7c449d7149af42","datavalue":{"value":{"entity-type":"item","numeric-id":763237,"id":"Q763237"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$072BE61E-86BB-459D-99B6-C44A6CCD24E7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"de4a775b741b129661b3807102896dab39bea660","datavalue":{"value":{"entity-type":"item","numeric-id":438554,"id":"Q438554"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$0DB088BF-AF26-4992-BFED-9D0E714697F9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"2c0a4237c509f19dceb169b6d7b433af280d355b","datavalue":{"value":{"entity-type":"item","numeric-id":300416,"id":"Q300416"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$373E8544-0363-434C-A685-8C8F9372C447","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"70551fcc6e89042fc26ae9242a005533b44a2d7a","datavalue":{"value":{"entity-type":"item","numeric-id":169908,"id":"Q169908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$9EA469E0-8090-468D-B087-B746F92083EE","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"644c8340ebdd907b25449e0ddfe634a742ba671b","datavalue":{"value":{"time":"+2012-03-09T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q763238$71001CD7-2E44-4DAC-A07C-5CDB6585AE81","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"5ec63243674f665c4fb8c147a6c6d9e39f607ff1","datavalue":{"value":"68N30","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763238$B6749410-26D2-4EDC-838B-31488ECD45DB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"7cfff2e3b7f009b69ae82e4aa296ae1902bd02ff","datavalue":{"value":"68Q60","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763238$EB8E734C-2467-4D87-94D0-2CD393061534","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"35c3f01235ccba091e1644bb05c86f53d45fd7f7","datavalue":{"value":"68N19","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763238$E64E80AE-73F3-4FB0-9292-D47FB81E68C1","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"8e09397ee42fcfc27799530e5978f00c2538a584","datavalue":{"value":"6013417","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763238$C8FFA247-8A44-45CF-89F6-B74254396875","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"fb9f8004d477a3922fe8bde53d670f8b57c48852","datavalue":{"value":"model checking","type":"string"},"datatype":"string"},"type":"statement","id":"Q763238$9CF67679-55EC-4345-A844-D33C6C53832A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"1eaeceddf514f02fd773f9b6838af990089d3011","datavalue":{"value":"\\(k\\)-induction","type":"string"},"datatype":"string"},"type":"statement","id":"Q763238$62E960F2-D0A2-4EAF-AC99-D816A7D589EE","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"368272dca1850140753c138a6635a6a17bdb5f51","datavalue":{"value":"DMA","type":"string"},"datatype":"string"},"type":"statement","id":"Q763238$823AFF54-8FF4-47B5-B706-C5415072903B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"274ee8f496cbf37717145d5134aed861895ff416","datavalue":{"value":"multicore programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q763238$617B0024-FA60-4A70-834A-76BE0C085D88","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"76e0406f71d87126f468d43caf12818ea22cad13","datavalue":{"value":"Cell BE","type":"string"},"datatype":"string"},"type":"statement","id":"Q763238$9E5D9A4A-8285-4750-A424-68525331D3C2","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"8449db7d9aaa28101ba7b0de8e98d9c446365070","datavalue":{"value":{"entity-type":"item","numeric-id":13332,"id":"Q13332"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$BD52DA7D-2A51-463F-810C-276D187C5F5C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"3fa0ba30f2225a69a75d233361703cec68c39010","datavalue":{"value":{"entity-type":"item","numeric-id":15473,"id":"Q15473"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$1CEC3E13-BBD6-40AD-BA14-45E0CA7CBE1F","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"817cb896f35f89cc5542ec75908314ecafeda59f","datavalue":{"value":{"entity-type":"item","numeric-id":20918,"id":"Q20918"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$3F7AADD9-CB59-49B8-BF7A-EBE950519DC9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"76465c2e9943ec77c307b542936140641b954ce6","datavalue":{"value":{"entity-type":"item","numeric-id":21920,"id":"Q21920"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$E50D77A5-A53C-4096-93A2-78CF80A2ACD7","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c6ad4fd937543dc8aea0d12ede20b9d0992d3448","datavalue":{"value":{"entity-type":"item","numeric-id":20908,"id":"Q20908"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$342A1B32-E590-4671-9148-61626CA17958","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"c7107a3607349765606fad319a8423745e29c6d1","datavalue":{"value":{"entity-type":"item","numeric-id":24728,"id":"Q24728"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$E4BD879F-25B1-4ACB-8F82-382F5C170121","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"fdab07d39556d0075d882dcfd5a58c05fcf1a7e9","datavalue":{"value":{"entity-type":"item","numeric-id":21698,"id":"Q21698"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$6D18BFDF-9912-471E-99AA-5C9E3E9EDBCB","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":"Q763238$23C3DD95-9D23-4230-B529-AB65AF9EFE12","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"dfb8543df10082e0a983d11b74af48f6a59ae710","datavalue":{"value":"https://doi.org/10.1007/s10703-011-0124-2","type":"string"},"datatype":"url"},"type":"statement","id":"Q763238$62B3EAE2-A455-4510-9C40-E3AD20057DCF","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"33c59297f69d4448b0fc35ffbebd16cde37961f6","datavalue":{"value":"W2120162396","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763238$CF310D75-29E0-40FD-8BC3-3D69A6AE10DC","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"b5d5978f4bdf14ef5fd8b71ce390dbec5034a1e6","datavalue":{"value":{"entity-type":"item","numeric-id":805251,"id":"Q805251"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$3ACE10E2-4534-456F-9ED1-BD4D168DBEDA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"60159374e2e3f1fa60e69dc94c949ae9174a77c0","datavalue":{"value":{"entity-type":"item","numeric-id":5308405,"id":"Q5308405"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$022AE2AE-FA23-49B2-BDD5-46519FA57DA6","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"9a768592a36a0799f3311c6c16dd9cd5a4a03baf","datavalue":{"value":{"entity-type":"item","numeric-id":5703792,"id":"Q5703792"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$10558721-3803-46DD-9B64-3B197E3E8F1A","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"5317d011f6522f5a129d65a3c878ff84c282b532","datavalue":{"value":{"entity-type":"item","numeric-id":5408559,"id":"Q5408559"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$2CAB0A7D-EBBB-46B9-8173-560EB6F04DC1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"27ac09297e0c69969c46964e68c2a30dac30793c","datavalue":{"value":{"entity-type":"item","numeric-id":3075479,"id":"Q3075479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$F3AFAF7E-D6F2-4E83-8323-EA0CEBE60E19","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d421342230c67a224b42e44ea336b06445d9587a","datavalue":{"value":{"entity-type":"item","numeric-id":2845506,"id":"Q2845506"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$8BCE876F-E050-45ED-B6DB-87FFDEC8DDE0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f33956c849ab9ecccf10e7be1fdcaeb3a3b333b3","datavalue":{"value":{"entity-type":"item","numeric-id":5408560,"id":"Q5408560"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$5BFF7966-F266-4425-BB10-5FBA5955157D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"311e68c347f63177296b5d7365c6fbdfbcb1a3bd","datavalue":{"value":{"entity-type":"item","numeric-id":5276139,"id":"Q5276139"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$CF4043C2-8019-48D8-B209-95215EC3C332","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"04423ef643adfc05648864517dad32b25804c149","datavalue":{"value":{"entity-type":"item","numeric-id":3870277,"id":"Q3870277"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$1471F00D-95C4-48F3-9EFF-67D690BA620C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"87957d20676b341fc2d415efa4c896e75ab57ba3","datavalue":{"value":{"entity-type":"item","numeric-id":4414397,"id":"Q4414397"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$A33CEBDD-41CA-4F42-BF07-49FD98C1D12E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"695280e4ca4193f87a4205c51623f2457674e7d9","datavalue":{"value":{"entity-type":"item","numeric-id":1039852,"id":"Q1039852"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$B645777D-AEE8-4D36-AA0B-3281AC71B3C2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"023af0a580408986a310816a2bc13bae508ad05e","datavalue":{"value":{"entity-type":"item","numeric-id":4939619,"id":"Q4939619"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q763238$2D74A423-8F1C-40CF-A614-832B411B76EA","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"e3e930cb6fe000531480a3ff0db59b6e89a8ffda","datavalue":{"value":"10.1007/S10703-011-0124-2","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q763238$5D7FDE7C-F7D0-4A03-A4AE-6DA3FF984DB4","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"54cc626e43cb1593572dbf715cdbe3fc7f5de51e","datavalue":{"value":{"entity-type":"item","numeric-id":3075479,"id":"Q3075479"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"e219e40e46a1880a957620622f6757c80a5a7719","datavalue":{"value":{"amount":"+0.8452767729759216","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":"Q763238$16F194E8-20D1-40D5-824F-61D54FF8B402","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"5c165bde94abd1c3fd680f0a1cfe01be560585af","datavalue":{"value":{"entity-type":"item","numeric-id":2894274,"id":"Q2894274"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d0a926a4740a2d48b4ca36b4b9946c515550428e","datavalue":{"value":{"amount":"+0.6841955184936523","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":"Q763238$49729A4C-6A1D-4D22-A9D9-0E395BC9AF2B","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"b333396d8f45fb58d819c5b74f3042eb39466009","datavalue":{"value":{"entity-type":"item","numeric-id":882147,"id":"Q882147"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"4b5cce2565fdae68912fb720786157953db6977a","datavalue":{"value":{"amount":"+0.6819060444831848","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":"Q763238$8A8A15E5-AAB6-4CE7-9E62-4B03FEF1566D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"609db31109f29daf5f20500cb6e669dae387d5e6","datavalue":{"value":{"entity-type":"item","numeric-id":5902361,"id":"Q5902361"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"31e23a27258bfcd8feb31a6fe3cff300ec578ee5","datavalue":{"value":{"amount":"+0.6766067743301392","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":"Q763238$4E14E21C-506D-4583-951F-1DA60BA882EA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"a2c38ff252b9382be6ec6719ef0a02e3a8bb5ef7","datavalue":{"value":{"entity-type":"item","numeric-id":5900683,"id":"Q5900683"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"c89541b6e3819dbd66b3b1427895ab18da93d954","datavalue":{"value":{"amount":"+0.6753410696983337","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":"Q763238$724A5999-29B7-48A7-BD33-DDAA9017B168","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Automatic analysis of DMA races using model checking and \\(k\\)-induction","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Automatic_analysis_of_DMA_races_using_model_checking_and_%5C(k%5C)-induction"}}}}}