{"entities":{"Q1199561":{"pageid":1210310,"ns":120,"title":"Item:Q1199561","lastrevid":66465198,"modified":"2026-04-12T10:15:41Z","type":"item","id":"Q1199561","labels":{"en":{"language":"en","value":"Corrigenda: Yet another efficient backward execution algorithm in the AND/OR process model"}},"descriptions":{"en":{"language":"en","value":"scientific article; zbMATH DE number 94478"}},"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":"Q1199561$CEBA459D-4853-47D2-AA64-BE99B6C06BC2","rank":"normal"}],"P159":[{"mainsnak":{"snaktype":"value","property":"P159","hash":"b39b8547363822681571e1800f12f793e59f85bf","datavalue":{"value":{"text":"Corrigenda: Yet another efficient backward execution algorithm in the AND/OR process model","language":"en"},"type":"monolingualtext"},"datatype":"monolingualtext"},"type":"statement","id":"Q1199561$5ACF7FA2-28A1-4C74-A2C0-18A362673EEA","rank":"normal"}],"P225":[{"mainsnak":{"snaktype":"value","property":"P225","hash":"ec60d5170f13037cf0fefe32162a7e8a8a9f1f6f","datavalue":{"value":"0785.68016","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199561$64960A04-1A4B-415B-B044-AA338AF2CF4F","rank":"normal"}],"P27":[{"mainsnak":{"snaktype":"value","property":"P27","hash":"c04959d91013c4d78ac6f1562e1c25f07b4c9c7a","datavalue":{"value":"10.1016/0020-0190(92)90010-S","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199561$F9D0D13A-C7CC-4B9A-AA41-98658CBDF5D4","rank":"normal"}],"P16":[{"mainsnak":{"snaktype":"value","property":"P16","hash":"ace2bbd11c2c278e44cd9123e573b9be93ebc9ba","datavalue":{"value":{"entity-type":"item","numeric-id":287240,"id":"Q287240"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199561$3ED7E309-1F1D-4779-9D2B-C358EEA1F940","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P16","hash":"d2124b2f1dbc31bc9ff8d394053874ee5358b7f4","datavalue":{"value":{"entity-type":"item","numeric-id":578923,"id":"Q578923"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199561$BBC4DB2B-101D-48E0-A1EF-F4FE335C3A9B","rank":"normal"}],"P200":[{"mainsnak":{"snaktype":"value","property":"P200","hash":"52fa7d44b58d0511cb8993765bd916aef86052d8","datavalue":{"value":{"entity-type":"item","numeric-id":63092,"id":"Q63092"},"type":"wikibase-entityid"},"datatype":"wikibase-item"},"type":"statement","id":"Q1199561$FCF5C418-40F2-4E2F-A6B4-32B58C3254BD","rank":"normal"}],"P28":[{"mainsnak":{"snaktype":"value","property":"P28","hash":"be1a65edbb43ce1fc59464f99e70afbd93e8e2a0","datavalue":{"value":{"time":"+1993-01-16T00:00:00Z","timezone":0,"before":0,"after":0,"precision":11,"calendarmodel":"http://www.wikidata.org/entity/Q1985727"},"type":"time"},"datatype":"time"},"type":"statement","id":"Q1199561$8E610E4E-FAA3-48F4-9AF1-9860F9C049F1","rank":"normal"}],"P1448":[{"mainsnak":{"snaktype":"value","property":"P1448","hash":"d67759b6f8257dd1e07b8abac0ad769782f21349","datavalue":{"value":"Corrigenda concerned with ibid. 40, 201-211 (1991; Zbl 0742.68008).","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199561$DE45C909-AE30-43EA-BC4E-2DB70A50C6F1","rank":"normal"}],"P226":[{"mainsnak":{"snaktype":"value","property":"P226","hash":"b492f281b8f52c724f2bc547e7e570cccf4bd5e0","datavalue":{"value":"68N17","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199561$18FE3A49-A337-4DC4-B4AF-0F2B8F8BEDA2","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P226","hash":"fdd9498216d1fd2eff80e5a7d18782b649eb7b2f","datavalue":{"value":"68Q25","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199561$A6121A94-BDA2-4478-BF2B-6DE4C2D0FEBB","rank":"normal"}],"P1451":[{"mainsnak":{"snaktype":"value","property":"P1451","hash":"da2af826dc2593065f461ca8e3a089266bd8bc43","datavalue":{"value":"94478","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199561$373B51A9-933D-4329-B787-74C5BAF42BDE","rank":"normal"}],"P1450":[{"mainsnak":{"snaktype":"value","property":"P1450","hash":"313c1ca53f0b3ed78134ceee74aa34a69f7a9334","datavalue":{"value":"applicative logic programming","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199561$DC5377A6-8900-4D69-A4C2-2DCB6D82C3D1","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0c448c2686c7d50cb4e984876cd8786db27e0c20","datavalue":{"value":"AND parallelism","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199561$EA1AAC67-ABDB-4DBD-99B2-4FAFAA599392","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"0b12aaf7979503a051ef5105995de4c5b8024953","datavalue":{"value":"multiple failure","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199561$FA538D94-115A-4539-B3C7-07FE334D502E","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"9463ce9f27ab6df7c455bc6fd8c0f351e720f1aa","datavalue":{"value":"selective resetting","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199561$C7C930F6-CD4B-42D9-81BE-BF7FF3B0EDC4","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"01eeadae33d005c3fc4fbdf57451fa5e25967d65","datavalue":{"value":"backward execution algorithm","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199561$5BDF3E48-5C0D-42CF-9503-E548C7162370","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"43399d141111b0118dc0ef05a69bb26199bc2356","datavalue":{"value":"AND/OR process model","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199561$36ABE1BE-7098-4976-9BB8-8A3AF84BCF27","rank":"normal"},{"mainsnak":{"snaktype":"value","property":"P1450","hash":"79ba949197d24a641cd1b8909b09c205bc3312d4","datavalue":{"value":"parallel evaluation of logic programs","type":"string"},"datatype":"string"},"type":"statement","id":"Q1199561$6BC706BF-1B2A-4157-BA5C-D0D2C68E8A03","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":"Q1199561$F655FCD3-F0EF-45B5-821B-7DAA2B5024EF","rank":"normal"}],"P205":[{"mainsnak":{"snaktype":"value","property":"P205","hash":"701460f9e15f8576f9e2f9939031678d861c8225","datavalue":{"value":"https://doi.org/10.1016/0020-0190(92)90010-s","type":"string"},"datatype":"url"},"type":"statement","id":"Q1199561$8A3AD5A2-F8D7-46A9-9D21-6868DF9B0AF1","rank":"normal"}],"P388":[{"mainsnak":{"snaktype":"value","property":"P388","hash":"19ee1631b4329a21010e43baa170bbeca4bc0416","datavalue":{"value":"W160541659","type":"string"},"datatype":"external-id"},"type":"statement","id":"Q1199561$3C4A62B6-3A2C-4BBA-8F9D-262E70069D37","rank":"normal"}]},"sitelinks":{"mardi":{"site":"mardi","title":"Corrigenda: Yet another efficient backward execution algorithm in the AND/OR process model","badges":[]}}}}}