{"entities":{"Q914360":{"pageid":916208,"ns":120,"title":"Item:Q914360","lastrevid":77723138,"modified":"2026-05-06T09:55:39Z","type":"item","id":"Q914360","labels":{"en":{"language":"en","value":"Transforming generate-and-test programs to execute under committed-choice AND-parallelism"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 4149532"}},"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":"Q914360$2320991E-61B5-4D50-BF9D-3D13A4633EAE","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"d4ed7433ef004d0faae7102bc859cf73c56e30e2","datavalue":{"value":{"text":"Transforming generate-and-test programs to execute under committed-choice AND-parallelism","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q914360$728514B8-0F45-47A4-9845-023F1E473EEE","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"3047963c52a9479cc516e7e23f1233c0e4a83f90","datavalue":{"value":"0701.68017","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914360$56A29EDF-DC16-4896-B63E-887CFF4B9609","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"7686355bb488709e8b62efe958d1feda87e735f9","datavalue":{"value":"10.1007/BF01379187","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914360$98837CF3-79DE-4353-9992-16051E00BC59","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"d214a2a146daa3bc9c2d74e8d898c84d8c84aa0a","datavalue":{"value":{"entity-type":"item","numeric-id":914359,"id":"Q914359"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$394F2EE4-52EE-437E-87E0-719482A9A567","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"415b7f5bc29de2fcf717212c932e9d2a2c60d241","datavalue":{"value":{"entity-type":"item","numeric-id":1170621,"id":"Q1170621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$E7D86039-6A23-4917-B334-1D657AA64FA6","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"a32831c4e3f60d79ea2f79afb884ef69e4c8191c","datavalue":{"value":{"entity-type":"item","numeric-id":199286,"id":"Q199286"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$9C3D4B8F-5AF6-49EB-A1F2-AA9DE20C6BCF","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"7211ad5ca16eb0d22cd0051fff3d0f3af254ceb6","datavalue":{"value":{"time":"+1989-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":"Q914360$6BF37527-4904-4C2B-8D9C-CA0CE3872B08","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914360$89720AE7-67C7-482D-BD05-4D62F40FE4B0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"85991e41d5921c9f733fe99d088c198a921df086","datavalue":{"value":"68T99","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914360$517C6081-9624-4512-BFA8-09A84BD1AEB9","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"b8e3f40e3cc87753c4e0b7d7ce4bdc00805f626f","datavalue":{"value":"68N01","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914360$2E3A2478-1AD3-47C1-843B-32B22A515E12","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"98a59d93e560b0e413142042b533ea7f0f64438c","datavalue":{"value":"4149532","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q914360$3FFC1697-9F31-49BE-81AF-5AD539F65AEE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"2e56ac87fa02b1fb113402990e05de4961513ac5","datavalue":{"value":"committed-choice","type":"string"},"datatype":"string"},"type":"statement","id":"Q914360$18A8FE3F-ED31-4736-9392-4774BE12362D","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"91993be004af1453cf4fd79c07e1ba49b9211805","datavalue":{"value":"logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q914360$DBA23F5E-5744-42EF-AA88-F6F3F36CA041","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"5363a43478db45b4fe7ca9bf2ddd9319c05c5363","datavalue":{"value":"parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q914360$5A0C0C29-FA9F-46A7-A719-1B6DE79DD974","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"322ea768f2b97508db847d80bb51e98a654d6c56","datavalue":{"value":"program transformation","type":"string"},"datatype":"string"},"type":"statement","id":"Q914360$D066B698-FA38-4D25-B512-E434DD55BEDB","rank":"normal"}],"P1463":[{"mainsnak":{"snaktype":"value","property":"P1463","hash":"5cb180c22f3bced7fedc55462354c0f7fabfc168","datavalue":{"value":{"entity-type":"item","numeric-id":35531,"id":"Q35531"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$A4FD40BA-C967-4685-84EB-E004A7615849","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1463","hash":"2d4f23832fcdf646910846c50514931a5f75084f","datavalue":{"value":{"entity-type":"item","numeric-id":35532,"id":"Q35532"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$D27897AF-F6E5-44B8-BEF8-7830106E502A","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":"Q914360$89FCCD56-219C-4C55-981E-5686FDA639DB","rank":"normal"}],"P223":[{"mainsnak":{"snaktype":"value","property":"P223","hash":"d292125d4bb61c4f70427dd0476cc2e72e9bb11e","datavalue":{"value":{"entity-type":"item","numeric-id":3994465,"id":"Q3994465"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$23081F11-1353-4F8A-9BB5-A94BB04DF1AB","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"2d54d03d44a544a3c811b233b3629d1a95e74c1c","datavalue":{"value":{"entity-type":"item","numeric-id":3721786,"id":"Q3721786"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$3EE4B3FF-2362-4592-8ECE-5D0B041D8AA8","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"b322b21737439993ed802c9ad41f82daf1dd1ad7","datavalue":{"value":{"entity-type":"item","numeric-id":1077925,"id":"Q1077925"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$0F759C5A-3B26-4100-8420-9433DE543E75","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"f8969d1ded4c03b36f52a3cda33f6a1241f3e9bf","datavalue":{"value":{"entity-type":"item","numeric-id":3727368,"id":"Q3727368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$B2C14CF0-3A1F-4039-952B-4123205F68D0","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"d9a872690aae65aa8cbfced9522c07629e0a8e21","datavalue":{"value":{"entity-type":"item","numeric-id":3862380,"id":"Q3862380"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$3B782EE9-886C-4A56-AACF-D458A121209C","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"03b5ec7b36ab9f9a9396a2be7f7246c57825af23","datavalue":{"value":{"entity-type":"item","numeric-id":3742689,"id":"Q3742689"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$AF7A14A9-03F2-485C-BE1B-DF9B89A9DAFA","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"1265d63b4599a3fae507d9b15943296bbefa977b","datavalue":{"value":{"entity-type":"item","numeric-id":4066568,"id":"Q4066568"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$E3831BF1-4D2F-4F82-9DEA-BE16CF21AD82","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"69118c8da5da4befc26fe59cd8fb1ad2cbbf671d","datavalue":{"value":{"entity-type":"item","numeric-id":1819926,"id":"Q1819926"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$9B63FC94-7A87-4A02-A393-2B6F97B8A963","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P223","hash":"4899b1e08df762dfdb6af29d5e9971ca2b9472b7","datavalue":{"value":{"entity-type":"item","numeric-id":3694655,"id":"Q3694655"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q914360$1CEFAE03-368C-49BB-A868-AE44C4D5F645","rank":"normal"}],"P1643":[{"mainsnak":{"snaktype":"value","property":"P1643","hash":"7fd42fefd98e1221fa7b12598dd98cb9e1de368b","datavalue":{"value":{"entity-type":"item","numeric-id":3727368,"id":"Q3727368"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"0bf5907bb1b00d1738166f3a9437af01b2a71403","datavalue":{"value":{"amount":"+0.7900360226631165","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":"Q914360$DFA4994F-C267-41D8-8637-BE48BFBAF417","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"c3721b3ed8563baa6e69e0d623c7cb53662b03d6","datavalue":{"value":{"entity-type":"item","numeric-id":1819930,"id":"Q1819930"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"3c95afb5bad4b75e9f61dbe7991b5c63b097700c","datavalue":{"value":{"amount":"+0.7900359630584717","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":"Q914360$32AFDE55-F0E7-47A9-8B3C-5DBBC7C44CE2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"15a1e7c386f18a8d566b800807f34bda77d9d354","datavalue":{"value":{"entity-type":"item","numeric-id":4723279,"id":"Q4723279"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"d464a69ceed3821e983d9f9b54f58a144480a77f","datavalue":{"value":{"amount":"+0.7653256058692932","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":"Q914360$D49B0CD7-4106-48A0-8897-DC0B851BEF68","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"13393c5d641d8b5b146dae9f3038acf70b846bac","datavalue":{"value":{"entity-type":"item","numeric-id":1098621,"id":"Q1098621"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"44479719b53fd3a2ba003289a5cc2797e5b4447b","datavalue":{"value":{"amount":"+0.7595266699790955","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":"Q914360$124A2003-A243-486F-8A90-98A816859E80","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1643","hash":"14eda6b21c8988e995824b4fd1f60dfbbb49794b","datavalue":{"value":{"entity-type":"item","numeric-id":3782757,"id":"Q3782757"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","qualifiers":{"P1659":[{"snaktype":"value","property":"P1659","hash":"9a039d5b775647496ca16c514af4e06d19763f84","datavalue":{"value":{"amount":"+0.7408421635627747","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":"Q914360$EE98C4D4-63DC-45C5-AE06-57AA4BB59FD1","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Transforming generate-and-test programs to execute under committed-choice AND-parallelism","badges":[],"url":"https://portal.mardi4nfdi.de/wiki/Transforming_generate-and-test_programs_to_execute_under_committed-choice_AND-parallelism"}}}}}